Kẻ $Cz//Ax$

⇒ $\widehat{xAC}+\widehat{zCA}=180^o$ (2 góc trong cùng phía)

    $115^o+\widehat{zCA}=180^o$

⇒ $\widehat{zCA}=180^o-115^o=65^o$

⇒ $\widehat{zCB}=90^o-65^o=25^o$

⇒ $\widehat{zCB}=\widehat{yBC}=25^o$

mà 2 góc ở vị trí so le trong

⇒ $Cz//By$ mà $Cz//Ax$

⇒ $Ax//By$ (đpcm)

Trong $\widehat{AOB}$, từ điểm O kẻ tia Oz // Ax (1)

Do đó: $\widehat{xAO} + \widehat{zOA} = 180^o$ (2 góc trong cùng phía)

 Hay $115^o + \widehat{zOA} = 180^o$

⇒ $\widehat{zOA} = 65^o$

Lại có: $\widehat{zOA} + \widehat{zOB} = \widehat{AOB}$ (Vì tia Oz nằm giữa tia OA và OB)
Mà $\widehat{AOB} 90^o$ (Vì OA ⊥ OB)
Do đó:$\widehat{zOB} = 90^o - 65^o = 25^o$

⇒ $\widehat{zOB} = \widehat{OBy} (=25^o)$

Mà hai góc này ở vị trí SLT

nên Oz // By (2) (DHNB)

Từ (1) và (2) ⇒ Ax // By (// Oz)