tu ve hinh :
tamgiac ACE vuong can tai A => AE = AC va goc EAC = 90 do (dn) (3)
tamgiac ABD vuong can tai A => AD = AB va goc BAD = 90 do (dn) (4)
goc EAC + goc CAB = goc EAB (1)
goc DAB + goc BAC = goc DAC (2)
(1)(2) => goc EAB = goc DAC (5)
(3)(4)(5) => tamgiac AEB = tamgiac ACD (c - g - c)
=> EB = CD (dn)