3.1 取整函数在趣数学题中的应用

    例1 求公元后 年 月 日是星期几 ？

解 设公元1年1月1日到这天的总天数是 , 则这天星期几是 被7除所得的余数. 设 ， , 则 ， , 显然,  就是 被7除所得的余数, 设 , 故 . 又因为公历逢四年一闰，逢一百年不闰, 逢四百年再闰, 闰月以29天计算,