Pythagoras, inscribed

Geometry Level 3

Let Δ A B C \Delta ABC be a right triangle with sides of integer length, satisfying A C 2 + B C 2 = A B 2 AC^2 + BC^2 = AB^2 . Let A i A_i be the radius of the inscribed circle .

What is true for A i A_i ?

A i A_i is a rational number, but not always an integer A i A_i is a perfect square None of these choices A i A_i is an integer, but not necessarily a perfect square

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.

3 solutions

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 a^2+b^2=c^2 . {Thanks to Deeparaj Bhat's solution for part of below solution marked blue.}
A i = 1 2 a b 1 2 ( a + b + c ) = ( a b ) ( a + b c ) ( 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 c 2 . A_i=\dfrac {\frac 1 2 \cdot a \cdot b}{ \frac 1 2 (a+b+c) }=\color{#3D99F6}{\dfrac {(a \cdot b)(a+b - c)}{ (a+b+c)(a+b - c)} }=\dfrac {(a \cdot b)(a+b - c)}{ (a+b)^2 - c^2}\\ =\dfrac {(a \cdot b)(a+b - c)}{ 2ab}=\dfrac {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 = a + b c 2 \implies\ A_i=\dfrac {a+b - c} 2 is an integer. For triple 6-8-10, A i = 2 A_i=2 , not a perfect square.

Nic Heideman
Jun 27, 2016

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 A_i=\dfrac{\Delta}{s} where Δ \Delta denotes the area of the triangle and s s is the semi-perimeter of the triangle (see incircle of triangle ) . Then, upon a little simplification, A i = A C B C A B + B C + C A = ( A C B C ) ( A C + B C A B ) ( A C + B C ) 2 A B 2 = A C + B C A B 2 \begin{aligned} A_i&=\frac{AC\cdot BC}{AB+BC+CA}\\ &=\frac{(AC\cdot BC)(AC+BC-AB)}{(AC+BC)^2-AB^2}\\&=\frac{AC+BC-AB}{2}\end{aligned} Note that either all the side lengths are even or only one side length is even, hence A i A_i is an integer.

To show that it need not be a perfect square, take A B = 25 , A C = 24 , B C = 7 AB=25, \, AC=24, \, BC=7

Thanks. I have taken your proof for a part and also mention the fact in my solution.

Niranjan Khanderia - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...