Call a triangle "happy" if it has consecutive integer side lengths and integral area. The first two "happy" triangles are the 3-4-5 and 13-14-15 triangles. What is the perimeter of the third "happy" triangle?
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 best solution to this problem is to refer to an equation known as Heron's Formula. This is an equation for the area of a triangle that requires only the lengths of its sides. It is as follows:
For a triangle with sides a , b , & c :
A = s ( s − a ) ( s − b ) ( s − c ) where s = 2 a + b + c
Our question asks for triangles with consecutive side lengths. We'll let a = x − 1 , b = x , and c = x + 1 . This means that our solution will be of the form 3 x . First we'll plug in out numbers into our formula for s .
s = 2 x − 1 + x + x + 1 = 2 3 x
Now we'll plug in our values of s , a , b , & c into our formula for the area.
A = 2 3 x ( 2 3 x − x + 1 ) ( 2 3 x − x ) ( 2 3 x − x − 1 )
A = 2 3 x ( 2 1 x + 1 ) ( 2 1 x ) ( 2 1 x − 1 )
A = 2 x 3 ( 2 1 x + 1 ) ( 2 1 x − 1 )
A = 2 x 3 ( 4 1 x 2 − 1 )
A = 4 x 3 ( x 2 − 4 )
For A to be an integer, we need two things to happen:
1 . 3 ( x 2 − 4 ) has to be a square number
2 . We need to check if 4 ∣ x 3 ( x 2 − 4 )
Let's begin by finding numbers that satisfy 3 ( x 2 − 4 ) = n 2
Observe that x cannot be divisible by 3 because we need 3 ∣ x 2 − 4 to be true.
( 3 n ) 2 ≡ 0 (mod 3 ) ⟹ ( 3 n ) 2 − 4 ≡ 2 (mod 3 )
Also not that x cannot be odd. If x was odd, the 3 ( x 2 − 4 ) would have to be an odd square, and x 3 ( x 2 − 4 ) would be odd as well, meaning that 4 ∤ x 3 ( x 2 − 4 )
This leaves us to check only numbers of the form 6n-2 and 6n+2. This narrows down our search a bit.
3 ( ( 6 n − 2 ) 2 − 4 ) = 3 ( 3 6 n 2 − 2 4 n + 4 − 4 ) = 6 2 ( 3 n 2 − 2 n )
3 ( ( 6 n + 2 ) 2 − 4 ) = 3 ( 3 6 n 2 + 2 4 n + 4 − 4 ) = 6 2 ( 3 n 2 + 2 n )
So either 3 n 2 − 2 n or 3 n 2 + 2 n must be a perfect square.
From here it's pretty simple to check values of n to see what works and what doesn't. Letting n = 1 in our 1st equation yields x = 4 as a solution, and letting n = 2 ) yields x = 1 4 , and our next solution doesn't come until n = 9 where 3 × 9 2 − 2 × 9 = 2 2 5 = 1 5 2
x = 6 ( 9 ) − 2 = 5 2 ⟹ 3 x = 1 5 6