【ツェラーの公式解説】2345年6月7日は何曜日か？

この動画は、任意の日付から簡単に曜日を求めることのできる公式の「ツェラーの公式」、及びその証明を取り扱います。
【訂正】
2:45頃から誤「どれも5で割ると…」　正「どれも7で割ると…」
【補足】
①ツェラーの公式の2つ目の証明で用いたフェアフィールドの公式は、一般に用いられている形から、ツェラーの公式に変形しやすい形で掲載しました。
②ツェラーの公式の2つ目の証明で、[H/4+Y/400]=[H/4]を証明せずに用いていますが、以下に証明を掲載します。
H/4=[H/4]+xとおくと、Hは整数だから、0≦x≦0.75
また、0≦Y≦99だから、0≦Y/400≦0.2475
よって0≦x+Y/400≦0.9975　ゆえに[x+Y/400]＝0
したがって、[H/4+Y/400]=[[H/4]+x+Y/400]=[H/4]+[x+Y/400]=[H/4]

[@woodvillage1825]

雑学の本の中に曜日を求め方では、日数と西暦の下二桁を加え、そして１月から１２月までの決められた定数を加えて７で割り残りの１から６を月曜から土曜になって割り切れると日曜日になる？ような記憶がある。