Ta có hình vẽ:
Xét Δ CDA và Δ ABC có:
AD = BC (gt)
CD = AB (gt)
AC là cạnh chung
Do đó, Δ CDA = Δ ABC (c.c.c)
=> DAC = ACB (2 góc tương ứng)
Mà DAC và ACB là 2 góc ở vị trí so le trong
=> AD // BC (1)
Lại có: AH \(\perp\)BC => AH \(\perp\) AD (2)
Từ (1) và (2) => đpcm