Maths Olympiad Prep

Library / China National Team Selection Test /29 of 46

China National Team Selection Test

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=(2sin⁡80∘)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 AB≤2<aAB \le 2 < a (here, a>(2sin⁡75∘)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 sin⁡280∘\sin^2 80^{\circ}. (*)

In fact, as 2(β+α+60∘)+(β+γ)=480∘−(γ−β)≤480∘2(\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 160∘160^{\circ}. From the simple property of sine function
sin⁡xsin⁡y=12(cos⁡(x−y)−cos⁡(x+y))≤12(1−cos⁡(x+y))=sin⁡2x+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⁡γ≤sin⁡280∘\sin \beta \sin \gamma \le \sin^2 80^{\circ}, let AD⊥BCAD \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=2sin⁡280∘. 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∘≤β,γ≤120∘60^{\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∘)≤sin⁡280∘\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 AB≤2<aAB \le 2 < a, hence BB is on the boundary of △PQR\triangle PQR; since
AM=a⋅sin⁡60∘sin⁡(α+60∘)=2sin⁡280∘sin⁡(α+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=(2sin⁡80∘)23a = \frac{(2 \sin 80^{\circ})^2}{\sqrt{3}} satisfies the problem condition.

Next, we prove a≥(2sin⁡80∘)23=2sin⁡280∘sin⁡60∘a \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 PH⊥QRPH \perp QR with foot HH. Then the angle between PHPH and one of PB,PCPB, PC is less than or equal to 10∘10^{\circ}. It follows that PH≥2sin⁡280∘PH \ge 2 \sin^2 80^{\circ}, and
a=PQ≥2sin⁡280∘sin⁡60∘. a = PQ \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

(2) AA and BB lie on the same side, say PQPQ, with PA≤PBPA \le PB. Let PH⊥QRPH \perp QR at HH. Then the angle between ACAC and PHPH is 10∘10^{\circ}. Similar to (1), we have
a≥2sin⁡280∘sin⁡60∘. a \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

(3) BB and CC lie on the same side, say QRQR. Let PH⊥QRPH \perp QR at HH. Then the lines ACAC and PHPH cross at 10∘10^{\circ}. Similar to (1), we have
a≥2sin⁡280∘sin⁡60∘. a \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

(4) A,B,CA, B, C are all on different sides. Let A∈PQA \in PQ, B∈QRB \in QR, C∈RPC \in RP, and ϑ=∠RBC≤∠RCB\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 10∘10^{\circ}. Similar to (1), we get
a≥2sin⁡280∘sin⁡60∘. a \geq \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

ii) If 40∘≤ϑ≤60∘40^{\circ} \le \vartheta \le 60^{\circ}, then the angle between ACAC and the altitude on PQPQ does not exceed 10∘10^{\circ}. Similar to (1), a≥2sin⁡280∘sin⁡60∘a \ge \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}.

iii) If 20∘≤ϑ≤40∘20^{\circ} \le \vartheta \le 40^{\circ}, then
a=QR=QB+BR=2sin⁡80∘sin⁡(20∘+ϑ)sin⁡60∘+2sin⁡20∘sin⁡(60∘+ϑ)sin⁡60∘≥2sin⁡80∘sin⁡40∘+2sin⁡20∘sin⁡80∘sin⁡60∘=2sin⁡280∘sin⁡60∘. \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=2sin⁡280∘sin⁡60∘a = \frac{2 \sin^2 80^{\circ}}{\sin 60^{\circ}}. □\square

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.