Maths Olympiad Prep

Library / /30 of 48

Geometry Difficulty 8.6 Shortlist Prove it China

Find the least positive real aa satisfying this condition: for any three points A,B,CA, B, C on the unit circle, there exists an equilateral triangle PQRPQR with side length aa, such that A,B,CA, B, C are all inside or on the boundary of triangle PQRPQR.

Solution

First, we prove a=(2sin80)23a = \frac{(2 \sin 80^{\circ})^2}{\sqrt{3}} is sufficient. For any three points A,B,CA, B, C on the unit circle, let BAC=α\angle BAC = \alpha, ABC=β\angle ABC = \beta, ACB=γ\angle ACB = \gamma, αβγ\alpha \le \beta \le \gamma.

If β60\beta \le 60^{\circ}, since AB2<aAB \le 2 < a (here, a>(2sin75)23=(6+2)243=8+4343>2a > \frac{(2 \sin 75^{\circ})^2}{\sqrt{3}} = \frac{(\sqrt{6} + \sqrt{2})^2}{4\sqrt{3}} = \frac{8 + 4\sqrt{3}}{4\sqrt{3}} > 2), one can draw a segment PQPQ of length aa that contains AA and BB, then find RR such that PQR\triangle PQR is equilateral, CC, RR on the same side of PQPQ. It follows from αβ60\alpha \le \beta \le 60^{\circ} that CC is inside PQR\triangle PQR or on the boundary.

If β>60\beta > 60^{\circ}, we first prove the following:
At least one of sinβsinγ\sin \beta \sin \gamma and sinβsin(α+60)\sin \beta \sin(\alpha + 60^{\circ}) is less than or equal to sin280\sin^2 80^{\circ}. (*)

In fact, as 2(β+α+60)+(β+γ)=480(γβ)4802(\beta + \alpha + 60^{\circ}) + (\beta + \gamma) = 480^{\circ} - (\gamma - \beta) \le 480^{\circ}, one of β+α+60\beta + \alpha + 60^{\circ} and β+γ\beta + \gamma does not exceed 160160^{\circ}. From the simple property of sine function
sinxsiny=12(cos(xy)cos(x+y))12(1cos(x+y))=sin2x+y2, \begin{aligned} \sin x \sin y &= \frac{1}{2}(\cos(x - y) - \cos(x + y)) \\ &\le \frac{1}{2}(1 - \cos(x + y)) \\ &= \sin^2 \frac{x+y}{2}, \end{aligned}
(*) follows.

i) If sinβsinγsin280\sin \beta \sin \gamma \le \sin^2 80^{\circ}, let ADBCAD \perp BC with foot DD; take P,QP, Q on the line BCBC such that PD=DQ=a2PD = DQ = \frac{a}{2}; take RR on the ray DADA such that
DR=3a2=2sin280. DR = \frac{\sqrt{3}a}{2} = 2 \sin^2 80^{\circ}.
Notice that AD=2sinβsinγDRAD = 2 \sin \beta \sin \gamma \le DR, and thus AA lies inside PQR\triangle PQR or on the boundary; from 60β,γ12060^{\circ} \le \beta, \gamma \le 120^{\circ}, it is easy to see that B,CB, C lie on the segment PQPQ.

ii) If sinβsin(α+60)sin280\sin \beta \sin(\alpha + 60^{\circ}) \le \sin^2 80^{\circ}, take P=AP = A, extend ABAB to QQ, AQ=aAQ = a, and find RR such that PQR\triangle PQR is equilateral and C,RC, R lie on the same side of PQPQ. Let MM be the intersection of the ray ACAC and the line QRQR. Notice that AB2<aAB \le 2 < a, hence BB is on the boundary of PQR\triangle PQR; since
AM=asin60sin(α+60)=2sin280sin(α+60)>2sinβ=AC, AM = a \cdot \frac{\sin 60^{\circ}}{\sin(\alpha + 60^{\circ})} = \frac{2 \sin^2 80^{\circ}}{\sin(\alpha + 60^{\circ})} > 2 \sin \beta = AC,
CC is inside PQR\triangle PQR or on the boundary.

