[Geek] Calculer le jour de la semaine pour n’importe quel date, de tête - Le Hollandais Volant

Je ressors ça, car je viens de voir que pour 2017 le code pour l’année vaut simplement 0.

Il suffit donc de prendre le jour du mois voulu, d’ajouter le code du mois et de prendre le reste de la division entière par 7, et ça donne le jour de la semaine.

Pour le 14 juillet, ça fait donc (14+5)%7 = 5. C’est donc un vendredi.

Pour retenir le code du mois, j’ai pas (encore) réussi à trouver un moyen mnémotechnique pour les retenir et les apprendre par cœur n’est pas dans mes cordes non plus. Par contre après 2 pages de calcul j’ai trouvé comment le retrouver.

Pour janvier, on commence par 6, ça c’est inévitable.
Ensuite on ajoute simplement le nombre de jours du mois % 7, pour chaque mois depuis le début de l’année.

Donc le code du mois de février se retrouve :
(6 + 3 + 0)%7 = 2.

Pour mai, on ajoute au 6, successivement les modulo de janvier, février, mars et avril :
(6 + (31%7 + 28%7 + 31%7 + 30%7))%7 = (6 + (3 + 0 + 3 + 2))%7 = 14%7 = 0

Il suffit de retenir le 6 initial puis de moduler :p
C’est donc assez simple pour trouver la date quelques secondes.