Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » Arithmétique
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- bridgslam
- 02-08-2023 15:44:29
Bonsoir,
En notant u et v les quantités "conjuguées" en jeu, dont la somme vaut 6, donc divisible par 2, on peut faire aussi une récurrence d'ordre 2, vu que l'on a:
$u^{n+1} + v^{n+1} = (u +v)(u^{n} + v^{n} )- 4( u^{n-1} + v^{n-1})$
$ = 2.3.2^n k + 2^2 . 2^{n-1} k'$
Cela donne tous les arguments: entiers, divisibilité... après avoir vérifié les premiers rangs.
A.
- Roddykid
- 02-08-2023 12:22:29
Bonjour...
Merci Bernard- maths et aux autres pour votre contribution
- Glozi
- 01-08-2023 20:57:18
Bonsoir,
Ok je vois, je me demandais si on pouvait aboutir à la conclusion à partir de la formule du binôme de Newton, mais je ne vois toujours pas comment poursuivre davantage. Comme tu l'as dit, cette formule montre quand même que ce nombre bizarre avec $\sqrt{5}$ est bien un entier et qu'il est pair !
Bonne soirée
- Bernard-maths
- 01-08-2023 17:21:46
Re,
je montre juste que la somme est un nombre pair ! En mettant 2 en facteur.
Mais j'ai différencié 2 cas selon la parité de n ...
- Glozi
- 01-08-2023 17:20:14
J'ai essayé d'écrire avec la formule du binome
$$(a+\sqrt{b})^n + (a-\sqrt{b})^n = \sum_{k=0}^n {n\choose k}a^{n-k}\sqrt{b}^k + \sum_{k=0}^n {n\choose k}a^{n-k}(-1)^k\sqrt{b}^k = 2\sum_{k=0}^{\lfloor n/2\rfloor}{n\choose 2k}a^{n-2k}b^k.$$
Mais là je ne vois pas comment tu obtiens mieux que la divisibilité par $2$ ?
- Glozi
- 01-08-2023 17:09:43
Dans ton dernier message, si j'ai bien compris, tu montres que $2$ divise $(a+\sqrt{b})^n+(a-\sqrt{b})^n$, mais on veut la divisibilité par $2^n$.
- Bernard-maths
- 01-08-2023 16:44:13
Bonjour ! (A lire avec précaution, je galère à écrire les formules !!! Mais ça devrait aller ...)
En recopiant, les termes (n : k) désignent les coefficients binomiaux Cnk = aussi (nk) = n!/k!/(n-k)!
En fait : (a+√b)n + (a-√b)n = 2k, a, b et k entiers naturels.
Cas n impair :
(a + √b)n = an + (n¦1)a(n-1)√b + (n¦2)a(n-2)b2 + (n¦3)a(n-3)√b3 +(n¦4)a(n-4)√b4 + (n¦5)a(n-5)√b5 + … + (n¦n-1)ab(n-1) + (n¦n)√bn
(a - √b)n = an - (n¦1)a(n-1)√b + (n¦2)a(n-2)√b2 - (n¦3)a(n-3)√b3 +(n¦4)a(n-4)√b4 - (n¦5)a(n-5)√b5 + … + (n¦n-1)ab(n-1) - (n¦n)√bn si n impair
Somme = 2 [an + (n¦2)a(n-2)√b2 +(n¦4)a(n-4)b4 + … +(n¦(n-1))a√b(n-1))] quand n est impair.
Cas n pair :
(a + √b)n = an + (n¦1)a(n-1)√b + (n¦2)a(n-2)b2 + (n¦3)a(n-3)√b3 +(n¦4)a(n-4)√b4 + (n¦5)a(n-5)√b5 + … + (n¦n-1)ab(n-1) + (n¦n)√bn
(a - √b)n = an - (n¦1)a(n-1)√b + (n¦2)a(n-2)√b2 - (n¦3)a(n-3)√b3 +(n¦4)a(n-4)√b4 - (n¦5)a(n-5)√b5 + … - (n¦n-1)a√b(n-1) + (n¦n)bn si n impair
Somme = 2 [an + (n¦2)a(n-2)√b2 +(n¦4)a(n-4)√b4 + … +(n¦n)√bn)] quand n est pair.
On constate que dans la somme, √b n'apparait plus qu'avec des exposants pairs, ce qui en fait un entier.
Bernard-maths
- Glozi
- 01-08-2023 16:27:49
Bonjour,
Je pense que la méthode de Bernard-maths peut fonctionner !
Sinon une autre piste est d'observer que si $u_n = (3+\sqrt{5})^n + (3-\sqrt{5})^n$ alors $u_n$ vérifie la récurrence $u_{n+2}= 6u_{n+1}-4u_n$. (Remarque : comment trouver cette relation de récurrence sans tâtonner ?)
Cela montre (en calculant au préalable $u_0$ et $u_1$) que la suite $(u_n)$ est bien une suite d'entiers (ce qui n'est pas évident à priori).
Si on pose $v_n = u_n/2^n$ alors on vérifie que $(v_n)$ vérifie une relation de récurrence similaire...(toujours avec des coefficients entiers), si $v_0$ et $v_1$ sont entiers cela permettra de conclure que tous les $v_n$ sont entiers.
Bonne journée
- Bernard-maths
- 01-08-2023 08:01:00
Bonjour !
Horreur de calcul Eust_4che !
Pour Roddykid, as tu essayé la formule du binôme ? En écrivant bien l'un au dessus/dessous les différents termes de même puissance ?
En envisageant éventuellement les 2 cas où n est pair ou n impair ...
J'ai pas essayé mais je vois bien ça dans ma tête ... avec alternance des signes sur les puissances impaires de $\sqrt{5}$ ...
Bernard-maths
- Eust_4che
- 01-08-2023 07:43:40
Bonjour,
Es-tu sûr de ne pas avoir mal recopier l'exercice ? Pour $n = 2$, cela ne marche pas :
$$(3 - \sqrt{5})^2 + (3 + \sqrt{5})^2 = 3^2 - (\sqrt{5})^2 + 3^2 + 2.3\sqrt{5} + (\sqrt{5})^2 = 2 ( 3^2 + 3\sqrt{5})$$
- Roddykid
- 01-08-2023 01:52:34
Bonjour.
S'il-vous-plaît je veux savoir comment résoudre la question suivante (j'ai essayé la démonstration par récurrence mais ça bloque au rang n+1).
Voici la question :
Montrer que pour tout entier naturel n, le nombre entier
[tex](3-√5)^n+(3+√5)^n[/tex] est divisible par [tex]2^n[/tex]







