MHB Prove Triangle ABC is a Right Triangle

  • Thread starter Thread starter anemone
  • Start date Start date
  • Tags Tags
    Triangle
Click For Summary
In triangle ABC, with integer side lengths and an inradius of 1, it can be proven that the triangle must be a right triangle. The relationship between the area, semiperimeter, and inradius leads to specific constraints on the side lengths. By applying the formula for the area in terms of the inradius and semiperimeter, it becomes evident that the conditions can only be satisfied by a right triangle. The Pythagorean theorem further supports this conclusion by establishing the necessary relationship between the sides. Therefore, triangle ABC is confirmed to be a right triangle.
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Suppose the lengths of the three sides of $\triangle ABC$ are integers and the inradius of the triangle is 1. Prove that the triangle is a right triangle.
 
Mathematics news on Phys.org
Let $a=BC,\,b=CA$ and $c=AB$ be the side lengths, $r$ be the inradius and $s=\dfrac{a+b+c}{2}$.

Since the area of the triangle is $rs$, we get $\sqrt{s(s-a)(s-b)(s-c)}=1\cdot s=s$. Then

$(s-a)(s-b)(s-c)=s=(s-a)+(s-b)+(s-c)$

Now $4(a+b+c)=8s=(2s-2a)(2s-2b)(2s-2c)=(b+c-a)(c+a-b)(a+b-c)$.

In $(\bmod 2)$, each of $b+c-a,\,c+a-b$ and $a+b-c$ are the same. So either they are all odd or all even. Since their product is even, they are all even. Then $a+b+c$ is even and $s$ is an integer.

The positive integers $x=s-a,\,y=s-b$ and $z=s-c$ satisfy $xyz=x+y+z$. Suppose $x\ge y\ge z$. Then $yz\le 3$ for otherwise $xyz>3x\ge x+y+z$. This implies $x=3,\,y=2,\,z=1,\,s=3,\,a=3,\,b=4$ and $c=5$.

Therefore, the triangle is a right triangle.
 
Thread 'Erroneously  finding discrepancy in transpose rule'
Obviously, there is something elementary I am missing here. To form the transpose of a matrix, one exchanges rows and columns, so the transpose of a scalar, considered as (or isomorphic to) a one-entry matrix, should stay the same, including if the scalar is a complex number. On the other hand, in the isomorphism between the complex plane and the real plane, a complex number a+bi corresponds to a matrix in the real plane; taking the transpose we get which then corresponds to a-bi...

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K