problème de triangle rectangle :S

[Gunthar]

Bonjour à tous,

Je suis en terminale S option math, et j'ai une interrogation sur la divisibilité dans Z demain.

Je me trouve confronter à un exercice où je ne vois pas la solution.

Voici l'énnoncé :

Les mesures des côtés d'un triangle rectangle sont des nombres entiers a, b et c.

1. Démontrez que l'un au moins des trois nombres a, b , c est pair.
2. Démontrez que l'un au moins des trois nombres a, b , c est divisible par 3.
3.Démontrez que l'un au moins des trois nombres a, b , c est divisible par 4.
4.Démontrez que l'un au moins des trois nombres a, b , c est divisible par 5.

Je n'en tire vraiment rien. La seul chose que je sais en faite, c'est que un triangle avec des nombres entiers pour chaque côté est obligatoirement soumis à la règle des multiples 3,4,5 (côté égal à un multiple de 3, un autre de 4, un autre de 5). Mais de là à le démontrer... D'où premier triangle possible 3,4,5 puis 6,8,10 puis 12,16,20 etc... Ceci ce vérifie à l'aide de c² = a² + b² si c est l'hypothénuse.

pour ce qui est de la question, là encore je ne sais pas répondre mais la seul idée qui m'est venu c'est raisonnement par l'absurde.
Admettons que il n'y ait que des côtés étant égaux à des nombres impaires => aucun cas alors où il y ait au moins 1 côté pair.
et pourtant => a = 3, b = 4, c = 5 , b étant pair, et 5² = 4²+3² est correct. donc il éxiste au moins 1 cas où l'on a au moins 1 côté pair.

Mais sa ne démontre pas l'aspect général...

Merci de votre aide par avance pour chacune des questions...

[iwio]

tu as c² = a² + b²

tu fais seulement le cas ou a impair et b impair
tu obtiens :
impair au carré => ça donne un impair
=> a² + b² donne un nombre pair
=> c² = nb pair
=> c = nombre pair

Si tu fais a impair et b pair, tu as deja ton nombre pair "b"

Voila, je pense que c'est comme ça qu'il faut démontrer.

[shokin]

En effet, a^2 + b^2 = c^2

Que dis-tu de :

a = x^2 - y^2
b = 2xy
c = x^2 + y^2

?

avec x et y des entiers.

Il y a donc une infinité de triplets pythagoriciens irréductibles :

(3;4;5)
(5;12;13)
(8;15;17)
(7;24;25)
...

Bonne investigation !

Shokin

[Gunthar]

En effet, merci beaucoup pour vos indications !

[Gunthar]

j'ai décelé un problème dans les dires de iwio...

si a = 3 et b = 5
a² + b² = 34 => c² paire
mais racine(c²) ne donne pas un nombre pair... ( sa donne 5,83...)

Y aurait-il une issus?

[shokin]

On suppose que a, b et c sont entiers.

Le problème ne se pose donc pas.

Shokin

[Gunthar]

oui, merci beaucoup shokin =)

[Gunthar]

pour les questions 2,3,4 , on peut dire que si un nombre est egal à 3n, 4n, ou 5n, n entier naturel quelconque, alors au moins 1 de a , b c est divisible par 3,4, ou 5.
seulement je ne vois comment tu as trouvé :
a = x^2 - y^2
b = 2xy
c = x^2 + y^2

shokin, (en plus sa marche :S).
il faudra en faite que je démontre que la relation de pythagore est vérifié si au moins 1 côté est multiple de 3, 4, ou 5.
Le pb en plus, c'est que avec la question 1, sa aide pas vraiment.
1 nombre peut être pair, sans être multiple de 3,4, ou 5.
exemple : 14, c'est un multiple de 14, 7, 2, 1 mais pas de 3, 4 ou 5.
o_O
mon dieu que faire.
en faite je vois vraiment pas comment me dépatouiller...
il faudrait surement trouver un rélation de la sorte que si a = n, alors b est forcément égal à m, pour que c soit un entier y.

c doit etre entier.
Donc , c = racine(a²+b²)avec a²+b² multiple d’un nombre entier.
Donc, à la base, a² doit etre multiple d’un nombre entier, et b² multiple d’un nombre entier, et la somme de ces multiples doit donné un nombre multiple.
a= 3n
b = 4n
c = 5n

c = racine(9n²+16n²)
c = racine(25n²)
Mouai, je suis pas convaincu par ce que j'ai écris...

[Gunthar]

Je n'arrive toujours pas à trouver la solution du 2, 3, 4 du problème auriez vous juste un soupçons de piste? o_O

merci par avance pour vos aides.

[Jeanpaul]

Une piste pour le cas (2) mais les autres sont du même esprit.
Par l'absurde, on imagine que aucun des nombres a et b n'est divisible par 3, donc a congru à 1 ou 2 modulo 3 et idem pour b.
On voit facilement en essayant que a²+b² est congru à 2 modulo 3.
Or un carré genre c² ne peut être congru qu'à 1 ou 0 modulo 3.

[Gunthar]

merci énormément jean paul pour ta réponse.

Il n'y qu'un seul soucis : on n'a pas encore vu les congruences...

Je veux bien regarder dans le livre pour les comprendres, mais l'exercice se situ dans le chapitre ( divisibilité dans Z).

De ce fait, je doute que j'ai le droit d'utiliser ta méthode.

Je vais tout de même essayer de comprendre les congruences.

Merci

[invité576543]

Remplace "congruence" par "reste par la division par ...", et cela fera l'affaire...

[Gunthar]

bon j'ai déjà compris ce que ma dis jeanPaul en regardant la leçon sur les congruences.

Seulement, je ne vois pas du tout comment on peut montrer que le a congru 1 ou 2 modulo 3. J'ai fait plein de test et en effet sa marche. Mais comment le prouver? O_o

[Gunthar]

bonsoir à tous,

je vous demande un dernier coup de pouce ;/
pourquoi peut -on dire que c² est congru par 1 ou 0 modulo 3?

merci pour ceux qui me répondrons ou passerons un peu de temps à y réfléchir.

[Gunthar]

dois-je pleurer pour avoir une dernière réponse?