Từ A kẻ tia AA' nằm trong góc BAC và vuông góc với BC
Do Bx; Cy; AA' đều vuông góc với BC => Bx // Cy // AA'
Ta có: góc ACy = góc CAA' (so le trong)
góc A'AB = góc ABx (so le trong)
=> góc ACy + góc ABx = góc CAA' + góc A'AB
Lại có: góc CAA' + góc A'AB = 90o
=> góc ACy + góc ABx = 90o