用推理的方法,判断为正确的命题叫做_______．
如果题设成立,那么________一定成立的命题叫做真命题．
如果题设成立,不能保证_______总是正确的命题是假命题．
已知：BC是直线,∠1=∠4
求证：∠2=∠3.
证明：∵BC是一直线,(已知)
∴∠1+∠2=180°,∠3+∠4=180°( )
∵∠2=180°-∠1,∠3=180°-∠4
又∠1=∠4(已知)
∴∠2=∠3.
已知：∠ABC=∠ACB,BD、CE是角平分线.
求证：∠1=∠2.
已知：OB是∠AOC的平分线.
OC是∠BOD的平分线.
求证：∠1=∠3.
证明：∵OB是∠AOC的平分线(已知)∴∠1=∠2( )
∵OC是∠BOD的平分线(已知)∴∠2=∠3( )
∴∠1=∠3
已知：AB⊥BC,BC⊥CD，∠2=∠3
求证：∠1=∠4.
证明：∵AB⊥BC,BC⊥CD(已知)
∴∠ABC=90°,∠BCD=90°( )
∴∠ABC=∠BCD.
∵∠2=∠3(已知)
∴∠1=∠4.
已知AB⊥CD,求证：∠1=∠2.
证明：AB⊥CD(已知)
∴∠1=90°,∠2=90°( )
∴∠1=∠2
如图，已知∠B=∠C，AE∥BC．求证：AE平分∠DAC．证明：∵AE∥BC，∴∠DAE=∠B(________)，∠EAC=∠C(________)．∵∠B=∠C，∴∠________=∠________．
