A triangle has incentre . Consider lines passing through , passing through and passing through and respectively parallel to sides , and . By the intersections of these lines, we obtain a triangle .
Now, reflect the line across line to obtain line , reflect the line across line to obtain line and reflect the line across line to obtain line . By the intersections of these new lines, we obtain a triangle .
Then the correct relationship is:
(* Definitions : The reflection of a point across a line is another point such that is the perpendicular bisector of segment . The reflection of a line across a line is another line such that the reflection of each point of across line lies on .)
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Recall the famous Euler inequality for a triangle:
The triangle Δ 1 is actually similiar to the triangle A B C and each side (and therefore each linear property) is twice as long as that of the triangle A B C . (Prove it easily using the numerous parallelograms in the figure!) So, the inradius of this triangle is twice the inradius of triangle A B C i.e. 2 × r
Suppose in the first case l a and l b meet at C ′ , l b and l c meet at A ′ and l c and l a meet at B ′ . And in the latter case, L a and L b meet at C ′ ′ , L b and L c meet at A ′ ′ and L c and L a meet at B ′ ′ . Note that before:
∠ B ′ A C = ∠ A C B = x , suppose.
After reflection, ∠ B ′ A C now becomes ∠ C ′ ′ A B .
So, ∠ A C B = x = ∠ C ′ ′ A B
Clearly, this means that line C ′ ′ A is tangent to the circumcircle of A B C at A , i.e. the line L a is the tangent line of the circumcircle of A B C at A . Similiarly, the line L b is the tangent line of the circumcircle of A B C at B and the line L c is the tangent line of the circumcircle of A B C at C .
So, the circumcircle of A B C is actually the incircle of the triangle formed by these lines, i.e. Δ 2 . So, the inradius of the triangle Δ 2 is actually the circumradius of A B C i.e. R
Using the Euler's inequality and the results in (1) and (2), the relation follows.