Ta có : `OE` // `BC` (giả thiết)

Xét `DeltaOEA` và `DeltaCBA` có :

`\hat(OEA) = \hat(CBA)` (so le trong)

`\hat(OAE) = \hat(CAB)` (đồng vị)

`->DeltaOEA` ~ `DeltaCBA` (g.g)

`-> (AE)/(EB) = (AO)/(OC)`    (1)

Tương tự : `OF` // `CD`

Xét `DeltaOFA` và `DeltaCDA` có :

`\hat(OFA) = \hat(CDA)` (so le trong)

`\hat(OAF) = \hat(CAD)` (đồng vị)

`->DeltaOFA` ~ `Delta CDA` (g.g)

`-> (AF)/(FD) = (AO)/(OC)`     (2)

(1),(2) `-> (AE)/(EB) = (AF)/(FD)`

`->FE` // `BD` (thales đảo)

`@` ltmn