Enigme Nombres autoréférents diviseurs @ Prise2Tete

EfCeBa · #1

Après avoir cherché les nombres autoréférents, je vous propose une petite variante :
Quels sont le ou les nombres répondant aux propriétés suivantes :
- Le premier chiffre est divisible par 1.
- Le nombre formé des deux premiers chiffres est divisible par 2.
- Le nombre formé des trois premiers chiffres est divisible par 3.
- etc.

Exemple :
Pour un chiffre : 1,2,3,4,5,6,7,8,9,0 (bon c'était facile)
Pour deux chiffres : 10, 12, 14, 16, 18, 20, 22 etc..

Comme vous pouvez le voir le nombre de résultats est très important : voir ici, néanmoins je rajoute une difficulté intéressante, il ne faut pas que le nombre contienne deux chiffres identiques.

Quels sont vos nombres auto-diviseurs ?
Il n'y a qu'un résultat pour un nombre à 10 chiffres quel est-il ?

NB : j'ai mis cette énigme dans la catégorie logique car il est possible de trouver des nombres par pure déduction et non par computation, mais évidemment toutes les solutions sont acceptées si vous proposez un algorithme intelligent.

sensini · #2

EfCeBa a écrit:
- Le premier chiffre est divisible par 1.

Tous les chiffres strictement inférieurs à 10

EfCeBa a écrit:
- Le nombre formé des deux premiers chiffres est divisible par 2.

Lorsque l'on ajoute un chiffres aux nombres précédents, il faut que ceux-ci soient pairs => tous les nombres pairs <100

EfCeBa a écrit:
- Le nombre formé des trois premiers chiffres est divisible par 3.

Lorsque l'on ajoute un nombre aux précédents (entre 10 et 98 (inclus)), il faut que ceux-ci soient divisibles par 3.

EfCeBa a écrit:
il ne faut pas que le nombre contienne deux chiffres identiques.

Il y a surement mieux programmé mais voilà ma solution :
Spoiler : [Afficher le message]

Code:

def testexist(i,j):#si j existe dans i retourne vrai, sinon faux
  for a in str(i):
    if a==str(j): return True
  return False

def iter1(liste,divis): #la boucle principale
  l2=[]
  for i in liste:        #pour chaque ancien nombre autoreferant correct
    for j in  range(10):
      if not testexist(i,j): # si le nouveau nombre n'appartient pas deja (pas en double)
        nb2=10*i+j       # on verifie qu'il est bien divisible
        if(nb2%divis==0):#puis on l'ajoute
            l2.append(nb2)
  return l2[:]
        
def faireun():#pas vraiment utile, mais si la condition de départ était différente...
  l=[]
  for i in [1+a for a in range(9)]:
    l.append(i)
  return l[:]

a=faireun()#on recupere les nombres autoreferants à 1 chiffre
print a
for i in [2+j for j in range(10-1)]:#on itere pour aller jusqu'à 10 chiffres
  a=iter1(a,i)
  for i in a: print i

Un seul à 10 chiffres donc : 3816547290
4 à 9 chiffres : 381654720, 381654729, 783204165, 801654723
Plein à moins :

Code:

dhrm77 · #3

Déductions et résultat:
Spoiler : [Afficher le message]

Edit: clarification et correction de quelques erreurs.

scarta · #4

Je dirais
Spoiler : [Afficher le message]

Bonswouar · #5

Je ne suis pas sûr d'avoir bien compris, mais je tente quand même...

Spoiler : [Afficher le message]

EfCeBa · #6

Pour expliquer la solution, je vais noter chaque chiffre par une lettre, la solution de 10 chiffre sera donc : abcdefghij

On sait que ab, abcd, abcdef, abcdefgh et abcdefghif sont tous pairs (car divisibles par un multiple de 2). Donc b, d, f, h et j sont parmis 0 2 4 6 et 8 et a, c, e, g, et i sont impaires parmi 1 3 5 7 et 9.

De plus, je peux déduire 7 affirmations :

(1) ¤ (a+b+c) % 3 = 0. (La somme des chiffres d'un multiple de 3 est divisible par 3).
(2) ¤ cd % 4 = 0. En plus comme c est impaire, d ne peut être que 2 ou 6. (Le nombre formé des deux derniers chiffres d'un multiple de 4 est divisible par 4)
(3) ¤ e % 5 = 0. Comme e est impair, e = 5. (Un nombre divisible par 5 se termine par 0 ou 5)
(4) ¤ (a+b+c+d+e+f)/3 est un entier (La somme des chiffres d'un multiple de 6 est divisible par 3)
(5) ¤ fgh % 8 = 0 et comme g est impair, h ne peut être que 2 ou 6. (Le nombre formé des trois derniers chiffres d'un multiple de 8 est divisible par 8)
(6) ¤ (a+b+c+d+e+f+g+h+i) % 9 = 0. (La somme des chiffres d'un multiple de 9 est divisible par 9)
(7) ¤ j = 0 (Un multiple de 10 se termine par 0)

Ensuite :

(8) ¤ D'après (2) et (3), de = 25 ou 65
(9) ¤ D'après (1) et (8), (d+e+f) % 3 = 0 et f % 2 = 0, donc de = 25 implique f = 8 et de = 65 implique f = 4. Donc def = 258 soit 654.
(10) ¤ D'après (9) et (5), def = 258 implique gh = 16 ou 96 et def = 654 implique gh = 32 or 72.

On a alors 4 possibilités defgh = 25816, 25896, 65432, ou 65472.

Dans tous les cas 2 et 6 sont utilisés donc b = 4 ou 8.

(11) D'après (1) abc = 147, 183, 189, 381, 741, 789, 981, ou 987.

Ce qui donne 10 possibilités pour abcdefgh : 14725896, 18365472, 18965432, 18965472, 38165472, 74125696, 78965432, 98165432, 98165472, ou 98765432.

Il n'existe qu'une solution satisfaisant la condition abcdefg % 7 = 0, abcdefg = 3816547 est divisible par 7.

Finalement l'unique solution est 3816547290.

Bonnes réponses de sensini, dhrm77 et scarta.

NB : Informatiquement à partir de la liste de tous les nombre autodiviseurs à 9 chiffres, le seul satisfaisant les conditions sur les 9 premiers chiffres sans utiliser le 0 est 381654729.

scarta · #7

Par ordinateur on trouve 711 nombres autoreferents.
Petite astuce d'algo pour avoir ce résultat en une fraction de seconde, partir d'un set de valeurs trouvées pour une taille n, et tester pour la taille n+1 les valeurs i*10+j, avec i dans le set précédent et j compris entre 0 et 9. Ca fait au total 10*t valeurs à tester par opération, avec t=taille du set précedent.

groskeum · #8

3816547290 ne marche pas puisque 290 n'est pas divisible par 3.

J'ai trouvé plusieurs solutions par déduction. ex:
9768245120
9678245120
9564873120
9654873120
etc

la liste est plutot longue.

sensini · #9

groskeum a écrit:
3816547290 ne marche pas puisque 290 n'est pas divisible par 3.

J'ai trouvé plusieurs solutions par déduction. ex:
9768245120
9678245120
9564873120
9654873120
etc

la liste est plutot longue.

ça marche dans l'autre sens !
3816547290 :
3 divisible par1
38 par 2
381 par 3
etc

groskeum · #10

autant pour moi

bluelagoon · #11

Pour les caractères de divisibilité d'un nombre aussi grand qu'il soit, cela a déjà été démontré par le mathématitien Blaise Pascal.
Je ne me souviens pas de la démonstration mais l'algorythme ou règle qui en est tirés marche comme ça.
J'avais trouvé ça dans l'oeuvre complète de Pascal.

pour 7 par exemple, on construit comme ça
en partant de droite à gauche, on remarquera le caractère cyclique de certains nombres

1 5 4 6 2 3 1

pour passer de 1 à 3 on pose (1*10)-(7*1)=3 (7*1) plus petit multiple <10
pour passer de 3 à 2 on pose (3*10)-(7*4)=2 (7*4) plus petit multiple <30
pour passer de 2 à 6 on pose (2*10)-(7*2)=6
et ainsi de suite

pour tester si un nombre est divisible par 7 ou multiple de 7, il faut que la somme par exemple pour un nombre de 3 chiffres soit divisible par 7 en multilpliant terme à terme du même rang, c'est à dire

2 3 1
n= 3 4 3 (1*3)+(3*4)+(2*3)=21 multiple de 7 donc
343 est multiple de 7

Le début du tableau pour les premiers multiples est intéressant, on comprend mieux alors pourquoi pour certain multiple il suffit du dernier chiffre ou des deux derniers pour 4
Propriétés de divisiblilité :

0 1 n=2 unité div par 2
1 1 n=3 addition des chiffres div par3
0 2 1 n=4 deux derniers chiffres div par 4
0 1 n=5 unité div par 5
4 4 4 1 n=6
1 5 4 6 2 3 1 n=7
0 4 2 1 n=8 trois derniers chiffres div par 8
1 1 1 1 n=9 sommes des chiffres div par 9

J'espère que mon explication est assez clair n'étant pas mathématicien mais juste amateur. Cela devrait vous permettre d'améliorer votre algorythme.

Forum dédié aux énigmes et à toutes formes de jeux de logique.	Déconnexion
Tu n'es pas identifié sur Prise2tete : s'identifier. Accueil Forum	[+]

#1 - 10-12-2007 09:11:15

nombres autoréférznts diviseurs

#0 Pub

#2 - 10-12-2007 10:19:52

nombres autoréférents diviseurd

EfCeBa a écrit:

EfCeBa a écrit:

EfCeBa a écrit:

EfCeBa a écrit:

Code:

Code:

#3 - 10-12-2007 13:17:39

Nombres autoréférents diviseur

#4 - 10-12-2007 21:07:21

nombres autoréférents diviseirs

#5 - 10-12-2007 22:46:03

Nombres auttoréférents diviseurs

#6 - 13-12-2007 10:23:27

nolbres autoréférents diviseurs

#7 - 13-12-2007 11:36:30

Nmbres autoréférents diviseurs

#8 - 17-12-2007 14:01:49

nombres autpréférents diviseurs

#9 - 17-12-2007 14:44:54

Nombers autoréférents diviseurs

groskeum a écrit:

#10 - 17-12-2007 14:57:15

nombres autoréférents diviseuts

#11 - 02-09-2008 00:27:55

Nombrs autoréférents diviseurs

Réponse rapide

Sujets similaires

Mots clés des moteurs de recherche

Pied de page des forums