Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
197 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

"il est facile de" la preuve :

Envoyé par pourexemple 
Re: "il est facile de" la preuve :
il y a trois années
avatar
Comme précédemment, si $p\equiv 3 \ [4]$, il divise $n\pm i(n+1)$ dans $\Z[ i ]$. Alors $\dfrac{n+i(n+1)}{p}\in\Z[ i ]$, d'où $p\mid n$ et $p\mid n+1$ dans $\Z$, et ainsi $p\mid 1$ par différence, contradiction.

Greg

Ora, lege, lege, relege, labora et invenies (Prie, lis, lis , relis, travaille et tu trouveras)



Edité 3 fois. La dernière correction date de il y a trois années et a été effectuée par GreginGre.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Pourquoi p=3 mod 4 est irréductible dans Z(i) ?

En effet cela revient à dire que pour tout entier premier somme de carré alors p=1 mod 4, ce qui est une propriété qui ne va absolument pas de soit.



Edité 3 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
Cela ne va pas de soit, mais cela va à peu près de soi quand on réalise que $-1$ est un carré dans $\Z/p\Z$ ($p$ premier impair) si et seulement si $4$ divise $p-1$.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bravo : j'ai la même solution.

Mais pourquoi $p=a^2+b^2$ premier alors $p=1 \mod 4$ ? ok, c'est facile



Edité 3 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bravo à vous deux.
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 28 :
Le nombre de polynôme $P\in \N[X]$ de degré $k>2000$ tel que pour tout $n\in \N$ si $k^4\leq P(n)$ alors $k^3\leq n$ est-il fini ?



Edité 1 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 29 : (usage de la calculatrice conseillé)
$u_{n+1}=2u_n^2-2u_n +1 \mod (2^{607}-1)$, $u_0=3$, calculer $u_{2^{607}}$.



Edité 2 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Réponse 9 et 10 : C'est une application du théorème de point fixe pour les fonctions contractantes, sur $F([0,1])$ munit de la norme sup.
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 30 : (avertissement plus dur que le précédent)
$u_{n+1}=u_n^2-2$ trouver l'expression générale de $u_n$ en fonction de $u_0$ ?
Re: "il est facile de" la preuve :
il y a trois années
Bonjour,

Pour le 30: Poser $u_n=\cos(v_n)$ formellement sans se poser de question d'existence et faire de la multiplication télescopique ?

Cordialement,

Rescassol
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bonjour,

Et si je prend $|u_0|>1$ ?

Cordialement.



Edité 2 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
Bonjour,

Tu as zappé le mot "formellement" ?
D'autre part, je n'ai pas prétendu que $v_n$ était réel.

Cordialement,

Rescassol
Re: "il est facile de" la preuve :
il y a trois années
avatar
Ok, peux-tu donner le terme générale de $u_n$ avec $u_0=3$ ?



Edité 1 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
C'est l'entier le plus proche de $\varphi^{2^n}$, où $\varphi$ est la célèbre constante.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Ok, peut-être et avec $u_0$ quelconque ?
Re: "il est facile de" la preuve :
il y a trois années
avatar
La récurrence a(n+1) = a(n)^2 - 2 avec a(0) = x > 2 a la solution a(n) = ((x + sqrt(x^2 - 4))/2)^(2^n) + ((x - sqrt(x^2 - 4))/2)^(2^n).
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bien essayé mais non.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Pour donner plus d'intérêt à l'énoncé 26, je vous informe que c'est bien un nouveau critère d'irréductibilité, en tous les cas s'ils existaient je ne le connaissais pas.
Re: "il est facile de" la preuve :
il y a trois années
Bonjour,

J'ai oublié un $2$. En posant $u_n=2\cos(v_n)$, on arrive à $v_{n+1}=2v_n$ donc $v_n=v_0 2^n$.
Après, peut-être faut il bricoler avec les déterminations complexes.

Cordialement,

Rescassol



Edité 1 fois. La dernière correction date de il y a trois années et a été effectuée par Rescassol.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bonjour,

