Pythagore dans l'espace ffi Dans l'espace cartésien, les coordonnées x, y et z déterminent la position d'un point sur une sphère lorsqu'elles satisfont l'équation de la forme x^ + y^ + z^ = où r est le rayon de la sphère. De la même manière, on a la relation a^ + b^ + c^ = d^ où a, b et c sont les dimensions d'un prisme droit et où d est la longueur de la grande diagonale passant d'un sommet à un autre qui n'est pas dans le même plan que lui. Tout comme U existe des triplets de Pythagore qui régissent le cercle et le triangle rectangle dans le plan, nous allons tenter de trouver des quadruplets satisfaisant les équations dans l'espace. Soulignons que nous tentons de trouver des valeurs entières satisfaisant la relation. Algorithme des triplets de Pythagore Choisissons deux entiers m et p tels qu'ils soient premiers entre eUx, que l'un soit pair et que l'autre soit impair. En notation mathématique, on exprime (m, p) = 1, m pair et p impair. Choisissons m>p. Effectuons les calculs suivants: a = 2mp b = m2 - p2 c = m^ + p2 Nous aurons nécessairement que a, b et c forment un triplet de Pythagore satisfaisant la relation a^ + b^ = c^ telle que nous connaissons. Existe-t-il un algorithme permettant de découvrir tous les quadruplets dans l'espace? Il va sans dire que cet algorithme devrait inclure celui de Pythagore dans le cas où une des valeurs est nulle. Quelles suppositions sont permises au départ comme valeurs possibles de a, b et c afin de trouver d satisfaisant la relation? Établissons premièrement des valeurs pour a et b, puis cherchons des valeurs de c permettant de trouver une valeur de d satisfaisant la relation. UJ a a et b n'ont pas la même parité Si a et b n'ont pas la même parité, l'écart entre leurs valeurs ne peut valoir que 1, 3, 5, 7, etc. Posons dès lors b = a + 1, puis b = a + 3, puis b = a + 5, etc. UJ Le c a s b = a + 1 Par essais successifs, on trouve un tableau de la forme: a 0 1 2 3 4 b 1 2 3 4 5 c 0 2 6 12 20 d 1 3 7 13 21 a a+1 ab c+1 Ghislain Desmeules Séminaire de Métabetchouan 23 E N V O L - JUIN 94 Le cas b = a + 3 Par essais successifs, on trouve un tableau de la forme: a 0 1 2 3 4 b 3 4 5 6 7 c 4 8 14 22 32 d 5 9 15 23 33 a a+3 ab^ c+1 Le cas b = a + 5 Par essais successifs, on trouve un tableau de la forme: a 0 1 2 3 4 b 5 6 7 . 8 9 a kj a+5 c 12 18 26 36 48 d 13 19 27 37 49 ab4'12 c+1 Le cas b = a -i- 7 Par essais successifs, on trouve un tableau de la forme: ei b c d C» 1 2» 31 4i ei 7 8 9 10 11 24 32 42 54 68 25 33 43 55 69 a+7 ab+24 c+1 GENERALISATION a b a a+n a2 + b2 a2 + (a+n)2 c ab+ûi^dl 2 c2 + (ab+Ltt2dl)2 2 d ab+Ia^iU 2 = (ab+to2±U)2 2 a et b ont la même parité 1- a et b impairs Les nombres entiers a et b ne peuvent être tous les deux impairs. En effet, un nombre impair de la forme a = 2f + 1 donne au carré un nombre de la forme + 4f + 1. Un second nombre impair de la forme b = 2k + 1 donne au carré un nombre de la forme 4k2 + 4k + 1. Leur somme donne un nombre de la forme 4(f2 + f + k^ + k) + 2. Dès lors, il est impossible dé trouver un nombre c qu'il soit pair ou impair de manière que la relation soit satisfaite pour une valeur entière d. - En effet, si c est pair, il est de la forme 2t et son carré est de la forme it^- La somme des trois valeurs est de la forme 4u + 2. Aucun carré n'est de cette forme. - De plus, si c est impair, il est de la forme 2u + 1 et son carré est de la forme + 4u + 1. La somme des trois valeurs est de la forme 4r + 3. Aucun carré n'est de cette forme. 2- a et b pairs J'ai observé deux familles de solutions, selon que l'écart entre les deux nombres est divisible par 4 ou que l'écart entre les deux nombres donne un reste de 2 si on le divise par 4. 24 ENVOL - JUIN 94 i- a et b sont 0 modulo 4 Si a et b sont pairs et si l'écart entre leurs valeurs est 4, 8,12,16, etc. Posons dès lors b = a + 4, puis b = a + 8, puis b = a + 12, etc. Le cas b = a + 4 Par essais successifs, on trouve un tableau de la forme: a 0 2 4 6 8 b 4 6 8 10 12 a a44 c 0 3 . 8 15 24 d 4 7 12 19 28 ab 4 c+4 Le cas b = a + 8 cessifs, on trouve un tableau de la forme: b 8 10 12 . 14 16 a 0 2 4 6 8 a c 6 11 18 27 38 d 10 15 22 31 42 ab+6 4 c+4 kl Le cas b = a + 12 Par essais successifs, on trouve un tableau de la forme: O - d 20 27 36 47 60 a 0 2 4 6 8 b 12 14 16 18 20 c 16 23 32 .43 56 a a+12 âll+16 4 c+4 Le cas b = a + 16 Par essais successifs, on trouve un tableau de la forme: a 0 2 4 6 8 b 16 18 20 22 24 c 30 39 50 63 78 d 34 43 54 67 82 a a+16 at2+30 4 c+4 GeNERAliSATlON b a a+n a ii- UJ d ab+In^iim 4 8 c ab+(n2-161 4 8 a2 + b2 + c2 a2 + (a+n)2 + fah+(n2-16))2 4 8 d2 = fah+fn2+161l2 4 8 a et b sont 2 modulo 4 Si a et b sont pairs et si l'écart entre leurs valeurs est 2, 6,10,14, etc. Posons dès lors b = a + 2, puis b = a + 6, puis b = a + 10, etc. 25 ENVOL - JUIN 94 Le cas b = a + 3 Par essais successifs, on trouve un tableau de la forme: a 0 2 4 6 8 b 2 4 6 8 10 c 0 4 12 24 40 d 2 6 14 26 42 a a+2 ab 2 c+2 Le cas b = a + 6 Par essais successifs, on trouve un tableau de la forme: M c 8 16 28 44 64 b 6 8 10 12 14 a 0 2 4 6 8 . a d 10 18 30 46 66 c+2 a+6 2 Le cas b = a + 10 Par essais successifs, on trouve un tableau de la forme: b 10 12 14 16 18 a 0 2 4 6 8 a+10 . a a M . c 24 36 52 72 96 d 26 38 54 74 98 aJl+24 2 c+2 GÉNÉRAUSATION b a a+n a c 2 a2 + b2 a2 +. (a+n)2 + d 4 2 c2 2 = • 4 d2 (alj+ln^iâD^ 2 4 4 A U SECOURS 1 Je possède trois familles de résultats et on voit bien que, dans chacune des familles, il y a une infinité de solutions. Mais il me manque toujours le principe unificateur qui contiendrait les trois familles de résultats dans un même algorithme. A U SECOURS 2 De plus, il existe d'autres quadruplets qui ne sont pas parmi ceux que j'ai trouvés. Je n'ai pas, par exemple, le quadruplet (0, 8,15, 17). La recherche est incomplète et je suis à court de ressources pour la compléter. Existe-t-il un algorithme permettant de trouver toutes les solutions entières de la relation a^ + b^ + c^ = d^? . 26 E N V O L - JUIN 94