记录：关于一种计算给定日期是星期几的数学公式-蔡勒公式

蔡勒公式（Zeller's Congruence）是一种计算给定日期是星期几的数学公式。它由德国数学家蔡勒（Christian Zeller）在19世纪提出。该公式适用于公历和儒略历，能够直接计算某年某月某日是星期几。

公式描述

对于公历（即当前通用的日历），蔡勒公式如下：

其中：

• w 是星期几的结果，0代表星期六，1代表星期天，2代表星期一，依此类推。
• d 是日期（即日）。
• m 是月份。如果是1月或2月，将其分别视为前一年的13月或14月。例如，1月被视为前一年的13月，2月被视为前一年的14月。
• K 是年份的后两位（即年数模100）。
• J 是年份的前两位（即年数除以100取整）。
• mod 是模运算的符号，代表取余操作。具体来说，模运算会将一个数除以另一个数，然后取商数之外的余数。

使用步骤

1. 如果月份是1月或2月，按上述方式调整月份和年份。
2. 代入公式计算w。
3. 结果w表示星期几。

示例

假设要计算2024年8月13日是星期几：

1. 设定 d = 13，m = 8，年份是 2024。
2. 计算 K = 24 （2024年的后两位数），J = 20 （2024年的前两位数）。
3. 代入公式：

1. 计算得出：

简化得到：

结果 w = 3 表示2024年8月13日是星期二。

注：罗马教皇决定在1582年10月4日后使用格利戈里历法（简单点说就是：罗马教皇下令把10月4日的后一天改为10月15日）；而英国则是在1752年9月3日后才接受使用格利戈里历法。所以这两个时间节点计算会有不同。