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. Williams Kada megoldása. Mindenekelőtt keressük meg lineáris megoldásait, vagyis az alakúakat! Beírva -be, majd kibontva és átrendezve:
Meggondolható, hogy ez éppen akkor állhat fenn minden , -ra, hogyha -ban mindhárom együttható nulla, ami csak akkor lehet igaz, ha vagy , azaz vagy . Ennek a meggondolása nem tartozik a megoldáshoz, viszont ebből sejthető meg, hogy ez a kettő lesz -nek az összes megoldása. Jól látható, hogy ezeknél együtthatói tényleg mind nullák lesznek, vagyis hogy és valóban megoldása -nek. Helyettesítsünk -t, majd pedig -et -be, nyerjük:
Kezdésképpen könnyű megtalálni lehetséges értékeit: írjunk -be előbb -t: adódik, amiért -be most -t helyettesítve | | azaz adódik, ahonnan vagy . 1. eset: , itt az megoldást várjuk. Ez az eset egy trükkös észrevétellel elintézhető. Figyeljük meg ugyanis, hogy szerint minden -re fixpontja -nek. Ellenben a megcélzott függvénynek csak az a fixpontja. Ha belátnánk, hogy esetén -nek csak az lehet fixpontja, abból következne, hogy fixpont lévén minden -re, azonosan kell legyen, vagyis minden -re, azaz bármely -re (). Belátjuk tehát, hogy -re -ból következik. Ehhez -t vegyük szemügyre, -t helyettesítve: , adódik. Ez igazolja, hogy esetén . 2. eset: , itt az megoldást várjuk. Ezúttal bonyolultabban járunk el: azt vesszük észre, hogy ha -be , helyett , -t helyettesítünk, azzal ugyanúgy jelen marad, és ezért kiejthetjük:
Itt gyakran üti fel fejét és ellentettje, kényelmesebb az jelölést használni:
A megoldáshoz először meghatározunk néhány értéket, majd pedig az adódó összefüggéseket összehasonlítjuk, amikből már némi munka árán kifejezhetjük -et. Már tudjuk, hogy , írjunk hát -be -t, rögtön barátságosabb lesz:
Ha -ba -et írunk, akkor miatt nyerhető, illetve -be -et írva, megkapjuk, hogy , . Vagyis -be már írhatunk -et is: | | Itt viszont szerint helyére írható, vagyis
Ha ezt helyett -re írjuk fel, akkor adódik. Beszorozva -ot -gyel, majd hozzáadva -öt:
Ezután -ba -et írva, , majd pedig -ba -t írva, nyerhető. A befejezéshez írjunk -be -t: | | ahol érvényes szerint, így | |
Beszorozva -gyel, miatt adódik:
Ezt pedig -gyel tovább szorozva és (5)-öt használva:
amiből már világos, hogy , bármely -re. Tehát két megoldásunk van: és , és ezeket már leellenőriztük. |