INTRODUCTION

It is a well-known fact that the in- radius of a Pythagorean triangle (A right-triangle whose sides form a Pythagorean triple) is always an integer [1]. The purpose of this note is to extent this result in the following sense.

If in any Pythagorean triangle a string of a finite number (say, $\mathbf{k}$ ) of equal circles, inside the triangle, are so taken that i. each of the k circles touches a given side (other than the hypotenuse) ii. each of the (k-2) non-extreme circles also touch the two neighbouring circles. iii. the extreme two circles touch the nearest other side also.

We claim that these circles will have a rational radius for all $\mathbf{k}$. We also work out the value of $r$ explicitly.

Before proceeding for the proof, we need to use the following facts a. A special category of Pythagorean triples is that of primitive

• Pythagorean triples which are merely Pythagorean triples having no common factors. b. Every Pythagorean triple is of the form $2ab$, $a^2-b^2$, $a^2+b^2$, where $a$ and $b$ are positive coprime integers and [2].

Proof:

Let $\mathrm{\Delta }ABC$ be right angled at B.

Without loss of generality, we can assume that the sides of $\mathrm{\Delta }ABC$ form a primitive pythagorean triple. Let $AB=2ab$, $BC=a^2-b^2$ and $AC=a^2+b^2$, where $a$ and $b$ are coprime with .

We need to consider two cases depending on whether the strings of circles are taken on BC or on AB. Accordingly, we have to prove our assertion considering both the cases.

Case 1: String of circles lying along $BC$

It may be noted here that in this case (1)

Let $\mathrm{O}$ be the centre of the circle (nearest to AC) and $\mathrm{OM}⟂\mathrm{BC}$.

Let $r$ be the radius of each of these circles.

Clearly, OC bisects $\mathrm{\angle }ACB$. Let $\mathrm{\angle }ACB=2\theta$ so that $\mathrm{\angle }OCB=\theta$.

We have,

Also,

$\Rightarrow \frac{2ab}{a^2-b^2}=\frac{\frac{2r}{(a^2-b^2)-(2k-1)r}}{1-\frac{r^2}{[(a^2-b^2)-(2k-1)r{]}^2}}$ (By the duplication formula for tangent function)

i.e, $A{r}^2-Br+C=0$

where,

we have,

which clearly asserts that $r$ must be rational now,

Here we claim that we have to discard the plus sign.

Because if we take plus sign then $r$ becomes

By the condition (1), we have

Which is absurd. This justifies our claim If we take minus sign $r$ becomes

Clearly, this option satisfies the condition (1)

Case 2: String of circles lying along $BC$

It may be noted here that (2)

Let $Q$ be the centre of the circle (nearest to AC) and QN $⟂$ AB.

Clearly, QA bisects $\mathrm{\angle }BAC$. Let $\mathrm{\angle }BAC=2\beta$ so that $\mathrm{\angle }QAB=\beta$.

We have,

Also,

i.e, $A{r}^2-Br+C=0$, where

which clearly asserts that $r$ must be rational

Here we claim that we have to discard the plus sign.

Because if we take plus sign then $r$ becomes

By the condition (2), we have

Which is absurd (as $k$ is an integer). This justifies our claim. If we take minus sign $r$ becomes

Clearly, this option satisfies the condition (2)

Remark

Interestingly, the values of $r$ in both the cases are free from $k$ in the numerator.