Maths Olympiad Prep

Library / /33 of 39

Geometry Difficulty 6.0 AIME, harder Prove it Ireland

Let ABCABC be an isosceles triangle with AB=AC|AB| = |AC|. If DD is a point on the circumcircle of ABC\triangle ABC on the same side of BCBC as AA, prove
AB+ACDB+DC |AB| + |AC| \ge |DB| + |DC|
with equality if and only if D=AD = A. Hence prove, of all triangles described in a circle, the equilateral triangle has the greatest perimeter.

Solution

Let OO be the centre of the circle and rr be its radius. Draw OEABOE \perp AB, OFBDOF \perp BD and OGDCOG \perp DC. Then AE=rcosBAO|AE| = r \cos \angle BAO. Noting that BAO=CAO\angle BAO = \angle CAO and EE is the midpoint of ABAB, it follows that
AB+AC=4rcosBAO. |AB| + |AC| = 4r \cos \angle BAO.

Using DF=rcosBDO|DF| = r \cos \angle BDO and DG=rcosCDO|DG| = r \cos \angle CDO, we get
DB+DC=2rcosBDO+2rcosCDO=2r(cosBDO+cosCDO)=4rcos(BDO+CDO2)cos(BDOCDO2) \begin{aligned} |DB| + |DC| &= 2r \cos \angle BDO + 2r \cos \angle CDO \\ &= 2r(\cos \angle BDO + \cos \angle CDO) \\ &= 4r \cos \left( \frac{\angle BDO + \angle CDO}{2} \right) \cos \left( \frac{\angle BDO - \angle CDO}{2} \right) \end{aligned}
Because 4rcos(BDC2)=4rcos(BAC2)=4rcosBAO=AB+AC4r \cos(\frac{\angle BDC}{2}) = 4r \cos(\frac{\angle BAC}{2}) = 4r \cos \angle BAO = |AB| + |AC|, we obtain
DB+DC=(AB+AC)cos(BDOCDO2) |DB| + |DC| = (|AB| + |AC|) \cos \left( \frac{\angle BDO - \angle CDO}{2} \right)
Since BDC<180\angle BDC < 180^\circ, BDO<90\angle BDO < 90^\circ and CDO<90\angle CDO < 90^\circ then
90<BDOCDO2<900<cos(BDOCDO2)<1 -90^\circ < \frac{\angle BDO - \angle CDO}{2} < 90^\circ \Rightarrow 0 < \cos \left( \frac{\angle BDO - \angle CDO}{2} \right) < 1
with equality on the right iff BDO=CDO\angle BDO = \angle CDO. Because BDO=CDO\angle BDO = \angle CDO is equivalent to A=DA = D, we obtain DB+DCAB+AC|DB| + |DC| \le |AB| + |AC| with equality iff A=DA = D, as required.

This result immediately gives that the perimeter of ABC\triangle ABC is greater than the perimeter of DBC\triangle DBC, i.e. of all triangles on BCBC as base inscribed in the circle, the isosceles triangle has the greatest perimeter.

Now suppose the triangle with the greatest perimeter inscribed in a circle is not equilateral. Let XYZ\triangle XYZ be the triangle with the greatest perimeter and assume, without loss of generality XZYZ|XZ| \neq |YZ|. From the inequality shown above with B=X,C=YB = X, C = Y it follows that XYZ\triangle XYZ cannot have the greatest perimeter among all triangles inscribed in the circumcircle of XYZ\triangle XYZ. This contradiction shows that the triangle with the greatest perimeter that can be inscribed in a circle is the equilateral triangle.

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.