Maths Olympiad Prep

Library / /13 of 16

Geometry Difficulty 6.4 National olympiad Prove it Czech-Polish-Slovak Mathematical Match

Let kk be the circumcircle of a given convex quadrilateral ABCDABCD with the property that the half-lines DADA and CBCB meet at a point EE for which CD2=ADED|CD|^2 = |AD| \cdot |ED| holds. Let us denote by FF (FAF \neq A) the point of intersection of the circle kk with the perpendicular to EDED at AA. Prove that the segments ADAD and CFCF are congruent if and only if the circumcenter of the triangle ABEABE lies on EDED.

Solution

Clearly DFDF is a diameter of kk. First we show that under the given conditions the vertex CC cannot lie in the half-plane DFADFA.
If the vertices BB, CC are points on the subarc DADA of the arc DAFDAF (Fig. 1) then the angles DCBDCB and DBADBA are obtuse, hence DC<DB<DA<DE|DC| < |DB| < |DA| < |DE|, which contradicts to the equality CD2=ADED|CD|^2 = |AD| \cdot |ED|.
If the vertices BB, CC are points on the subarc AFAF of the arc DAFDAF (Fig. 2) the angle BAEBAE is acute and DBE=180DBC90|\angle DBE| = 180^\circ - |\angle DBC| \le 90^\circ, so the possible other meeting point BB' of the half-line DBDB with the circumcircle of the triangle AEBAEB lies in the segment DBDB. Hence DC>DBDB|DC| > |DB| \ge |DB'|. This means that the equality CD2=ADED|CD|^2 = |AD| \cdot |ED| cannot hold as ADED=DBDB|AD| \cdot |ED| = |DB| \cdot |DB'| (which is the power of DD with respect to the circumcircle of the triangle AEBAEB).

Figure 1
Fig. 1

Figure 2
Fig. 2

We have shown that the vertex CC of the given quadrangle does not lie in the half-plane FDAFDA, hence FC=DA|FC| = |DA| if and only if DAFCDAFC is a rectangle, i.e. if and only if CACA is a diameter of the circle kk, which is equivalent to the angle CBACBA being right, which is in turn equivalent to the triangle AEBAEB being right with the right angle at BB, i.e. to the circumcenter of the triangle AEBAEB being the midpoint of AEAE.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.