Suppose you have a right triangle and every side has rational length. What can you say about the area? For example, is it possible that such a triangle could have area 1?
It turns out the answer is no, and here’s a proof. Suppose you had a right triangle with sides of length a, b, and c with c being the length of the hypotenuse. And suppose a, b, and c are all rational numbers.
Start with the equation
(a2 − b2)2 = (a2 + b2)2 − 4a2b2
Suppose the area of the triangle is 1. Then ab/2 = 1 and so ab = 2. Use this and the Pythagorean theorem to rewrite the right side of the equation above. Now we have
(a2 − b2)2 = c4 − 16
But this result contradicts a theorem of Fermat: in rational numbers, the difference of two fourth powers cannot be a square.
So a rational right triangle cannot have area 1. Also, it cannot have area r2 for any rational number r. (If it did, you could divide each side by r and have a rational triangle with area 1.)
Now things are about to get a lot deeper.
What values can the area of a rational right triangle take on? Euler called such numbers congruent. Determining easily testable criteria for congruent numbers is an open problem. However, if the Birch and Swinnerton-Dyer conjecture is correct, then an algorithm of Jerrold Tunnell resolves the congruent number problem. (Incidentally, the Clay Mathematics Institute has placed a $1,000,000 bounty on the Birch and Swinnerton-Dyer conjecture.)
What if instead of limiting the problem to rational right triangles we considered all triangles with rational sides? See this paper for such a generalization.
You write:
Start with the equation
(a2 – b2)2 = (a2 + b2) – 4a2b2
Can you explain me where does that expression?
I think this article would be interesting for my maths class in university
Greats from a spanish twitter follower. Thanks
So, why start with (a2 – b2)2 = (a2 + b2)2 – 4a2b2? I admit that doesn’t seem very motivated, but it leads to a short proof. I don’t know of a more natural proof.
Update: I may have misunderstood your question. I realize now there was a typo in the initial equation. I assume you were asking why it was correct — it wasn’t! — not where it came from.
John,
I believe there is a typing mistake.
(a2 – b2)2 = (a2 + b2) – 4a2b2
Should be,
(a2 – b2)2 = (a2 + b2)2 – 4a2b2
There is a superscript 2 missing from the right-hand side of the first equation, which is probably why it is puzzling the previous commenters.
I would be interested in an expert mathematician’s view on whether this result by me:
http://gpj.connectfree.co.uk/gpjk.htm#(5)
has any relevance to this subject.
still don’t understand. Can the author or someone answer me?
thanks a lot
Marinamedi, the first equation is just rearrangement using algebra.
To make this easier to see, let s = a^2 and t = b^2. All this equation is saying is that
(s – t)^2 = s^2 – 2st + t^2 (expand)
= s^2 + 2st – 4st + t^2 (add and subtract 2st)
= (s^2 + 2st + t^2) – 4st (rearrange)
= (s+t)^2 – 4st (factor first expression)
marinamedi, this is an extremely unmotivated proof. It proves the theorem, but without at first looking like it had anything to do with the theorem. The first equation has nothing to do with a triangle it is just an identity of polynomials (expand both sides algebraically). Then an algebraic fact about a particular a and b (of a right triangle) is used to get the second equation. Then Fermat’s -algebraic theorem applies (by contradiction). How this proof was found (I have no idea!) is not relevant, the proof still works, a and b can’t be 1. So in some sense, your question really is ‘how was this particular proof found?. and that I have no idea about.
Thanks Mitch and A.Webb. You had helped me a lot. ¡Gracias!
What about triangle with side of length 3, 4 and 5. It seems to be a contraexample.
Aleksandr: Such a triangle has area 6.
Aleksandr: intuitively that seems right but to go from area 6 to area 1, you have to divide the -lengths- by sqrt(6).
I see. It’s like to be an interesting fact. And what about not right triangles?
See the last line of the post for a link to a paper discussing general triangles.
The formula is a rearrangement of the classic formula for Pythagorean triples (see https://en.wikipedia.org/wiki/Pythagorean_triple). If a, b, and c are integer sides of a right triangle, then a = m^2 – n^2, b = 2*m*n, c = m^2 + n^2 for some integers m and n (i.e., (m^2 – n^2)^2 + 4*m^2^n^2 = (m^2 + n^2)^2).
I tried playing with this to see if one could adapt this proof to get a more motivated proof, but I couldn’t get it to work.