Let K be a circle with centre O and radius r. What is the upper bound for the length of ∣OT∣ given that T is the point in the plane such that there exists an equilateral triangle ABT, where A and B lie on the circle K?
Solution
Let M be the intersection of the segments OT and AB. Then ∣OT∣=∣OM∣+∣MT∣. Write ∣AB∣=∣AT∣=∣BT∣=a. We know that AB⊥OT. By Pythagoras' theorem we have ∣OM∣=r2−∣BM∣2=r2−4a2 and ∣MT∣=a2−4a2=23a. We can now find an upper bound for ∣OT∣ by using the inequality between the arithmetic and the quadratic mean (the A-G inequality): ∣OT∣=∣OM∣+∣MT∣=r2−4a2+23a=r2−4a2+63a+63a+63a≤44(r2−4a2)+12a2+12a2+12a2=4r2=2r. We have shown that ∣OT∣≤2r, so now we must only check if the equality can hold. The equality in the A-G inequality holds when all four terms are the same, i.e. when r2−4a2=63a⟺a=r3. Since a=∣AB∣ can reach any value from the interval (0,2r], the equality holds exactly when TA and TB are tangents to the circle K.
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.