Let be the locus of the incenters of all possible right triangles with a common hypotenuse. If the length of this common hypotenuse is , and the area locus encloses is , then find
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.
Imgur
Let's first observe one of the right triangles.
Note that A I and B I are angle bisectors because of the definition of incenter. Thus, ∠ I A C = ∠ I A B and ∠ I B C = ∠ I B A .
Note that ∠ C A B + ∠ C B A = 9 0 ∘ , so ∠ I A B + ∠ I B C = 2 9 0 ∘ = 4 5 ∘ .
Thus, ∠ A I B = 1 8 0 ∘ − 4 5 ∘ = 1 3 5 ∘ .
This means the locus of all possible incenters above the hypotenuse is a 3 6 0 − 1 3 5 × 2 = 9 0 ∘ section of a circle:
Imgur
The mirror image on the other side forms the complete locus:
Imgur
We just need to find the area of the shaded region.
First, the side length of the square shown above is 2 1 = 2 2 . Thus, the area of it is 2 1 .
Also, the area of the quarter section of one of the big circles is 4 1 π ( 2 2 ) 2 = 8 π . Thus, the area of both of them combined is 4 π .
Now we subtract the area of the square to cancel off the area that we don't need, and to get the area of the shaded region., Thus, A = 4 π − 2 1 ≈ 0 . 2 8 5
And our answer is 2 8 5