C'est possible, mais la solution que j'ai, n'a pas cette forme.

Donc il faudrait creuser d'avantage la question.
Re: "il est facile de" la preuve :
il y a trois années
avatar
@Rescassol : après réflexion il me semble que ta solution n'est pas bonne.



Edité 1 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bravo

Ta solution (presque le 2 que tu as ajouté est en trop) marche, voilà la mienne plus proche de celle proposé par Cidrolin :

$u_n=a^{2^n}+a^{-2^n}$



Edité 4 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 31 : (avertissement plus difficile que le 30)
$v_{n+1}=\frac{1}{2}(v_n^2+u_n^2)$
$u_{n+1}=u_n(v_n-u_n)$
Déterminer l'expression générale de $u_n$ et $v_n$ en fonction des valeurs initiales.

Intérêt et indice : il y a derrière ce problème une méthode générale.



Edité 2 fois. La dernière correction date de il y a trois années et a été effectuée par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
Le 26 prendre $P$ réductible de degré minimal.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Tu proposes un contre-exemple ?
Re: "il est facile de" la preuve :
il y a trois années
avatar
je sais bien que tous ces problèmes admettent une réponse courte, mais je vous demanderais de développer un minimum vos réponses.

Merci.
Re: "il est facile de" la preuve :
il y a trois années
Énoncé 31.
En posant : $x_{n}=\frac{1}{2}v_{n},y_{n}=\frac{1}{2}u_{n}$, il vient : $x_{n+1}=x_{n}^{2}+y_{n}^{2},y_{n+1}=2y_{n}(x_{n}-y_{n})$.
Et il me vient l'idée de chercher un irrationnel $\theta$ tel que : $x_{n+1}+y_{n+1}\theta =(x_{n}+y_{n}\theta )^{2}$.
Et il me semble que ça marche avec $\theta =-1+\sqrt{2}$.
Etc.
Bonsoir.
F. Ch.
Re: "il est facile de" la preuve :
il y a trois années
Pour l'énoncé 30, l'idée de Rescassol me semble la bonne et pour régler la question pour toute valeur initiale, utiliser les polynômes de Tchebychev de première espèce.
Re: "il est facile de" la preuve :
il y a trois années
26-> Autre méthode: partager $2n+1$ $\pm 1$ en deux polynômes de degré $<n$ avec sommes des degrés $=n$.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Bonjour,

@Chaurien : tu y es presque.
Sur l'idée de Rescassol elle marche (j'avais dit le contraire mais j'ai rectifié mon erreur).

@Joaopa : $\pm 1$ je ne comprends pas ce que tu en faits ?
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 20 le plus dur de tous les énoncés proposés pour l'instant.
JLT
Re: "il est facile de" la preuve :
il y a trois années
avatar
Soit $m=\varphi(5^{19})=4\times 5^{18} = 15258789062500$.

On pose $a_0=3$ et $a_{k+1}=a_k^2\pmod{5^{20}}=a_k^2\pmod{95367431640625}$.

On a donc $a_k=3^{2^k}\pmod{5^{20}}$, et on veut calculer $S=a_0+a_1+\cdots+a_{2^{100}-1}$.

On fait la division Euclidienne de $2^{100}-1$ par $m$. Elle s'écrit $2^{100}-1=qm+r$ où $q=83076749736557242$ et $r=861937580375$.

Notons que $a_k=a_{k+m}$ pour tout $k\geqslant 2$. En effet, $2^{k+m}-2^k=2^k(2^m-1)$ avec $2^k$ divisible par $4$ et $2^m-1$ divisible par $5^{19}$, donc $2^{k+m}\equiv 2^k\pmod{\varphi(5^{20})}$.

On a donc $S=(a_0+\cdots+a_r)+(a_{r+1}+\cdots+a_{r+m})q$. Ceci nécessite d'effectuer $2(r+m)+1=32241453285751$ opérations dans $\Z/5^{20}\Z$ (voire un peu moins si on s'y prend bien). C'est long mais praticable par ordinateur en quelques jours au maximum suivant le programme utilisé et la puissance de l'ordinateur.



