06-12-2012, 11:37 PM
ça aurai été bien pratique qu'il prenne comme domaine entre 2 et 100. on aurai pu effectivement limiter à partir de 51, 53 étant exclu par une autre méthode, on serai revenu au même. mais ce n'est malheureusement pas le cas.
si tu ne me crois pas, je donne le début de la démo... (il reste encore au moins deux pages à faire, mais la suite est la même que lui)
Enigme mathématiques et logique
I. Enoncé :
Deux logiciens Seb et Pat connaissent respectivement la Somme et le Produit de deux entiers compris entre 2 et 200.
Pat: "Je ne peux pas déterminer ces nombres."
Seb: "Je le savais."
Pat: "Alors je les ai trouvés !"
Seb: "Et bien moi aussi !"
II. Résolution :
Vocabulaire et notation : On remarque que l’on demande un ensemble deux nombres (et non un couple), donc l’ordre des deux nombres n’a pas d’importance. J’appellerai ces ensembles des binômes. Quand je parlerai du produit du binôme, c’est que je considèrerai le produit des nombres qui constituent ce binôme. Idem pour la somme du binôme…On notera S le nombre connu par Seb et P le nombre connu par Pat.
Dans l’exposé, on dressera la liste (mentale au début^^) des candidats potentiels pour S et P
Citation : Deux logiciens S et P connaissent respectivement la Somme et le Produit de deux entiers compris entre 2 et 200.
Les nombres sont compris entre 2 et 200 donc le produit P est compris entre 4 et 40 000 et la somme S entre 4 et 400.
Citation : Pat: "Je ne peux pas déterminer ces nombres."
(1) Le produit P n’est pas un nombre premier :
Car sinon il s’écrirait de manière unique sous la forme p=1xp or 1 n’est pas un nombre acceptable dans la solution.
(2) Le produit P n’est pas un produit de deux nombres premiers :
Car sinon il s’écrirait de manière unique sous la forme p=nxm, dans ce cas Pat aurait pu répondre « oui je peux savoir quels sont ces nombres. »
(3) Le produit P n’est pas un cube de nombre premier : (ne va pas servir dans la démo)
Car sinon il s’écrirait de manière unique sous la forme p=nxn², dans ce cas Pat aurait pu répondre « oui je peux savoir quels sont ces nombres. »
On peut donc supprimer de l’ensemble des candidats au résultat du produit tout les nombres qui vérifient ces critères.
Remarque : on vérifiera à chaque utilisation d’un binôme que ces critères sont biens exclus, ce qui évite de rédiger des listes monstrueuses dès le début…
Citation : S: "Je le savais."
Comme S à répondu "Je le savais.", c’est qu’il est sûr que pour tout binôme dont la somme vaut le nombre connu par S, le produit de ce binôme peut s’écrire selon un autre binôme respectant le domaine de définition des binômes.
Exemple pour fixer les idées (ne sert à rien dans la démo mais permet de comprendre…) :
S = 12
12 = 2+10 (2x10=20 or 20=5x4)
12 = 3 + 9 (3x9=27 décomposition unique(3)…donc Pat aurai pu répondre « j’ai trouvé »)
On peut éliminer 12 comme résultat possible pour la somme S.
On peut donc éliminer comme candidat potentiel pour la somme S tout nombre dont au moins un binôme a pour somme S et peut dont le produit vérifie une des conditions (1) ; (2) ou (3).
En particulier : grâce à (2), on peut éliminer tous les nombres pairs comme résultats possibles pour la somme S. En effet : La conjecture de Goldbach étant vérifiée pour les 400 premiers nombres pairs on peut donc les supprimer.
Conjecture de Goldbach : Tout nombre pair supérieur à 2 peut s’écrire comme la somme de deux nombres premiers.
Il ne reste que les nombres impairs. On peut aussi éliminer tout nombre de la forme S= p+2 ou p est un nombre premier grâce à (2) (P = 2p est une décomposition unique)
On peut éliminer toutes les sommes supérieures à 102 car dans ce cas S = 101 + n (n compris entre 2 et 99) comme S est impair, n est donc pair donc il existe a entier tel que n=2a. si a=1 alors {101 ;2} est un binôme qui s’élimine avec (2). Si a>1 alors P=101x2xa ne peut pas se décomposer un autre binôme du domaine de définition seulement {202 ;a} ou {101 x a ;2}.
On élimine aussi tout les nombres de la forme S = p+2p où p est un nombre premier supérieur à 15. En effet P = p x 2p = p² x 2, mais p² > 200 donc {p² ; 2] n’est pas un binôme du domaine de définition. On élimine ainsi 51, 57, 69, 87 et 93 (69 et 91 avait déjà étés éliminés…
Tous les candidats restants sont de «bons » candidats dans le sens ou l’on ne peut pas les éliminer. En effet, S est impair donc toutes les sommes se décomposent sous la forme S = a + b (où a est impair et où b est pair)
si b = 2a alors deux cas peuvent se présenter :
Si a est premier alors on est dans un des cas précédent qu’on a éliminé.
Si a n’est pas premier alors a = c x d (c et d différents de 1), on remarque que a < 33 car S= 3xa et S<101. Donc b<66. Comme a est impair alors c et d sont inférieurs ou égaux à 11. P = a x 2a = (c x d) x 2(c x d) = (2 x c²) x d² le binôme {2c² ;d²} est bien dans le domaine de définition.
Si b est différent de 2a, alors comme a<99 (idem juste au dessus…) b est pair, donc b = 2xc et c est différent de a. P = a x b = a x (2c) = (2a) x c {2a ;c} est un binôme de l’ensemble de définition.
Bon, au final, la liste de nos candidats pour la somme S :
{11 ;17 ;23 ;27 ;29 ;35 ;37 ;41 ;47 ;53 ;59 ;65 ;67 ;71 ;77 ;79 ;83 ;89°;95 ;97 ;101} erf c’est beaucoup…
La suite de la démo est la même. je suis en train de vérifier que la solution est unique (c'est pratiquement sûr...). Mais je pense que pour la donner aux copains, je vais modifier l'énoncé entre 2 et 100 comme tu me le conseilles
si tu ne me crois pas, je donne le début de la démo... (il reste encore au moins deux pages à faire, mais la suite est la même que lui)
Enigme mathématiques et logique
I. Enoncé :
Deux logiciens Seb et Pat connaissent respectivement la Somme et le Produit de deux entiers compris entre 2 et 200.
Pat: "Je ne peux pas déterminer ces nombres."
Seb: "Je le savais."
Pat: "Alors je les ai trouvés !"
Seb: "Et bien moi aussi !"
II. Résolution :
Vocabulaire et notation : On remarque que l’on demande un ensemble deux nombres (et non un couple), donc l’ordre des deux nombres n’a pas d’importance. J’appellerai ces ensembles des binômes. Quand je parlerai du produit du binôme, c’est que je considèrerai le produit des nombres qui constituent ce binôme. Idem pour la somme du binôme…On notera S le nombre connu par Seb et P le nombre connu par Pat.
Dans l’exposé, on dressera la liste (mentale au début^^) des candidats potentiels pour S et P
Citation : Deux logiciens S et P connaissent respectivement la Somme et le Produit de deux entiers compris entre 2 et 200.
Les nombres sont compris entre 2 et 200 donc le produit P est compris entre 4 et 40 000 et la somme S entre 4 et 400.
Citation : Pat: "Je ne peux pas déterminer ces nombres."
(1) Le produit P n’est pas un nombre premier :
Car sinon il s’écrirait de manière unique sous la forme p=1xp or 1 n’est pas un nombre acceptable dans la solution.
(2) Le produit P n’est pas un produit de deux nombres premiers :
Car sinon il s’écrirait de manière unique sous la forme p=nxm, dans ce cas Pat aurait pu répondre « oui je peux savoir quels sont ces nombres. »
(3) Le produit P n’est pas un cube de nombre premier : (ne va pas servir dans la démo)
Car sinon il s’écrirait de manière unique sous la forme p=nxn², dans ce cas Pat aurait pu répondre « oui je peux savoir quels sont ces nombres. »
On peut donc supprimer de l’ensemble des candidats au résultat du produit tout les nombres qui vérifient ces critères.
Remarque : on vérifiera à chaque utilisation d’un binôme que ces critères sont biens exclus, ce qui évite de rédiger des listes monstrueuses dès le début…
Citation : S: "Je le savais."
Comme S à répondu "Je le savais.", c’est qu’il est sûr que pour tout binôme dont la somme vaut le nombre connu par S, le produit de ce binôme peut s’écrire selon un autre binôme respectant le domaine de définition des binômes.
Exemple pour fixer les idées (ne sert à rien dans la démo mais permet de comprendre…) :
S = 12
12 = 2+10 (2x10=20 or 20=5x4)
12 = 3 + 9 (3x9=27 décomposition unique(3)…donc Pat aurai pu répondre « j’ai trouvé »)
On peut éliminer 12 comme résultat possible pour la somme S.
On peut donc éliminer comme candidat potentiel pour la somme S tout nombre dont au moins un binôme a pour somme S et peut dont le produit vérifie une des conditions (1) ; (2) ou (3).
En particulier : grâce à (2), on peut éliminer tous les nombres pairs comme résultats possibles pour la somme S. En effet : La conjecture de Goldbach étant vérifiée pour les 400 premiers nombres pairs on peut donc les supprimer.
Conjecture de Goldbach : Tout nombre pair supérieur à 2 peut s’écrire comme la somme de deux nombres premiers.
Il ne reste que les nombres impairs. On peut aussi éliminer tout nombre de la forme S= p+2 ou p est un nombre premier grâce à (2) (P = 2p est une décomposition unique)
On peut éliminer toutes les sommes supérieures à 102 car dans ce cas S = 101 + n (n compris entre 2 et 99) comme S est impair, n est donc pair donc il existe a entier tel que n=2a. si a=1 alors {101 ;2} est un binôme qui s’élimine avec (2). Si a>1 alors P=101x2xa ne peut pas se décomposer un autre binôme du domaine de définition seulement {202 ;a} ou {101 x a ;2}.
On élimine aussi tout les nombres de la forme S = p+2p où p est un nombre premier supérieur à 15. En effet P = p x 2p = p² x 2, mais p² > 200 donc {p² ; 2] n’est pas un binôme du domaine de définition. On élimine ainsi 51, 57, 69, 87 et 93 (69 et 91 avait déjà étés éliminés…
Tous les candidats restants sont de «bons » candidats dans le sens ou l’on ne peut pas les éliminer. En effet, S est impair donc toutes les sommes se décomposent sous la forme S = a + b (où a est impair et où b est pair)
si b = 2a alors deux cas peuvent se présenter :
Si a est premier alors on est dans un des cas précédent qu’on a éliminé.
Si a n’est pas premier alors a = c x d (c et d différents de 1), on remarque que a < 33 car S= 3xa et S<101. Donc b<66. Comme a est impair alors c et d sont inférieurs ou égaux à 11. P = a x 2a = (c x d) x 2(c x d) = (2 x c²) x d² le binôme {2c² ;d²} est bien dans le domaine de définition.
Si b est différent de 2a, alors comme a<99 (idem juste au dessus…) b est pair, donc b = 2xc et c est différent de a. P = a x b = a x (2c) = (2a) x c {2a ;c} est un binôme de l’ensemble de définition.
Bon, au final, la liste de nos candidats pour la somme S :
{11 ;17 ;23 ;27 ;29 ;35 ;37 ;41 ;47 ;53 ;59 ;65 ;67 ;71 ;77 ;79 ;83 ;89°;95 ;97 ;101} erf c’est beaucoup…
La suite de la démo est la même. je suis en train de vérifier que la solution est unique (c'est pratiquement sûr...). Mais je pense que pour la donner aux copains, je vais modifier l'énoncé entre 2 et 100 comme tu me le conseilles
Question science : une poule constipée fait-elle des oeufs durs?