AD ∩ BC = { H }
D đối xứng với B qua AC
⇔ AD vuông góc với BC và AH=HD
Xét tam giác ABH và tam giác AHD CÓ
AH chung
∠AHB = ∠AHD(=90 ĐỘ)
BH = HD (cmt)
⇒ tam giác AHB = tam giác AHD (c.g.c)
⇒ AB =AD (2 cạnh tương ứng)
CMTT: tam giác CBH = tam giác CHD(c.g.c) ⇒ CB =CD (2 cạnh tương ứng)
tam giác ABC và tam giác ACD CÓ
AC chung
AB = AD(cmt)
BC = CD (cmt)
⇒ tam giác ACB = tam giác ACD (c.c.c)