Analyzing the Setup
Imagine a right-angled triangle ABC, with the right angle at B. We label the sides opposite to the vertices as a,b, and c.
Specifically, we define BC=a, AC=b (the hypotenuse), and AB=c. We place a circle inside this triangle, touching all three sides, known as the incircle with radius r.
Our mission is to prove that the diameter d=2r is equal to AB+BC−AC, or a+c−b.
The Inradius Derivation
We utilize the general inradius formula:
r=(s−b)tan(2B)
where
s is the semi-perimeter, defined as
s=2a+b+c.
Because our triangle is right-angled at
B, we know
∠B=90∘. Substituting this into our formula, we get:
r=(s−b)tan(45∘)
Since
tan(45∘)=1, the expression simplifies elegantly to
r=s−b. Substituting the definition of
s into this equation yields:
r=2a+b+c−b
By finding a common denominator, we obtain:
r=2a+b+c−2b=2a+c−b
Multiplying by 2, we find 2r=a+c−b. Since 2r is the diameter, we have proven that the diameter is indeed AB+BC−AC.
The Triangle in the Circle
Now, let us shift our perspective to a triangle ABC inscribed in a circle. We drop an altitude AD from vertex A to the base BC and draw a diameter AE passing through the center.
We aim to prove the relationship AB×AC=AE×AD. This product of sides suggests the existence of similar triangles.
To visualize this, we construct a line connecting B to E. Now, consider △ABE and △ADC.
In △ABE, ∠ABE=90∘ because it is an angle inscribed in a semi-circle. In △ADC, ∠ADC=90∘ by construction. We have identified our first pair of equal angles.
Establishing Similarity
Next, consider the arc AB. It subtends ∠AEB and ∠ACB (which is ∠ACD) at the circumference.
By the theorem that angles in the same segment are equal, we know ∠AEB=∠ACD. With two pairs of equal angles, we have established that △ABE∼△ADC by the Angle-Angle (AA) similarity criterion.
Final Calculation
Because the triangles are similar, the ratios of their corresponding sides must be equal:
ADAB=ACAE
Cross-multiplying these terms gives us the final result:
AB×AC=AE×AD
This is the beauty of geometry—a complex relationship between lengths is reduced to a simple, elegant product. The underlying mathematical laws remain perfectly consistent, whether we are analyzing the circle inside or the circle outside the triangle.