Analyzing the Geometry of the Lean
Imagine standing on a flat, infinite plain. You see a tower, AB, but it is not standing proud and vertical. It is leaning, defiant against gravity, tilting towards the west by an angle α from the vertical.
We draw a vertical line from the base A. Because this line is perpendicular to the ground, we know the angle between the vertical and the ground is 90∘.
Since the tower leans west by α, the angle it makes with the eastern ground—let us call this θ—must be 90∘+α. This is the physical reality of our tower.
Now, look at the observers. We have point C to the west of A at distance d, and point D to the east of A at distance d (given A is the midpoint of CD). We have created a triangle BCD where the tower AB acts as a cevian, dividing the base CD into two equal segments of length d. This symmetry is a gift.
The Secret Weapon
The m:n Cotangent Theorem
Many students would immediately reach for the Sine Rule, creating a system of equations that would take half a page to solve. But you are an elite student. You know that in geometry, there is often a shortcut—a theorem that cuts through the noise.
We use the m:n Cotangent Theorem. This theorem states that for any triangle where a cevian divides the base in ratio m:n, the relationship between the angles is:
Here, m=1 and n=1 because A is the midpoint. This theorem is the bridge between the physical geometry and the algebraic proof we need.
The Algebraic Dance
Now, let us execute. We substitute our knowns into the formula. With m=1 and n=1, the left side becomes (1+1)cotθ, which is 2cotθ.
Our angle θ is 90∘+α. So, we have:
2cot(90∘+α)=1⋅cotβ−1⋅cotγ
This is where the magic happens. We apply the trigonometric identity cot(90∘+α)=−tanα. Suddenly, the equation transforms into:
One final step—a simple multiplication by −1—and we arrive at our destination:
Look at that result. It is clean, it is precise, and it is beautiful. We did not need to solve for the height of the tower or the length of the slant height. We simply used the properties of the triangle to prove the relationship.