1+2+⋯+n icin verilen toplam formulunun ispatlari nelerdir?
Yaygin ortaogretimsel ispat: T=1+2+⋯+n=n+(n−1)+⋯+1 diyelim. Bu durumda 2T=(1+n)+(2+(n−1))+⋯+(n+1)=n(n+1) olur.
ispat icin gorsel: C(n,2) oldugunu gosteren her bir sari topa karsilik gelen ikili mavi top eslesmesi. Bknz. Gif (Yardim: Bu gorseli burda nasil gosterebilirim?)
Bir adet uzun ve dolambacli ispat vereyim:
ilk olarak toplam fonksiyonumuza S(n) diyelim. Bu durumda S(n)=S(n−1)+n
olur.
n→n+1 degisimi yaptigimizda :
S(n+1)=S(n)+n+1
olur. Denklem(2)den denklem(1)'i cikartirsak:
S(n+1)−S(n)=S(n)+1−S(n−1)
olur. Tekrardan yazarsak
{S(n+1)=2S(n)−S(n−1)+1S(n)=S(n)
elde ederiz. Matris sekilde yazarsak
[S(n+1)S(n)]=[2−110][S(n)S(n−1)]+[10]
olur ve kare matris yapmak icin
1=1 esitligini eklersek
[S(n+1)S(n+0)1]=[2−11100001][S(n)S(n−1)1]
olur ve bunu teker teker uygularsak
[S(n+1)S(n)1]=[2−11100001]n[S(1)S(0)1]
esitligini elde ederiz. Simdi
3×3'luk matrisin Jordan formunu bulup uygulayalim:
[S(n+1)S(n)1]=([110100001][110011001][110100001]−1)n[S(1)S(0)1]=[110100001][110011001]n[110100001]−1[S(1)S(0)1]=[110100001][1(n1)(n−12)01(n1)001][0101−10001][S(1)S(0)1]
Matrisleri carpalim:
[S(n+1)S(n)1]=[(2n+2)S(1)−2nS(0)+n2+n22nS(1)+(2−2n)S(0)+n2−n21]
S(0)=0 ve
S(1)=1 oldugunu biliyoruz, bu durumda
S(n)=n2+n2
esitligini elde ederiz.
Burda ek bir soru sorulabilir. Jordon formun
n. kuvvetini nasil elde ettigimiz.
Ispat mathstackexchange sitesinden alintidir. Sadece boyle uzun ispatlarin da olabilecegini belirtmek icin yazdim.