Répondre :
Préliminaires :
(2n+1)²=4n²+4n+1=2(2n²+2n)+1=2N+1
⇒ (a impair ⇒ a² impair)
(2n)²=4n²=2(n²)=2²n
⇒ (b pair ⇒ b² pair)
Problème :
Hypothèse : "√2 est rationnel"
⇒ il existe a∈Z , b∈Z* : √2=a/b ⇒ a=√2b ⇒ a²=2b²
b pair ⇒ b² pair ⇒ a pair
b impair ⇒ b² impair ⇒ 2b² pair ⇒ a pair
conclusion : a est pair ⇒ il existe k∈Z : a=2k
a²=2b² ⇒ 2b²=(2k)² ⇒ 2b²=4k² ⇒ b²=2k² ⇒ b pair
contradiction : a pair et b pair ⇒ pgcd(a,b)=2≠1
conclusion du pb : √2 est irrationnel
rque : cette démonstration est due historiquement à Euclide
(2n+1)²=4n²+4n+1=2(2n²+2n)+1=2N+1
⇒ (a impair ⇒ a² impair)
(2n)²=4n²=2(n²)=2²n
⇒ (b pair ⇒ b² pair)
Problème :
Hypothèse : "√2 est rationnel"
⇒ il existe a∈Z , b∈Z* : √2=a/b ⇒ a=√2b ⇒ a²=2b²
b pair ⇒ b² pair ⇒ a pair
b impair ⇒ b² impair ⇒ 2b² pair ⇒ a pair
conclusion : a est pair ⇒ il existe k∈Z : a=2k
a²=2b² ⇒ 2b²=(2k)² ⇒ 2b²=4k² ⇒ b²=2k² ⇒ b pair
contradiction : a pair et b pair ⇒ pgcd(a,b)=2≠1
conclusion du pb : √2 est irrationnel
rque : cette démonstration est due historiquement à Euclide
Merci d'avoir visité notre site Web, qui traite d'environ Mathématiques. Nous espérons que les informations partagées vous ont été utiles. N'hésitez pas à nous contacter pour toute question ou demande d'assistance. À bientôt, et pensez à ajouter ce site à vos favoris !