The Mystery of the Three-Halves
Imagine you are standing in a vast, geometric landscape. You are given a triangle, ΔABC, and a single, cryptic clue: the sum of the cosines of its angles is exactly 23.
That is, cosA+cosB+cosC=23.
Your mission is to prove that this triangle is perfectly equilateral. This number is not arbitrary; it is the absolute maximum value that this sum can ever reach in a triangle.
Phase 1
The Trigonometric Bridge
We start with our given condition: cosA+cosB+cosC=23. We have three variables, A, B, and C, linked by the constraint A+B+C=π.
To make progress, we focus on the first two terms: cosA+cosB. We invoke the sum-to-product identity: cosX+cosY=2cos2X+Ycos2X−Y.
Applying this to our expression, we obtain:
2cos(2A+B)cos(2A−B)+cosC=23
Phase 2
The Geometric Constraint
Since A+B+C=π, we know that A+B=π−C. Dividing by two, we get 2A+B=2π−2C.
Using the allied angle formula, cos(2π−θ)=sinθ, we rewrite cos2A+B as sin2C. Our equation now simplifies to:
2sin(2C)cos(2A−B)+cosC=23
Phase 3
The Atomic Compute
To achieve total harmony, we convert cosC into a half-angle using the identity cosC=1−2sin22C. Substituting this into our equation, we get:
2sin(2C)cos(2A−B)+1−2sin2(2C)=23
Isolating the term containing A and B, we find:
2sin(2C)cos(2A−B)=21+2sin2(2C)
Dividing by 2sin2C, we arrive at the pivotal expression:
cos(2A−B)=4sin(2C)1+4sin2(2C)
Phase 4
The Inequality Insight
We rewrite the right-hand side by completing the square. This allows us to manipulate the expression into the following form:
cos(2A−B)=1+4sin2C(1−2sin2C)2
On the left, we have cos2A−B, which can never exceed 1. On the right, we have 1 plus a squared term divided by a positive value, meaning the right-hand side is always ≥1.
The only way for a value ≤1 to equal a value ≥1 is if both sides are exactly 1. This forces cos2A−B=1 (implying A=B) and 1−2sin2C=0 (implying sin2C=21).
Conclusion
The Equilateral Beauty
If sin2C=21, then 2C=30∘, which means C=60∘. Since we already established A=B, and the sum of angles is 180∘, it follows that A=B=C=60∘.
We have proven it! The triangle is equilateral.