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. Vegyük észre, hogy elegendő megmutatnunk, hogy egy idő után kapunk két, egymás után következő, egyforma sort. Ekkor az összes további sor is meg fog egyezni ezekkel. Hiszen egy új sor készítésénél csak a megelőző sort kell figyelembe venni, az megegyezik a kettővel korábbi sorral; ennek már ismerjük a rákövetkezőjét, úgy hogy most is ugyanazt a rákövetkezőt kell írnunk. Másik észrevételünk az, hogy ‐ legalábbis a második sortól kezdve ‐ az egymás alatti számok nem csökkenhetnek. Ugyanis ha egy helyre -t írtunk, akkor még legalább további helyre is -t kellett írnunk, ti. mindazon számok alá, melyek éppen -szor fordultak elő. Így a szám is legalább -szor fordul elő, s a következő sorban a alá legalább -t kell írnunk. Így az egy sorban álló számok összege nem csökkenhet; másrészt ez az összeg legfeljebb lehet, hiszen minden helyre legfeljebb -t írhatunk. Kell lennie tehát két egymás utáni sornak, hogy a bennük levő számok összege megegyezik, ami csak úgy lehet, ha az egymás alatti számok is megegyeznek. Ezzel találtunk két egyforma sort, amivel a feladat állítását igazoltuk.
Megjegyzés. A fenti megoldás szerint legfeljebb egymillió sor után csupa egyforma sort kell kapnunk. Igazolható az is, hogy a . sortól kezdve minden sor egyforma lesz. |