Hai đường thẳng xt và zy cắt nhau tại O, trên nữa mặt phẳng bờ xt chứa tia Oy vẽ tia OH

Để chứng minh rằng toh = zot, ta sẽ sử dụng các góc đồng quy.

Gọi góc xoy là α và góc toh là β.

Theo giả thiết, ta có toh = xoy, vậy β = α.

Gọi góc zot là γ.

Ta có zot = zoy - toh.

Vì zoy = xoy (do zoy và xoy là hai góc đồng quy), và toh = xoy (theo giả thiết), nên zot = 0.

Vậy β = γ.

Do đó, ta có toh = zot.