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. Belátjuk, hogy a kifejezésben az előjelek megfelelő megválasztásával minden és közötti páros szám előállítható. Ha minden előjel negatív, akkor az összeg , ha mindegyik pozitív, akkor . Állításunkat indukcióval bizonyítjuk. Tudjuk már, hogy előállítható ily módon. Belátjuk, hogy ha szerepel az összegek között, akkor szerepel az is. Tekintsük előállításában balról az első negatív előjelet (mivel , ilyen van). Ha ez az előjel az előtt áll, akkor azt pozitívra változtatva az összeg kettővel nő. Ha -nél nagyobb szám előtt áll, akkor ezt az előjelet pozitívra és az eggyel kisebb szám előtti pozitív előjelet negatívra változtatva, az összeg ismét kettővel nő, vagyis előállítottuk az -t. Természetesen egy szám több különböző alakban is előállhat. Az egy lehetséges felírása: | | Törőcsik Jenő (Budapest, Fazekas M. Gyak. Gimn. IV. o. t.)
|