∵AB⊥BC ∴∠B=90° ∴∠1+∠ACB=90°
同理∠D=90°,∴∠2+∠ACD=90°
又∵∠1=∠2 ∴∠ACB=∠ACD
∵∠1=∠2
∠ACB=∠ACD
AC=AC
∴△ABC≌△ADC
∴AB=AD
在三角形ABC和三角形ADC中
因为角1=角2,AC等于AC,角B=角D
所以三角形ABC全等于三角形ADC(AAS)
所以AB=AD
已知:CD=BC,AB⊥BD,ED⊥BD。
求证:AB=DE
证明:∵AB⊥BD,ED⊥BD (已知)
∴∠ABC=∠EDC (垂直定义)
在△ABC与△EDC中
∠ABC=∠EDB (已证)
CB=DC (已知)
∠ACB=∠ECD (对顶角相等)
∴△ABC≌△EDC (ASA)
∴AB=ED (全等三角形对应边相等)