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. Elegendő megmutatni, hogy a két oldal különbsége nem lehet negatív. Alakítsuk át e különbséget:
Ez akkor nem negatív, ha nem negatív, ami pedig teljesül, ha sem sem nem negatív, továbbá akkor is, ha és különböző előjelűek, mégpedig közülük a nagyobb abszolút értékű negatív.
Megjegyzés: Azáltal, hogy , ill. -vel nem osztottunk, módunk nyílt a feladat követelményein túlmenő megállapításokat tenni. Természetes, ha csak a feladat állítását akarjuk bizonyítani, akkor lehet és -vel osztani, de akkor nem elég rámutatni, hogy az osztó -val, hanem az osztó előjele is lényeges; továbbá meg kell vizsgálni mindenkor, hogy egyenértékű átalakításokat végeztünk-e, vagy pedig megmutatni, hogy a nyert helyes eredményből visszafelé következtetve egyértelműen jutunk a kiinduláshoz. (Lásd a beszámoló zárómegjegyzéseit is.)
|