Hình 4.13 có và Ax // Bm. Chứng tỏ rằng Ay // Bn.
Giải thích

Gọi C là giao điểm của hai đường thẳng Ay và Bm.
Ta có Ax//Bm nên A⏞=ACm⏞ (cặp góc so le trong).
Mặt khác, A⏞=mBn⏞ nên ACm⏞=mBn ⏞=A⏞.
Do đó Ay // Bn (vì có cặp góc đồng vị bằng nhau).

Gọi C là giao điểm của hai đường thẳng Ay và Bm.
Ta có Ax//Bm nên A⏞=ACm⏞ (cặp góc so le trong).
Mặt khác, A⏞=mBn⏞ nên ACm⏞=mBn ⏞=A⏞.
Do đó Ay // Bn (vì có cặp góc đồng vị bằng nhau).