公元一年的第一天是星期几

首先，公元1年的第一天肯定是周一，要计算某年的第一天是周几，只要利用这天与起始天之差，与7求余，然后就能得到了

假设这个程序时输入的年份year，则该年的第一天距离起始天之差为(year-1)*365+闰年的个数

问题转化为求闰年的个数

大概是每四年一个闰年，但是每一百年要扣除一个闰年

所以我们得到公元1年到year-1年内的闰年个数是

(year-1)/4-(year-1)/100

但是又扣多了，没400年又要再多一个闰年

再次修正得到

(year-1)/4-(year/100)+(year/400)