góc Ax và b vuông góc Ay
mà xAy không phải là góc bẹt hay Ax và Ay không thẳng hàng
nên a không giả sử góc đó là xAy và 2 đường thẳng là a ,b
ta có a vuông song song với b
hay a cắt b
gọi 2 đường thằng vuông góc đó là d1,d2 ... gọi d1 vuông góc cạnh a, d2 vuông góc cạnh b của góc
giả sử d1, d2 không cắt nhau => d1 song song d2
=> a song song b hoặc a trùng b, điều này trái với giả thiết a, b là 2 cạnh của 1 góc khác góc bẹt
=> giả thiết sai => điều phải chứng mình là đúng