Find the least positive real a satisfying this condition: for any three points A,B,C on the unit circle, there exists an equilateral triangle PQR with side length a, such that A,B,C are all inside or on the boundary of triangle PQR.
Solution
First, we prove a=3(2sin80∘)2 is sufficient. For any three points A,B,C on the unit circle, let ∠BAC=α, ∠ABC=β, ∠ACB=γ, α≤β≤γ.
If β≤60∘, since AB≤2<a (here, a>3(2sin75∘)2=43(6+2)2=438+43>2), one can draw a segment PQ of length a that contains A and B, then find R such that △PQR is equilateral, C, R on the same side of PQ. It follows from α≤β≤60∘ that C is inside △PQR or on the boundary.
If β>60∘, we first prove the following: At least one of sinβsinγ and sinβsin(α+60∘) is less than or equal to sin280∘. (*)
In fact, as 2(β+α+60∘)+(β+γ)=480∘−(γ−β)≤480∘, one of β+α+60∘ and β+γ does not exceed 160∘. From the simple property of sine function sinxsiny=21(cos(x−y)−cos(x+y))≤21(1−cos(x+y))=sin22x+y, (*) follows.
i) If sinβsinγ≤sin280∘, let AD⊥BC with foot D; take P,Q on the line BC such that PD=DQ=2a; take R on the ray DA such that DR=23a=2sin280∘. Notice that AD=2sinβsinγ≤DR, and thus A lies inside △PQR or on the boundary; from 60∘≤β,γ≤120∘, it is easy to see that B,C lie on the segment PQ.
ii) If sinβsin(α+60∘)≤sin280∘, take P=A, extend AB to Q, AQ=a, and find R such that △PQR is equilateral and C,R lie on the same side of PQ. Let M be the intersection of the ray AC and the line QR. Notice that AB≤2<a, hence B is on the boundary of △PQR; since AM=a⋅sin(α+60∘)sin60∘=sin(α+60∘)2sin280∘>2sinβ=AC, C is inside △PQR or on the boundary.
In conclusion, a=3(2sin80∘)2 satisfies the problem condition.
Next, we prove a≥3(2sin80∘)2=sin60∘2sin280∘ is necessary. To this end, choose A,B,C on the unit circle with ∠BAC=20∘, ∠ABC=∠ACB=80∘.
Suppose the equilateral triangle PQR with side length a covers A,B,C (inside or on the boundary). By a translation if necessary, we can make one of A,B,C, say A on the boundary of △PQR, and then by a rotation about A we can make B or C on the boundary. If neither of them is a vertex of △PQR, assume they all lie on PQ or PR. Take P as the homothetic centre and rescale △PQR smaller such that all of A,B,C fall on the boundary or become a vertex of △PQR. Since ∠ABC,∠ACB>60∘, B,C cannot be vertices; in addition, there is symmetry between B and C. Thus, it suffices to consider four situations as follows.
(1) A is a vertex, say A=P. Let PH⊥QR with foot H. Then the angle between PH and one of PB,PC is less than or equal to 10∘. It follows that PH≥2sin280∘, and a=PQ≥sin60∘2sin280∘.
(2) A and B lie on the same side, say PQ, with PA≤PB. Let PH⊥QR at H. Then the angle between AC and PH is 10∘. Similar to (1), we have a≥sin60∘2sin280∘.
(3) B and C lie on the same side, say QR. Let PH⊥QR at H. Then the lines AC and PH cross at 10∘. Similar to (1), we have a≥sin60∘2sin280∘.
(4) A,B,C are all on different sides. Let A∈PQ, B∈QR, C∈RP, and ϑ=∠RBC≤∠RCB, ϑ≤60∘.
i) If ϑ≤20∘, then the angle between AB and the altitude on QR does not exceed 10∘. Similar to (1), we get a≥sin60∘2sin280∘.
ii) If 40∘≤ϑ≤60∘, then the angle between AC and the altitude on PQ does not exceed 10∘. Similar to (1), a≥sin60∘2sin280∘.
iii) If 20∘≤ϑ≤40∘, then a=QR=QB+BR=sin60∘2sin80∘sin(20∘+ϑ)+sin60∘2sin20∘sin(60∘+ϑ)≥sin60∘2sin80∘sin40∘+2sin20∘sin80∘=sin60∘2sin280∘.
In summary, the minimum is a=sin60∘2sin280∘. □
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.