İspatlamak istediğim eşitlik;
∀r,n∈N,0≤r≤n
için;
(n+1r+1)=n∑k=r(kr)
(n+1r+1)=n+1r+1(nr)=n−1∑k=r(kr)+(nr) , sağdaki fazlalığı sola atıp ilerlemeyi deneyeceğim ama ondan önce küçük bir eşitliği vereyim;
Eşitlik:
(n+ur)=(n+un+u−r)(n+u−1r)
bu eşitliği gerekecek diye yazdım , ispatlaması çok bariz.
Devam edelim,
(n+1r+1)=n+1r+1(nr)=n−1∑k=r(kr)+(nr)
→
(n+1r+1−1)(nr)=n−2∑k=r(kr)+(n−1r) belki düzeni keşfederiz diye , oradaki −1 öyle kalsın .
Verdiğim eşitlik dolayısıyla son denklemi şöyle yazayım;
(n+1r+1−1)(nn−r)(n−1r)⏟(nr)=n−2∑k=r(kr)+(n−1r) tamam −1 den bir şey çıkmadı (n−1r) leri solda toplayalım ama ondan önce dikkatinizi çekiyor mu?
(n+1r+1−1)=n−rr+1 olduğundan solda bir sadeleşme olur , sadeleşmeyi yapıp (n−1r) 'leri solda toplayalım;
(n−r−1r+1)(n−1r)=n−2∑k=r(kr)
Sonra tekrar en baştaki eşitlikten yola çıkarak;
(n−1r)=n−1n−r−1(n−2r) olur ve yerine koyarsak;
(n−r−1r+1)n−1n−r−1(n−2r)=n−3∑k=r(kr)+(n−2r)
Sonra gene aynı şeyleri yapalım;
(n−r−2r+1)(n−2r)=n−3∑k=r(kr)Dolayısıyla buradan da şöyle bir eşitlik gelir;
(n−r−(u−1)r+1)(n−(u−1)r)=n−u∑k=r(kr)u=n−r−1 için doğru
u=n−r için de doğru olur
u=0,1 için zaten doğruydu, burada tümevarımdan ,teoremin doğruluğu kanıtlanır mı?
Ek sonuç(lar):
Sonuç 1:(n+ur)=(n+un+u−r)(n+u−1r) bu eşitliği düzenlersek;
n+u−rn+u=(n+u−1r)(n+ur) bulunur.
Sonuç 2:(n−r−ar+1)(n−ar)=n−a−1∑k=r(kr) eşitliği düzenlersek;
(n−r−ar+1)=n−a−1∑k=r(kr)(n−ar)