Let Δ A B C be a right triangle with sides of integer length, satisfying A C 2 + B C 2 = A B 2 . Let A i be the radius of the inscribed circle .
What is true for A i ?
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.
The angle at C is a right angle, and let the radius of the inscribed circle be r. The length of the tangent from B to the circle is a - r, and from A is b - r. Therefore c = a - r + b - r and hence 2r = a + b - c. The sides are of integer length and so we have a Pythagorian triple (2mn, m^2 - n^2, m^2 + n^2) and r = n(m - n) which is an integer. The triple (5, 12, 13), with m = 3 and n = 2, shows r is not always a square.
Note that A i = s Δ where Δ denotes the area of the triangle and s is the semi-perimeter of the triangle (see incircle of triangle ) . Then, upon a little simplification, A i = A B + B C + C A A C ⋅ B C = ( A C + B C ) 2 − A B 2 ( A C ⋅ B C ) ( A C + B C − A B ) = 2 A C + B C − A B Note that either all the side lengths are even or only one side length is even, hence A i is an integer.
To show that it need not be a perfect square, take A B = 2 5 , A C = 2 4 , B C = 7
Thanks. I have taken your proof for a part and also mention the fact in my solution.
Problem Loading...
Note Loading...
Set Loading...
The sides are Pythagorean triples. It always have two odd and one leg even or all even sides. So its area, half product of the legs, is an integer. Its semi-perimeter too is half of two odd and one even side or all even sides, so it is an integer. With usual notations, and noting that a 2 + b 2 = c 2 . {Thanks to Deeparaj Bhat's solution for part of below solution marked blue.}
A i = 2 1 ( a + b + c ) 2 1 ⋅ a ⋅ b = ( a + b + c ) ( a + b − c ) ( a ⋅ b ) ( a + b − c ) = ( a + b ) 2 − c 2 ( a ⋅ b ) ( a + b − c ) = 2 a b ( a ⋅ b ) ( a + b − c ) = 2 a + b − c . a + b − c is difference of two odd plus an even, or all even, is always an even. ⟹ A i = 2 a + b − c is an integer. For triple 6-8-10, A i = 2 , not a perfect square.