Feladat: N.68 Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Braun Gábor ,  Gyarmati Katalin 
Füzet: 1996/január, 39. oldal  PDF  |  MathML 
Témakör(ök): Számhalmazok, Nehéz feladat
Hivatkozás(ok):Feladatok: 1995/április: N.68

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.

Legyen |H|=n, H elemei a1, ..., an, |H-|=t, H- elemei k1, ..., kt. Minden 1it-re válasszunk egy-egy olyan 1pi, qin számpárt, amelyre ki=api-aqi.
Minden i-re rendeljük hozzá ki-hez a következő n darab számpárt:

(a1+api;a1+aqi);(a2+api;a2+aqi);(a3+api;a3+aqi);(an+api;an+aqi).
Ezekben a számpárokban az első és a második tagok is mind különbözőek. A számpárok két tagjának különbsége ki, ezért az is igaz, hogy a különböző ki-khez különböző számpárok tartoznak.
A t darab különbséghez összesen tn számpárt rendeltünk. Ezeknek a számpároknak mindkét tagja H+-ból való. Mivel H+ elemeiből összesen |H+|2 számpárt lehet készíteni, ebből következik, hogy |H+|2tn, ami éppen az állítás.
 Gyarmati Katalin (Fazekas M. Főv. Gyak. Gimn., III. o.t.)