Editing Zeller's congruence

{{Wikipedia}}

'''Zeller's congruence''' is an [[algorithm]] devised by [[Christian Zeller]] to calculate the day of the week for any [[calendar]] date.

==Formula==

For the [[Gregorian calendar]] the Zeller's congruence is

:<math>h = \left(q + \left\lfloor\frac{(m+1)26}{10}\right\rfloor + K + \left\lfloor\frac{K}{4}\right\rfloor + \left\lfloor\frac{J}{4}\right\rfloor - 2J\right) \mod 7,</math>

for the [[Julian calendar]] it is

:<math>h = \left(q + \left\lfloor\frac{(m+1) 26}{10}\right\rfloor + K + \left\lfloor\frac{K}{4}\right\rfloor + 5 - J\right) \mod 7,</math>

where ''h'' is the day of the week (0 = Saturday, 1 = Sunday, 2 = Monday, ...), ''q'' is the day of the month, ''m'' is the month, ''J'' is the century (actually &lfloor;year / 100&rfloor;) and ''K'' the year of the century (year mod 100). January and February are counted as month 13 and 14 of the previous year.

In a computer implementation where a modulo result for a negative number is negative, the simplest way to get a result in the range 0 - 6 is replacing - 2 ''J'' by + 5 ''J'' and - ''J'' by + 6 ''J''.

==Analysis==

These formulas are based on the observation that the day of the week progresses in a predictable manner based upon each subpart of that date.  Each term within the formula is used to calculate the offset needed to obtain the correct day of the week.

For the Gregorian calendar, the various parts of this formula can therefore be understood as follows:

*<math>q</math> represents the progression of the day of the week based on the day of the month, since each successive day results in an additional offset of 1 in the day of the week.
   
*<math>K</math> represents the progression of the day of the week based on the year.  Assuming that each year is 365 days long, the same date on each succeeding year will be offset by a value of <math>365\mod 7 = 1</math>.
   
*Since there are 366 days in each leap year, this needs to be accounted for by adding an additional day to the day of the week offset value.  This is accomplished by adding <math>\left\lfloor\frac{K}{4}\right\rfloor</math> to the offset.  This term is calculated as an integer result.  Any remainder is discarded.
   
*Using similar logic, the progression of the day of the week for each century may be calculated by observing that there are 36524 days in a normal century and 36525 days in each century divisible by 400.  Since <math>36525\mod 7 = 6</math> and <math>36524\mod 7 = 5</math>, the term :<math>\left\lfloor\frac{J}{4}\right\rfloor - 2J</math> accounts for this (again using integer division and discarding any fractional remainder).  To avoid negative numbers, this term can be replaced with <math>5J + \left\lfloor\frac{J}{4}\right\rfloor</math> with equivalent results.
   
*The term <math>\left\lfloor\frac{(m+1)26}{10}\right\rfloor</math> can be explained as follows.  Zeller observed that, by starting each year on March 1, the day of the week for each succeeding month progressed by multiplying the month by a constant value and discarding the fractional remainder.
   
*The overall function, <math>\mod 7</math>, normalizes the result to reside in the range of 0 to 6, which yields the index of the correct day of the week for the date being analyzed.
   
The reason that the formula differs for the Julian calendar is that this calendar does not have a separate rule for leap centuries and is offset from the Gregorian calendar by a fixed number of days.  Both of these differences can be accounted for by replacing the term <math>\left\lfloor\frac{J}{4}\right\rfloor - 2J</math> with the term <math>5 - J</math>, or <math>5 + 6J</math> to avoid negative numbers.

Since the Gregorian calendar was adopted at different times in different regions of the world, the location of an event is significant in determining the correct day of the week for a date that occurred during this transition period.

==Algorithm==

:'''Algorithm''' ''Z''(''y'', ''m'', ''d'')
::Input: The year ''y'', month ''m'' (1 &le; ''m'' &le; 12), and day ''d'' (1 &le; ''d'' &le; 31).
::Output: The day of the week.
 
:::''t'' &larr; (0, 3, 2, 5, 0, 3, 5, 1, 4, 6, 2, 4)
:::''n'' &larr; (Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday)
 
:::'''if''' ''m'' < 3
::::''y'' &larr; ''y'' - 1
 
:::''w'' &larr; (''y'' + &lfloor;''y''/4&rfloor; - &lfloor;''y''/100&rfloor; + &lfloor;''y''/400&rfloor; + ''t''<sub>''m''-1</sub> + ''d'') '''mod''' 7
 
:::'''return''' ''n''<sub>''w''</sub>

==See also==
* {{WPlink|Doomsday rule}}

==References==
* {{cite journal|last=Zeller|first=Christian|title=Die Grundaufgaben der Kalenderrechnung auf neue und vereinfachte Weise gelöst|journal=Württembergische Vierteljahrshefte für Landesgeschichte|year=1882|volume=V|pages=313&ndash;314|url=http://www.merlyn.demon.co.uk/zel-82px.htm|language=German}}
* {{cite journal|last=Zeller|first=Christian|title=Problema duplex Calendarii fundamentale|journal=Bulletin de la Société Mathématique de France|year=1886|volume=11|pages=59&ndash;61|url=http://www.numdam.org/item?id=BSMF_1883__11__59_1|language=Latin}}
* {{cite journal|last=Zeller|first=Christian|title=Kalender-Formeln|journal=Mathematisch-naturwissenschaftliche Mitteilungen des mathematisch-naturwissenschaftlichen Vereins in Württemberg|year=1885|volume=1|issue=1|pages=54&ndash;58|url=http://www.merlyn.demon.co.uk/zel-85px.htm|language=German}}
* {{cite journal|last=Zeller|first=Christian|title=Kalender-Formeln|journal=Acta Mathematica|year=1886|volume=9|pages=131&ndash;136|url=http://www.merlyn.demon.co.uk/zel-86px.htm|language=German|doi=10.1007/BF02406733}}

==External links==
* [http://www.merlyn.demon.co.uk/zeller-c.htm The Calendrical Works of Rektor Chr. Zeller: The Day-of-Week and Easter Formulae]
* {{DADS|Zeller's congruence|zellersCongruence}}
[[Category:Algorithms]]
[[Category:Modular arithmetic]]