Question 163
Given a semicircle of diameter $A B=2 R$, a fixed-length $C D$ string is considered $c$. Let $E$ be the intersection of $A C$ with $B D$ and $F$ $A D$ intersection with $B C$. Prove that the segment $E F$ has constant length and constant direction when the string $C D$ varies over the semicircle.