Kẻ `Bz`//`Bx` ( kẻ về bên phải ) `(1)`
Ta có: `\hat{ABx} + \hat{BAz} = 180^o` (trong cùng phía)
`\hat{BAz} + \hat{CAz} = \hat{ABC}`
Lại có: `\hat{ABx} + \hat{BAC} + \hat{ACy} = 360^o` (gt)
`=> \hat{ABx}+ \hat{BAz} + \hat{CAz} + \hat{ACy} = 360^o`
`=> 180^o + \hat{CAz} + \hat{ACy} = 360^o`
`=>\hat{Caz} + \hat{ACy} = 360^o - 180^o`
`=> \hat{CAz} + \hat{ACy} = 180^o`
Mà `\hat{CBz}` và `\hat{BCy}` nằm ở vị trí trong cùng phía
Nên `Bz` //` Cy` `(2)`
Từ `(1)` và `(2)` `=>Bx`//`Az`//`Cy`
`=> Bx` // `Cy` ( đpcm )