Deux cas de figure: année ou non bissextile.
Non bissextile.
On part du 13 janvier et on regarde le reste de la division par 7 du nombre de jours jusqu'au 13 février, 13 mars jusqu'à décembre:
3, 3, 6, 1, 4, 6, 2, 5, 0, 3, 5
Tous les restes sont répresentés, il y au moins un vendredi 13.
Le 3 apparaît 3 fois donc si le 13 janvier est un mardi comme en 2009, il y a trois vendredi 13 dans l'année: février, mars et novembre.
Pour les bissextiles:
3, 4, 0, 2, 5, 0, 3, 6, 1, 4, 6
Tous les restes sont répresentés, il y au moins un vendredi 13.
Le 0 apparaît 2 fois donc si le 13 janvier est un vendredi comme en 1984, il y a trois vendredi 13 dans l'année: janvier, avril et juillet.
Voilou