MathDB
ED=CD or FD=CD, if BE=BF=(|CD^2 -BD^2|)/BC

Source: Norwegian Mathematical Olympiad 2021 - Abel Competition p4b

May 29, 2021
geometryequal segments

Problem Statement

The tangent at CC to the circumcircle of triangle ABCABC intersects the line through AA and BB in a point DD. Two distinct points EE and FF on the line through BB and CC satisfy BE=BF=CD2BD2BC|BE| = |BF | =\frac{||CD|^2 - |BD|^2|}{|BC|}. Show that either ED=CD|ED| = |CD| or FD=CD|FD| = |CD|.