Analyzing the Setup
Welcome, future engineers! Today, we are not just solving a problem; we are embarking on a logical journey. We are going to explore the deep, interconnected nature of a triangle's properties.
We have three statements, and we are going to prove they are all equivalent. Think of this as a relay race where each runner hands the baton to the next, eventually returning to the start.
Phase 1
The Area-Side Connection (i)⟹(ii)
Let us begin by assuming statement (i) is true: the sides a,b,c and the area Δ are rational. Our goal is to prove statement (ii), which involves the rationality of a, tan2B, and tan2C.
First, we define the semi-perimeter s=2a+b+c. Since a,b,c are rational, their sum is rational, and thus s is rational.
Now, we invoke the classic half-angle formula:
Look at this expression. Δ is rational, s is rational, and b is rational. Since the set of rational numbers is closed under subtraction and division, the entire right-hand side must be rational.
The same logic applies to:
We have successfully bridged the gap!
Phase 2
The Trigonometric Bridge (ii)⟹(iii)
Now, we assume statement (ii) is true. We know a, tan2B, and tan2C are rational. We need to reach statement (iii): the rationality of a, sinA, sinB, and sinC.
We use the powerful double-angle identity:
sinθ=1+tan2(θ/2)2tan(θ/2)
By substituting our rational tangents into this formula, we immediately see that sinB and sinC must be rational.
But what about sinA? We don't have tan2A yet. However, we know that 2A+2B+2C=90∘.
This implies:
tan2A=cot(2B+2C)=tan(B/2)+tan(C/2)1−tan(B/2)tan(C/2)
Since tan2B and tan2C are rational, tan2A is rational. Plugging this back into our double-angle identity for sinA completes the second leg of our journey.
Phase 3
Closing the Loop (iii)⟹(i)
Finally, we assume statement (iii) is true: a, sinA, sinB, and sinC are rational. We must return to the start and prove b,c, and Δ are rational.
We use the Sine Rule:
Since a and sinA are rational, the circumdiameter 2R is rational. Consequently, b=(2R)sinB and c=(2R)sinC are products of rational numbers, making them rational.
Finally, the area is calculated as:
Since b,c,sinA are all rational, Δ is also a product of rational numbers. The loop is closed! We have proven that these three descriptions of a triangle are mathematically identical.
Keep this elegance in mind—often, the most complex problems are just simple truths viewed from different angles.