Oi,
o Bernardo já deu uma resposta, só entrei poeque estava passando, geralmente chego atrasado, quem dá muita aula só lê as respostas. Mas é possível provar que todo ano, normal ou bissexto, tem no mínimo uma e no máximo três sextas-feiras 13. Há uma demonstração no Niven, "Mathematics of Choice", a edição que tenho é a da Random House, The L. W. Singer Company, quarta reimpressão, está logo na página 1, mas é o problema E1541 do American Mathematical Monthly, Nov 1962, pag 919, como o próprio Niven informa. Naturalmente, haverá mais soluções por aí, só estou tentando colaborar. Abraços, olavo.