Maths Olympiad Prep

Library / Irish Mathematical Olympiad /146 of 236

Irish Mathematical Olympiad

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∣+∣AC∣≥∣DB∣+∣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 OE⊥ABOE \perp AB, OF⊥BDOF \perp BD and OG⊥DCOG \perp DC. Then ∣AE∣=rcos⁡∠BAO|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∣=4rcos⁡∠BAO. |AB| + |AC| = 4r \cos \angle BAO.

Using ∣DF∣=rcos⁡∠BDO|DF| = r \cos \angle BDO and ∣DG∣=rcos⁡∠CDO|DG| = r \cos \angle CDO, we get
∣DB∣+∣DC∣=2rcos⁡∠BDO+2rcos⁡∠CDO=2r(cos⁡∠BDO+cos⁡∠CDO)=4rcos⁡(∠BDO+∠CDO2)cos⁡(∠BDO−∠CDO2) \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)=4rcos⁡∠BAO=∣AB∣+∣AC∣4r \cos(\frac{\angle BDC}{2}) = 4r \cos(\frac{\angle BAC}{2}) = 4r \cos \angle BAO = |AB| + |AC|, we obtain
∣DB∣+∣DC∣=(∣AB∣+∣AC∣)cos⁡(∠BDO−∠CDO2) |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∘<∠BDO−∠CDO2<90∘⇒0<cos⁡(∠BDO−∠CDO2)<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∣+∣DC∣≤∣AB∣+∣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 ∣XZ∣≠∣YZ∣|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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.