Exercice 4.
Un triplet d’entiers naturels strictement positifs (x, y, z)est appelé triplet pythagoricien si c’est une
solution de l’équation diophantienne
x2+y2=z2(∗).
On se propose dans cet exercice de donner tous les triplets (x, y, z)pythagoriciens.
On suppose d’abord que pgcd(x, y, z) = 1 (c.-à-d. x, y et zn’ont aucun facteur >1en commun).
Un tel triplet est dit primitif.
1. Donner un exemple de triplet pythagoricien primitif qui ne contient pas 0.
2. Démontrer que x∧y=y∧z=z∧x= 1 (c.-à-d. que x, y et zsont premiers entre eux deux à deux).
En déduire que xet yne sont pas tous les deux pairs.
3. En résolvant l’équation (∗)dans Z/4Z, démontrer que les entiers xet ysont de parités différentes.
On suppose dorénavant que xest impair et yest pair. On en déduit aussitôt que zest impair.
On considère l’entier y0tel que y= 2y0.
4. Démontrer que z+xet z−xsont pairs.
On considère donc les entiers naturels met ntels que z+x= 2met z−x= 2n.
5. Exprimer xet zen fonction de pet q. En déduire que, puisque xet zsont premiers entre-eux, pet
qsont premiers entre-eux.
6. Démontrer que mn =y02.
7. Déduire des deux questions précédentes, en utilisant les décompositions en facteurs premiers, que m
et nsont des carrés.
On considère donc les nombres entiers naturels uet btels que m=u2et n=b2.
8. En exprimant xen fonction de uet b, démontrer que uet bsont de parités différentes.
On suppose donc que uest pair et best impair.
On considère l’entier naturel atel que u= 2a.
9. En déduire le théorème suivant, déjà connu d’Euclide :
Si (x, y, z)est un triplet pythagoricien primitif tel que yest pair, alors il existe des entiers naturels aet
bpremiers entre-eux, bimpair tels que
x=|4a2−b2|
y= 4ab
z= 4a2+b2
On notera en particulier que ynon seulement est pair, mais, de plus, un multiple de 4.
10. Déterminer les 16 triplets pythagoriciens primitifs pour lesquelles z≤100.
11. La réciproque du théorème ci-dessus est-elle vraie ?
12. Soit (x, y, z)un triplet pythagoricien quelconque. Montrer qu’il existe un entier naturel ket un
triplet pythagoricien primitif (x0, y0, z0)tels que x=kx0,y=ky0et z=kz0.
2