Chứng minh AE // FC
Giải thích

Xét
, có
(
) nên
cân tại
.
Do đó,
(1)
Xét
có
và
.
Mà ![]()
Suy ra
nên
cân tại
.
Suy ra
(2)
Từ (1) và (2) suy ra
.
Mà hai góc ở vị trí đồng vị nên ![]()

Xét
, có
(
) nên
cân tại
.
Do đó,
(1)
Xét
có
và
.
Mà ![]()
Suy ra
nên
cân tại
.
Suy ra
(2)
Từ (1) và (2) suy ra
.
Mà hai góc ở vị trí đồng vị nên ![]()