Math forum
Les maths ont leur forum !
Les Cours Thierry
Cours de mathématiques et soutien scolaire par le webmaster de Math foru'
RUBRIQUES

 
Cours & Math-fiches

 
Math foru' sur Facebook


 
Rechercher dans les forums Derniers messages S'inscrire pour poster des messages S'inscrire pour poster des messages
vers le sujet précédent vers le sujet suivant
Modéré par: Thierry, Noemi, mtschoon
Fin 

le carré d'un nombre pair est un nombre pair

- classé dans : Arithmétique

Envoyé: 02.04.2005, 21:22



enregistré depuis: avril. 2005
Messages: 1

Status: hors ligne
dernière visite: 02.04.05
bonjour je dois prouver que racine de 2 est irrationel, cela est fait mais le seul problème c'est que dans mon raisonnement j'ai utilisé le fait que si m^2 est un multiple de 2, alors m est aussi un multiple de 2
cela me parait évident comme résultat mais je ne sais pas comment le démontrer vraiment
si vous pouviez m'aider ....
merci d'avance
Top 
 
Envoyé: 03.04.2005, 23:13

Webmaster
Thierry

enregistré depuis: juil.. 2004
Messages: 3135

Status: hors ligne
dernière visite: 20.07.16
Bonjour Kleina,
Je te propose un raisonnement par l'absurde : m² est pair mais supposons que m soit impair. Tu monteras facilement que si m est impair alors m² l'est aussi ce qui en contradiction avec l'hypothèse de départ.

A bientôt !


Thierry
Prof de math à Paris : http://thierry.leprof.free.fr/
Top  Accueil
Envoyé: 04.06.2012, 17:31



enregistré depuis: juin. 2012
Messages: 3

Status: hors ligne
dernière visite: 05.06.12
si m^2 est un multiple de 2, alors m est aussi un multiple de 2.
Je ne vois pas comment on peut démontrer une proposition fausse.

si on prend un nombre est pair alors son carré est pair. suis ok
si un nombre est impair son carré est impair. suis ok cela se montre bien
mais de là à passer à :
si un carré est pair alors sa racine l'est forcément !!!
contrex avec racine de deux. racine de deux est paire ?
si un nombre est impair sa racine l'est.
Contrex avec -1 le carré de i nombre complexe. i est donc impair ?
Il suffit de l'écrire ainsi pour voir que c'est idiot d'autant plus que c'est ce lemme qui sert prouver que racine de deux est irrationnel donc à priori ni pair, ni impair (on retrouve cette démo sur le site).
Comment combler la faille dans la démo ????
Cela m'embete d'autant plus que j'ai lu, fait appris cette démo plusieurs fois avant d'en arriver à la conclusion qu'elle était fallacieuse.
Où est ce que que me trompe ?
Ou est ce que je ne me trompe pas ?
Q'en pensez vous ?
Dans l'attente d'une réponse...
Mat
Top 
Envoyé: 04.06.2012, 19:35

Webmaster
Thierry

enregistré depuis: juil.. 2004
Messages: 3135

Status: hors ligne
dernière visite: 20.07.16
oufmat

si un carré est pair alors sa racine l'est forcément !!!
Ce n'est pas de cela dont il s'agit.


kleina
si m^2 est un multiple de 2, alors m est aussi un multiple de 2



Thierry
Prof de math à Paris : http://thierry.leprof.free.fr/
Top  Accueil
Envoyé: 04.06.2012, 20:00



enregistré depuis: juin. 2012
Messages: 3

Status: hors ligne
dernière visite: 05.06.12
Thierry, ta démonstration par l'absurde(celle proposée à Kleina) suppose qu'un nombre soit soit pair, soit impair.

Ce qui est vrai sur Z mais sur Q alors ?
Ne parlons même pas de R ou de C.
Je reprend la démo de Zorro dans les grandes lignes.
i) si a est pair son carré aussi.
ii) si a est impair son carré aussi.
conclusion :
"avec ces deux démonstration on a bien montré que" :
a est pair si et seulement si son carré l'est.

Ce qui est totalement en portafaux avec le fait que l'on s’intéresse au nombre dont le carré est deux(un nombre pair).
Si la proposition énoncé plus haut est vraie est alors racine de deux est pair.
Même plus besoin d'aller plus loin non ?
Sauf que 2 est pair et n'est pas le carré d'un nombre pair.
Cela me semble indéniable...
Top 
Envoyé: 04.06.2012, 20:54

Webmaster
Thierry

enregistré depuis: juil.. 2004
Messages: 3135

Status: hors ligne
dernière visite: 20.07.16
Il s'agit d'un carré pair, pas de n'importe quel entier pair.

2 n'est pas un carré.


Thierry
Prof de math à Paris : http://thierry.leprof.free.fr/
Top  Accueil
Envoyé: 05.06.2012, 00:01

Cosmos
Zorro

enregistré depuis: oct.. 2005
Messages: 9374

Status: hors ligne
dernière visite: 10.01.16
Bonjour,

Il faut bien entendu se placer dans ensz pour parler de parité ...

D'ailleurs ma démonstration commence par :

Si a, entier relatif est pair alors .....

Il aurait peut-être en effet plus rigoureux de conclure :

Dans ensz, a est pair si et seulement si son carré l'est.

Top 
Envoyé: 05.06.2012, 00:11

Cosmos
Zorro

enregistré depuis: oct.. 2005
Messages: 9374

Status: hors ligne
dernière visite: 10.01.16
Quoique .... On pourrait définir la parité dans ensq , ensr , ou ensc

en disant :

qu'un nombre x de ces ensembles est pair s'il est multiple de 2 donc qu'il existe un entier relatif k tel x = 2k donc x ∈ ensz ....

qu'un nombre x de ces ensembles est impair s'il est la somme d'un multiple de 2 et de 1
donc qu'il existe un entier relatif k tel x = 2k + 1 donc x ∈ ensz ....

Mais dans ensq , ensr , ou ensc il y a des nombres qui sont ni pairs ni impairs !


modifié par : Zorro, 05 Jn 2012 - 00:13
Top 
Envoyé: 05.06.2012, 09:51



enregistré depuis: juin. 2012
Messages: 3

Status: hors ligne
dernière visite: 05.06.12
ça y'est j'ai compris, merci Zorro et Thierry.
Oui Zorro, ta démo est parfaite !
Ce qui prête à confusion c'est que l'on suppose l'existence de deux entiers, p et q, tout en sachant qu'ils n'existent pas.
Du coup ça m'a embrouillé...
On se place dans Z pour définir Q et montrer que c'est pas sur Q mais R.
Mais p et q sont bien deux entiers, premiers entres eux, par définition d'une fraction irréductible.
Jusqu'à ce qu'on montre que non, en fait p et q ne le sont pas (entiers peut être mais pas premiers entre eux)...
Enfin, du coup j'ai compris.
Merci
Pour moi sur un corps tout est multiple de tout sauf zéro, enfin si je me rappelle encore...
Top 


    Parmi les cours de Math foru' et du Math Annuaire :

Boîte de connexion

 Bienvenue invité
Inscris-toi c'est gratuit !



Rejoins-nous afin de poser tes questions dans les forums de Math foru' :

 Crée ton compte
 Connexion :
Pseudo :


Mot de passe :


Retenir


Identifiants perdus ?
Membres
Dernier Nouveaux aujourd'hui0
Dernier Nouveaux hier1
Dernier Total13132
Dernier Dernier
aimé
 
Liens commerciaux