Problem Posed by Fermat
Date: 05/04/2001 at 21:43:19 From: Paul Subject: Number Theory (a problem posed by Fermat) I recently read portions of Michael Mahoney's book, _The Mathematical Career of Pierre de Fermat_, for a paper I had to do. I quote from page 307: "In 1643, seeking to induce Brulart to join in the discussion of number theory being carried on with Frenicle, Fermat posed three problems to him: 1. to find a right triangle such that the hypotenuse is a square and the sum of the two perpendiculars, or indeed of all three sides, is also a square; 2. to find four right triangles having the same area; 3. to find a right triangle such that the area plus the square of the sum of the smaller sides is a square. Two letters written by Fermat to Mersenne immediately after this challenge indicate that both Brulart and Frenicle viewed the problems and the man who proposed them with anger and diistrust. They accused Fermat of having posed impossible problems. Though Fermat admitted the extreme difficulty of the problems, he assured Mersenne, and through him his two correspondents, that the problems had solutions. Eventually he supplied them; those to the first two problems are also found in the _Observations on Diophantus_." Mahoney, however, does not supply Fermat's solutions. I took it upon myself to attempt to find solutions to the three problems. I haven't looked at two or three yet, but number one is driving me crazy. Let me restate the problem: Find a right triangle such that the hypotenuse is a square and the sum of the two perpendiculars, or indeed of all three sides, is also a square. Is Fermat saying that if the hypotenuse is a square, and the sum of the two perpendiculars is also a square, the sum of all three sides will also be a square? That doesn't seem right to me. If (a,b,c) is a Pythagorean triple and c = k^2 and (a+b) = m^2, then (a+b+c) = k^2 + m^2, which doesn't have to be a perfect square, does it? So that's my first question. But that's not really what's driving me crazy. I read with interest Dr. Rob's response here on generating Pythagorean triples: Formula for Pythagorean Triples http://mathforum.org/dr.math/problems/sunde10.23.97.html After reading it, I wrote a maple script to generate Pythagorean triples. Then if c was a perfect square, I tested to see whether either of (a+b) or (a+b+c) was a perfect square. I have tested at least 30,000 Pythagorean triples (I've lost count) and have had no luck. This problem has been consuming my life all week! It won't go away... In my maple program, I have run a for loop with 'm' running from 1 to 100, 'n' running from 1 to 50, and 'd' running from 1 to 50 (where m, n, and d are as described in the aforementioned response attributed to Dr. Rob). None of these produces a Pythagorean triple that satisfies the necessary conditions. I'd be happy to send a copy of my Maple program, but I don't see a way to attach files to these messages. If you want to see the program and have a way for me to attach it to a message, I'll do that.
Date: 05/08/2001 at 13:28:56 From: Doctor Rob Subject: Re: Number Theory (a problem posed by Fermat) Thanks for writing to Ask Dr. Math, Paul! You didn't find the solution because the smallest one has a, b, and c all with 13 decimal digits. Let's look at Fermat's solution to the first problem. We deal with triangles whose sides are rational numbers, and drop the primitivity condition. Thus m and n can be rational, and d = 1 throughout. Form the right triangle with rational parameters n = x and m = x+1. Its sides are a = 2*x^2 + 2*x, b = 2*x + 1, c = 2*x^2 + 2*x + 1. Now you want c = 2*x^2 + 2*x + 1 = k^2, a + b = 2*x^2 + 4*x + 1 = j^2, 2*x = j^2 - k^2 = (j-k)*(j+k). Setting j - k = 2, j + k = x, j = x/2 + 1, k = x/2 - 1. Thus 2*x^2 + 2*x + 1 = k^2 = x^2/4 - x + 1, (7/4)*x^2 + 3*x = 0, x = 0 (extraneous root) or x = -12/7. That means that the rational triangle is formed with parameters -12/7, -5/7. It has sides (119/49,120/49,169/49). To make all the sides integral, form an integer triangle with parameters m = 5 and n = 12. That gives a triangle (-119,120,169). This formally satisfies the condition, but has no geometric meaning, because a < 0. This negative value led Fermat to repeat the process using parameters x+5 and 12. This triangle's sides are (x+5)^2+12^2, (x+5)^2-12^2, and 24*(x+5). Hence x^2+10*x+169 and x^2+34*x+1 are to be rational squares, say A^2 and (B/13)^2. Then B^2 - A^2 = 168*x^2 + 5736*x. One solution of this is to take B - A = 14*x, B + A = 12*x + 2868/7, A = -x + 1434/7. Thus (-x+1434/7)^2 = A^2 = x^2 + 10*x + 169, x = 2048075/20566. The ratio of x+5 to 12 is that of m = 2150905 to n = 246792. The triangle formed from these parameters has the desired properties. Other authors have pointed out that this problem is intimately connected with finding x and y such that 2*x^4 - y^4 is a square or the negative of a square. This discussion is derived from L. E. Dickson, _History of the Theory of Numbers_ (Washington, DC: Carnegie Institution, 1919-1923), reprint (New York, NY: Chelsea Publishing Co., 1992), vol. II, pp. 620-621 and 165. - Doctor Rob, The Math Forum http://mathforum.org/dr.math/
Search the Dr. Math Library:
Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.