Edité 1 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par JLT.
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 32 :
$f$ fonction continue de $\R^2$ dans lui même tel que $\{(2,-2),(3,-1)\}\subset f(\R^2)$.
Montrer qu'alors il existe $a$ tel que $\{(a^2,a)\}\subset f(\R^2)$.



Edité 2 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
@JLT : oui, c'est une solution mais un peu longue.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Précisions par temps raisonnable j'entends (moins de 10 minutes avec un PC récent).
Re: "il est facile de" la preuve :
il y a trois années
avatar
Pour l'énoncé 30, on a des réponses dans [oeis.org]

C'est ce que j'ai proposé ci-dessus grinning smiley.



Edité 1 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par Cidrolin.
Re: "il est facile de" la preuve :
il y a trois années
avatar
La forme générale de la solution est : $a^{2^n}+a^{-2^n}$ ce n'est pas tout à fait ce que tu proposais, par contre avec la solution de Rescassole on retombe sur celle là.

PS : ton lien bug.



Edité 1 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Citation de l'article :
Last modified February 12 03:46 EST 2016. Contains 268204 sequences.



Edité 1 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
C'est quoi $a$ ?
Re: "il est facile de" la preuve :
il y a trois années
avatar
$u_0=a+a^{-1}$
Re: "il est facile de" la preuve :
il y a trois années
avatar
La suite a le numéro A001566.
Re: "il est facile de" la preuve :
il y a trois années
avatar
ma réponse est donc excellente !
Re: "il est facile de" la preuve :
il y a trois années
avatar
Citation
Article modifié aujourd'hui
Last modified February 12 03:46 EST 2016. Contains 268204 sequences.



Edité 3 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Sinon pour le cas particulier $u_0=3$ ta formule marche sûrement, mais pas dans le cas général.



Edité 1 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Le "Last modified February 12 05:01 EST 2016. Contains 268204 sequences" concerne toute la base. Cette phrase se retrouve sur toutes les pages des 268204 suites.
Re: "il est facile de" la preuve :
il y a trois années
avatar
ok

Il traite le cas générale ? (je suis une bille en anglais)
[ Le cas général y est-il traité ? ]



Edité 3 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par jacquot.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Je vous propose un résultat (que je trouve joli) que j'avais mis dans le post à Christophe (comme j'en ai trouvé une solution courte, je vous le propose).

énoncé 33 :
$f$ fonction continue de $\R^n$ dans $f(\R^n)=\R$. Montrer que pour tout $c\in\R$, $E_c=\{x\in\R^n|f(x)=c\}$ n'est jamais un singleton.



Edité 3 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Exercice 33 :
On suppose que $n\geqslant 2$, sinon le résultat est faux.
Soit $c$ un nombre réel. Si $E_c$ était un singleton, alors $\R^n\setminus E_c$ serait connexe mais son image par l'application continue $f$ serait $\R\setminus\{c\}$ qui ne l'est pas. Par conséquent $E_c$ n'est pas un singleton.
Re: "il est facile de" la preuve :
il y a trois années
avatar
Excellent, ta démonstration est encore plus courte que la mienne.

énoncé 34 :

Montrer que pour tout $c\in\R$, $card(E_c)=card(\R)$.
Re: "il est facile de" la preuve :
il y a trois années
avatar
énoncé 35 : (résultat joli également)
Soit $A\subset \R^n$, $n>1$ avec $A$ au plus dénombrable, montrer que $\R^n-A$ est connexe par arc.



Edité 1 fois. La derni&egrave;re correction date de il y a trois ann&eacute;es et a &eacute;t&eacute; effectu&eacute;e par contrexemple.
Désolé,vous ne pouvez pas répondre à cette discussion, elle est fermée.
Liste des forums - Statistiques du forum

Total
Discussions: 134 309, Messages: 1 293 354, Utilisateurs: 23 294.
Notre dernier utilisateur inscrit silvervolcano.


Ce forum
Discussions: 378, Messages: 9 684.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page