A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Ha a 687-napos ,,Mars-év'' darab 26-napos és darab 29-napos hónapból áll, a Nyírbálók javaslata pedig ezt darab 27-napos és darab 31-napos hónapra változtatná, akkor ‐ alkalmas , , , pozitív egészekkel | | a Nyírbálók szándéka szerint . (1)-ből , ahonnan | | (1') | lehetséges értékei tehát 24, 25 és 26. Hasonlóan kapjuk (2)-ből, hogy , azaz | | (2') | így lehetséges értékei: 23, 24 és 25. A nagyratörő reform tehát megvalósíthatónak látszik, de gondoljuk meg, hogy , , és is egész számok. (1)-ben mindkét oldalhoz -t, (2)-ben pedig mindkét oldalhoz -t adva | | (3) bal oldalán 3-mal, (4) bal oldalán pedig 4-gyel osztható szám áll. Mivel 687 osztható 3-mal, 4-gyel osztva pedig 3-at ad maradékul, azért 3-mal osztható, pedig 1 maradékot ad 4-gyel osztva. A lehetséges értékek közül ez egyedül az és a esetben teljesül, dacára a rövidebb hónapoknak. A Nyírbálók próbálkozása tehát nem sikerülhet, a reform után a hónapok száma nem csökken, hanem nő.
Megjegyzés. A teljesség kedvéért ellenőrizhető, hogy és választással valóban létezik a 687-napos év adott hosszúságú hónapokra történő felosztása. (A megoldás során csupán e felosztások szükséges feltételeit használtuk.) Ha , akkor , így és , ha pedig , akkor , azaz és .
|