Exercice 33
Valuation p-adique
Soient et des entiers naturels tels que pour tout entier naturel . Montrer qu'alors
Cliquez pour afficher
-----
Exercice 33
Valuation p-adique
Soient et des entiers naturels tels que pour tout entier naturel . Montrer qu'alors
Cliquez pour afficherSoit la valuation p-adique de l'entier naturel .
D'après les propriétés des valuations p-adiques nous obtenons :
Comme , nous avons :
Ainsi,
Exercice 34
Equation diophantienne
Soient , et des entiers naturels premiers. Résoudre :
Cliquez pour afficherClairement, et ne sont pas tous les deux impairs car alors la somme serait paire et on voit que ne donne aucune solution dans les nombres premiers. Ainsi, l'une des deux variables est forcément paire et puisque ce sont des nombres premiers, alors elle est égale à 2. Puisque la somme est symétrique en ses variables, on peut toujours supposer sans perte de généralité .
Nous somme alors ammené à résoudre
Or, et pour ainsi la somme est divisible par 3. Or la somme est un nombre premier, d'où l'unique valeur de satisfaisant les conditions. On remarque très facilement que cette équation n'admet aucune solution dans les nombres premiers.
lorsque . Or la seule valeur de telle que soit premier est , ce qui nous donne et .
Heu je devais dormir profondément, mais la valuation p-adique j'ai jamais entendu parler de ça en Term (ni en 2 ans de prépa d'ailleurs)...
Ce n'est effectivement pas au programme de T°S et de prépa (à part peut être la formule de Legendre qu'on voit en MP il me semble qui se démontre avec les valuations) mais c'est du niveau de Terminale quand même : c'est dans le prolongement de la décomposition en facteurs premiers d'un entier. Pour ça, va voir mon PDF il y'a un "cours" sur les valuations
Bon, les deux exos que j'ai mis sur les valuations p-adiques, c'est plutôt pour ceux qui veulent faire du hors programme hein, puisque l'on est sur un topic de T°S spé Math (même si cet exo peut être résolu avec des connaissances de T°S, mais j'avais la fleimme de la rédiger )
Exercice 35
Principe des tiroirs (voir PDF)
Soit un entier naturel. On choisit, parmi l'ensemble , nombres de manière arbitraire. Montrer que quelque soit le choix de ces nombres, on peut toujours en trouver deux tel que que l'un divise l'autre.
Cliquez pour afficherChaque élément de peut être écrit de manière unique sous la forme avec un entier naturel et un entier naturel impair. Puisqu'il n'existe que entiers impairs entre 1 et , on construit les ensemble disjoints suivants :
de sorte que et impair pour tout . Nous obtenons alors ensembles disjoints et nombres à répartir. D'après le principe des tiroirs, il existe deux nombres appartenant au même ensemble. La conclusion s'ensuit alors.
J'ai oublié de le préciser, mais le problème ci-dessus est dû à Paul Erdos, pour les connaisseurs .
Exercice 36
Principe des tiroirs (voir PDF)
Soit un entier naturel. On choisit, parmi l'ensemble , nombres de manière arbitraire. Montrer que quelque soit le choix de ces nombres, on peut toujours en trouver deux qui soient premiers entre eux.
Cliquez pour afficherL'ensemble peut être partionné en ensembles disjoints à deux éléments. Dans notre cas, il faut donc choisir nos ensembles de sorte que les deux éléments soient premiers entre eux. L'idée la plus simple est de les choisir consécutifs. Nous disposons alors de ensembles à deux éléments et de nombres à répartir. Le principe des tiroirs permet de conclure.
Salut !
Beau travail Zweig pour tout ces exercices
Néanmoins, je ne pense pas que l'utilisation des valuations p-adique soit nécessaire dans celui ci :Cliquez pour afficherEn prenant on a donc non ?
Voilà, j'avais juste cette remarque à faire, sinon c'est très bien
bien vu! bubulle_01
.
Certes, sauf que la proposition doit être vérifiée pour tout entier naturel n. Enfin, là tu ne montres que pour n = 1.
Sinon le PDF est bientôt fini !
Je crois que bubulle_01 a raison:
"pour tout n", c'est l'hypothèse, donc libre à nous d'utiliser les n qu'on veut, ici n = 2
edit: à moins que l'énoncé ne soit:
"...
montrer que, pour tout naturel n, a^n | b^n "
auquel cas...
Cliquez pour afficherune récurrence devrait pouvoir se mettre en place
Exercice 37
Triplet de Pythagore
Montrer que si le rayon du cercle inscrit d'un triangle à côtés entiers est 1, alors ce triangle est rectangle.
Cliquez pour afficherLemme : On note l'aire du triangle ABC, son demi-périmètre et le rayon de son cercle inscrit. Nous avons la relation suivante :
Démo : On note P, Q et R les projetés orthogonaux respectivement de I sur [BC], [AB] et [AC]. Nous alors avec I le centre du cerle inscrit au triangle ABC. Clairement,
D'après la formule de Héron : . Nous sommes alors ammené à résoudre l'équation : , avec .
En posant , , , l'équation se réécrit : . Puisque l'équation est symétrique en ses variables, on peut toujours supposer . Alors . On vérifit que parmi les différents couples possibles, seul convient. On en tire alors . Il nous reste alors le système suivant à résoudre :
qui fournit le triplet . La réciproque du théorème de Pythagore permet d'affirmer que ce triangle est rectangle.
Fidèle à ses coutumes , Zweig nous poste encore une brillante démonstration .
PS: l'orthographe n'est cependant pas toujours au rendez vous !!
.
Une petite question d'arithmétique issue d'un oral de l'Ecole Normale Supérieure de la rue d'Ulm à Paris dans le cinquième arrondissement (quartier très sympa) à proximité du Panthéon et de l'épicier Normal'Sup :
Déterminer tous les couples d'entiers tels que
.
Par contre pour l'exo je n'en sais rien ^^
+++
"Pursue the small utopias... nature, music, friendship, love" Kupferberg
Cliquez pour afficherPour , on a les solutions (1;1) et (2;3).
On peut alors supposer
On a de plus :
soit
Or, à partir de ,
On a donc :
qui fournit pair, soit soit
En remplacant dans l'égalité, on a :
soit Le premier membre est pair ( et ), le second est impair. Contradiction. Les deux solutions sont donc celles énoncées auparavant.
Pas mal ^^
.
Comment tu passes de 3^(2k) - 2^m=1 à 6^k - 2^m=1, à la fin ?
il voulait dire 9 je pense ^^ oyoyoy mais ce n'est plus du tout pareil ! je me suis fait embourber pour rien ! j'étais d'ailleurs énervé car la solution était différente et plus longue
.
Je me doute bien...mais dans ce cas, ça ne marche plus...
en effet cf le précédent message
.
Oups !
Ba parce que
Nan, je me suis planté, je recommence
bubulle_01 , on m'avait posé la question à laquelle j'avais répondu . Mais c'était plus long et plus complexe
.
Bon alors, j'ai une autre version, qui reprend à un point de la précédente :
Cliquez pour afficherJ'ai déja montré que est pair lorsque
On a donc :
soit soit
Les deux facteurs sont donc des puissances de deux et on a :
et soit
Or, soit et soit Ce qui fournit et
Ainsi, soit soit .
Or, soit . Ce qui fournit ensuite
Les deux seules solutions sont donc et
Dernière modification par bubulle_01 ; 11/08/2008 à 13h40.
je suis d'accord^^
Dernière modification par Thorin ; 11/08/2008 à 13h42.
Merci Thorin, j'ai eu le temps d'éditer ^^ On arrête pas le progrés ...
Exercice 38
L'irrationalité de
En raisonnant par l'absurde, montrer que est irrationnel.
Cliquez pour afficherSupposons que soit rationnel
Alors , avec a^b=1.
Alors, en élevant au carré :
et :
a² est donc pair, donc a est pair (ça c'est bon, je ne le démontre pas )
d'où :
Ainsi en remplaçant :
Donc b² est pair, donc b est pair, alors :
Donc en réinjectant : , et la on a bien une contradiction avec l'hypothèse de départ : a^b=1
On en conclut que racine de 2 est bien irrationel.
"Pursue the small utopias... nature, music, friendship, love" Kupferberg
Un ch'ti classique qui ne mérite pas que l'on lui inflige un spoiler
.