Problem

Source: Problem 3

Tags: geometry, geometry proposed



Let $A,B,C,D$ be four distinct points on a circle such that the lines $(AC)$ and $(BD)$ intersect at $E$, the lines $(AD)$ and $(BC)$ intersect at $F$ and such that $(AB)$ and $(CD)$ are not parallel. Prove that $C,D,E,F$ are on the same circle if, and only if, $(EF)\bot(AB)$.