We found that by drawing the angle bisectors to find the centre of the incircle, and then drawing in 3 radii, we had created three pairs of congruent triangles. Therefore we found that part of the hypotenuse of the 3-4-5 triangle must have length and the other part . We formed an equationSue Liu of Madras College went further to find a formula for other Pythagorean triples for right angled triangles with incircles of radius k for any integer k and this is Sue's method.
hence For the 5-12-13 triangle the equivalent formula is
and hence
Clearly the largest circle that fits into a triangle is the incircle where the circle touches the three sides of the triangle. For a right angled triangle we can draw radii of length from the centre of the incircle perpendicular to each of the three sides , and . By equating areas we getSue's generalisation of this problem to isosceles triangles is given as a Further Inspiration.
For the 3-4-5 triangle so the incircle has radius 1. For the 5-12-13 triangle and the inradius is 2. The next part of the question asks us to find right angled triangles with incircle radius 3 and sides which are a primitive Pythagorean triples. Pythagorean triples are given parametrically by
where the integers and are coprime, one even and the other odd, and We can consider a triangle with side lengths Again by equating areas as before,
Hence
By taking and or alternatively and we get for any integer (and of course the triangle has inradius even when is not an integer). For we have and giving the triangle with sides 8, 15 and 17 or alternatively , in which case , and . For we can take , which gives the Pythagorean triple , and .