+) Có By ⊥ BC tại B (gt)
Ct ⊥ BC tại C (gt)
⇒ By ║ Ct (quan hệ từ ⊥ → ║) (1)
+) Có góc ABy + góc CBy + góc ABC = 360 độ
Mà ABC = 140 độ (gt) và CBy = 90 độ (BC ⊥ By tại B)
⇒ ABy = 130 độ
Mà góc BAx = 130 độ
⇒ Ax ║ By (so le trong) (2)
+) Từ (1&2) ⇒ Ax ║ Ct (3 đt ║)
=> đpcm