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. Mivel a polinomnak pontosan két gyöke van, ezért a másodfokú tag együtthatója nem nulla. Ha , akkor (-1)-gyel szorozva olyan polinomhoz jutunk, amelynek gyökei, illetve együtthatóinak abszolút értéke azonos az eredetiével, ezért föltehető, hogy . A polinomnak vannak gyökei, és ezek különbözők, így diszkriminánsa pozitív: A gyökök, és , nagyságára vonatkozó feltételt a gyökök és együtthatók közti összefüggések felhasználásával írjuk fel. Mindkét gyök akkor és csak akkor pozitív, ha összegük és szorzatuk is pozitív. Mindkét gyök akkor és csak akkor kisebb 1-nél, ha és pozitív számok, azaz összegük és szorzatuk is pozitív. A feltétellel együtt tehát pontosan akkor lesz mindkét gyök 0-nál nagyobb és 1-nél kisebb, ha az
mennyiségek mindegyike pozitív. Ha , akkor az első két feltételből a másik kettőből pedig
Azt a legkisebb pozitív egész számot keressük, amelyhez vannak olyan és egészek, hogy teljesül (1), (2), (3) és (4). (4)-ből kapjuk, hogy . A kapott egyenlőtlenség két oldalán egész számok állnak, tehát még is teljesül. Ezt az (1)-ből kapható -vel összevetve adódik, ahonnan rendezés után a feltételt kapjuk. Mivel a gyökök szorzata, kisebb 1-nél, ezért (ezt egyébként a (1)-ből és (3)-ból is megkaphatjuk). Így (5)-ből
Tehát . Ha , akkor miatt , végül ekkor (1)-ből és (4)-ből , azaz . A kapott polinom együtthatóira az (1)‐(4) feltételek mindegyike teljesül, és valóban két különböző, 0 és 1 közötti gyöke van.
Megjegyzések. 1. Ha , akkor az egyenlet gyökei 0 és 1 között vannak és különbözők. 2. Ha nem követeljük meg, hogy a polinom együtthatói egészek legyenek, akkor természetesen bármilyen kicsi lehet a másodfokú tag együtthatójának abszolút értéke. 3. A (2)‐(4) feltételeket másképpen is megkaphatjuk: Ha , akkor az polinom gyökei pontosan akkor esnek a () intervallumba, ha , , és .
|