2020年元旦是星期几

步骤：

基姆拉尔森计算公式法：

我们面对的是一个复杂的公式，用于计算特定日期的星期数。公式为：\( h = (q + \left\lfloor \frac{13(m+1)}{5} \right\rfloor + K + \left\lfloor \frac{K}{4} \right\rfloor + \left\lfloor \frac{J}{4} \right\rfloor + 5J) \mod 7 \) 。在这个公式中，各个参数代表了不同的值，其中m代表月份，q代表月份调整值，J代表年份调整值，K则为年份的数值。在这个特定情况里，我们把参数调整到对应2019年的值：m = 13, q = 1, J = 20, K = 19。经过计算，我们得到h = 4，意味着这一天是星期三。

年份递推法：

如果我们知道某一年特定日期的星期数，我们可以通过推算来找出其他年份同一日期的星期数。已知2023年元旦是星期日，那么我们可以逆向推算：2022年的最后一天是星期六（因为平年365天后的星期要减去一天），然后同理我们可以推算出2021年的最后一天是星期五。那么，2020年的最后一天就是星期四（因为闰年有366天，所以要减去两天）。我们可以得出结论：2020年1月1日是星期三。

通过两种不同的方法，我们都得出了相同的结论：2020年1月1日是星期三。