carpediem @ 19-02-2019 à 20:57Citation :Supposons que l'on ait pour
:
on ne suppose pas qu'ils sont différents ... puisqu'au final ils ne le sont pas !!!
on suppose simplement qu'il y en a deux ... et on démontre que les deux ne font qu'un !! d'ailleurs c'est ce que tu as fait ...
de même on ne suppose pas
mais
... puisqu'au final p = q !!!
et c'est bien compliqué ...
donc par différence
or par définition des coefficients (dans {1, 2})
donc la première somme s vérifie
et la deuxième somme t est positive et vérifie
donc
et si q > p alors s + t > 0 ...
par conséquent (et par symétrie) on en déduit que p = q
donc
et toujours par différence
to be continued ...
Je ne comprends pas mon erreur.
J`essaie de démontrer par l'absurde l'unicité du couple
en supposant qu'il existe un autre couple
satisfaisant la propriété
et en montrant que l'on arrive à des impossibilités.
Je suppose que
et
existent et sont différents.
Si deux couples sont différents, ils le sont par leurs premiers éléments ou par leurs seconds.
S'ils le sont par leurs premiers éléments, alors
, et donc
ou
. Dans chacun des deux cas (
et
) on arrive à une impossibilité sous la forme d'une quantité positive, de par l'hypothèse initiale (
ou
), inférieure à une quantité négative.
On en conclut que l'on a ni
ni
, i.e. que
ce qui invalide l'hypothèse que
Une première conclusion est donc que si les deux couples existent et sont différents, ils sont différents par leur deuxièmes éléments.
On suppose alors que
et
existent, mais cette fois avec
et
(on vient de voir qu'ils ne peuvent pas exister, et être différents, avec
, s'ils satisfont
)
On suppose donc maintenant que l'on a
(les deux suites ont p éléments), avec
et
satisfaisant
et l'on arrive à deux impossibilités: soit que les termes de a et b supposés différents sont égaux (le
), soit qu'un entier relatif pair est égal à -1 ou +1 (le
ou
).
On a montré que l'hypothèse
est impossible, et donc que s'il existe un couple
vérifiant
il ne peut pas exister un couple
différent de
vérifiant aussi
Au final, on a montré que:
- s'il existe
satisfaisant
, il ne peut pas exister un couple
différent de
satisfaisant
si
- s'il existe
satisfaisant
, il ne peut pas exister un couple
différent de
satisfaisant
et donc s'il existe
vérifiant
il n'existe aucun autre couple
satisfaisant
On avait montré l'existence de
auparavant, donc on peut affirmer que pour tout
de
vérifiant
existe et est unique.
Et je crois que montrer que
est équivalent à montrer que:
et montre l'unicité de
vérifiant