a) xet tam giac ABE vuong tai A va tam giac HBE vuong tai H ta co
BE=BE ( canh chung) ; goc ABE= goc HBE ( BE la tia p/g goc B)
--> tam giac ABE= tam giac HBE ( ch=gn)
b) ta co
BA=BH ( tam giac ABE= tam giac HBE)
EA=EH( tam giac ABE= tam giac HBE)
==> BE la duong trung truc cua AH
c) xet tam giac EKA va tam giac ECH ta co
AE=EH ( tam giacABE= tam giacHBE) ; goc EAK= goc EHC (=90); goc AEK= goc HEC ( 2 goc doi dinh )
--> tam giac EKA = tam giac ECH ( g--c-g)
--> EK=EC (2 canh tuong ung )
d) tu diem E den duong thang HC ta co :
EH la duong vuong goc ( EH vuong goc BC)
EC la duong xien
-> EH<EC ( quan he duong xien duong vuong goc)
ma EH= AE ( tam giac ABE= tam giac HBE)
nen AE < EC