Kẻ đường thẳng d đi qua A và // Bx
Vì Bx | BC
Cy | BC
=> Bx // Cy
Mà d // Bx
=> d // Cy
- Vì Bx // d
=> Góc B1 = góc A1
- Vì d // Cy (cmt)
=> Góc A2 = góc C1
=> A1 + A2 = B1 + C1
Mà A1 + A2 = góc BAC = 90o
=> B1 + C1 = 90o
=> Tổng 2 góc ABx và ACy là 90o