Từ O kẻ Oq//Bt//Az
Vì Oq//Bt nên \(\widehat{yBt}=\widehat{Boa}\) (đồng vị) (1)
Vì Az//Oq nên \(\widehat{xAz}=\widehat{xOq}\) (đồng vị) (2)
Cộng vế vs vế của (1) và (2) ta đc:
\(\widehat{yBt}+\widehat{xAz}=\widehat{yOq}+\widehat{xOq}\)
\(\Leftrightarrow\widehat{yBt}+\widehat{xAz}=\widehat{xOy}\) (đpcm)