Vì \(\widehat{xAB}\) và \(\widehat{ABC}\) là hai góc so le trong bằng nhau (= 60o)
=> Ax và BC song song với nhau (1)
Vì \(\widehat{yAC}\)và \(\widehat{ACB}\)là hai góc so le trong bằng nhau (= 30o)
=> Ay và BC song song với nhau (2)
Từ (1) và (2) => BC // Ax // Ay
hay BC // xy (ĐCCM)