Feladat: N.29 Korcsoport: 18- Nehézségi fok: nehéz
Megoldó(k):  Braun Gábor ,  Csörnyei Marianna ,  Pap Gyula 
Füzet: 1995/február, 100 - 101. oldal  PDF  |  MathML 
Témakör(ök): Összefüggések binomiális együtthatókra, Indirekt bizonyítási mód, Legnagyobb közös osztó, Nehéz feladat
Hivatkozás(ok):Feladatok: 1994/április: N.29

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.

Feltételezhetjük, hogy k és l nem nagyobbak n2-nél, ugyanis k-t
(n-k)-ra, l-et pedig (n-l)-re cserélhetjük ellenkező esetben.
Könnyen ellenőrizhető, hogy

(nk)(n-kl)=(nl)(n-lk).(1)
(Például úgy, hogy
(nk)helyéren(n-1)...(n-k+1)k!-t,(n-kl)helyére(n-k)...(n-k-l+1)l!-t stb. írunk.)

Az (n-kl) és (n-lk) binomiális együtthatók értelmesek, mert k, ln2 miatt ln-k és kn-l.
Ugyanakkor az is igaz, hogy
(n-lk)<(nk).(2)
(Ez szintén ellenőrizhető az előbbi behelyettesítéssel:
(n-l)(n-l-1)...(n-l-k+1)k!<n(n-1)...(n-k+1)k!.)

Az (1) bal oldala osztható (nk)-val. Ha jobb oldalán az (nl) tényező ehhez relatív prím lenne, akkor a másik tényezőnek, (n-lk)-nak kellene (nk)-val oszthatónak lenni. De egy pozitív egész nem lehet egy nála nagyobb számnak többszöröse, ez tehát ellentmondás.
Tehát (nk) és (nl) nem lehetnek relatív prímek.