In conclusion, a=(2sin80)23a = \frac{(2 \sin 80^{\circ})^2}{\sqrt{3}} satisfies the problem condition.

Next, we prove a(2sin80)23=2sin280sin60a \ge \frac{(2 \sin 80^{\circ})^2}{\sqrt{3}} = \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}} is necessary. To this end, choose A,B,CA, B, C on the unit circle with BAC=20\angle BAC = 20^{\circ}, ABC=ACB=80\angle ABC = \angle ACB = 80^{\circ}.

Suppose the equilateral triangle PQRPQR with side length aa covers A,B,CA, B, C (inside or on the boundary). By a translation if necessary, we can make one of A,B,CA, B, C, say AA on the boundary of PQR\triangle PQR, and then by a rotation about AA we can make BB or CC on the boundary. If neither of them is a vertex of PQR\triangle PQR, assume they all lie on PQPQ or PRPR. Take PP as the homothetic centre and rescale PQR\triangle PQR smaller such that all of A,B,CA, B, C fall on the boundary or become a vertex of PQR\triangle PQR. Since ABC,ACB>60\angle ABC, \angle ACB > 60^{\circ}, B,CB, C cannot be vertices; in addition, there is symmetry between BB and CC. Thus, it suffices to consider four situations as follows.

(1) AA is a vertex, say A=PA = P. Let PHQRPH \perp QR with foot HH. Then the angle between PHPH and one of PB,PCPB, PC is less than or equal to 1010^{\circ}. It follows that PH2sin280PH \ge 2 \sin^2 80^{\circ}, and
a=PQ2sin280sin60. a = PQ \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

(2) AA and BB lie on the same side, say PQPQ, with PAPBPA \le PB. Let PHQRPH \perp QR at HH. Then the angle between ACAC and PHPH is 1010^{\circ}. Similar to (1), we have
a2sin280sin60. a \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

(3) BB and CC lie on the same side, say QRQR. Let PHQRPH \perp QR at HH. Then the lines ACAC and PHPH cross at 1010^{\circ}. Similar to (1), we have
a2sin280sin60. a \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

(4) A,B,CA, B, C are all on different sides. Let APQA \in PQ, BQRB \in QR, CRPC \in RP, and ϑ=RBCRCB\vartheta = \angle RBC \le \angle RCB, ϑ60\vartheta \le 60^{\circ}.

i) If ϑ20\vartheta \le 20^{\circ}, then the angle between ABAB and the altitude on QRQR does not exceed 1010^{\circ}. Similar to (1), we get
a2sin280sin60. a \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

ii) If 40ϑ6040^{\circ} \le \vartheta \le 60^{\circ}, then the angle between ACAC and the altitude on PQPQ does not exceed 1010^{\circ}. Similar to (1), a2sin280sin60a \ge \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

iii) If 20ϑ4020^{\circ} \le \vartheta \le 40^{\circ}, then
a=QR=QB+BR=2sin80sin(20+ϑ)sin60+2sin20sin(60+ϑ)sin602sin80sin40+2sin20sin80sin60=2sin280sin60. \begin{aligned} a &= QR = QB + BR \\ &= \frac{2 \sin 80^{\circ} \sin(20^{\circ} + \vartheta)}{\sin 60^{\circ}} + \frac{2 \sin 20^{\circ} \sin(60^{\circ} + \vartheta)}{\sin 60^{\circ}} \\ &\ge \frac{2 \sin 80^{\circ} \sin 40^{\circ} + 2 \sin 20^{\circ} \sin 80^{\circ}}{\sin 60^{\circ}} \\ &= \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}. \end{aligned}

In summary, the minimum is a=2sin280sin60a = \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}. \square

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 reproduced verbatim; metadata (topic, difficulty) added by this project.