Sav 1: a herhangi bir gercel sayi olsun. Bu durumda
−a+(a+2)=2
olur.
Ispat: Gercel sayilarda toplama "associative" (yani cevirisi birlesmeli) oldugundna toplamanin sirasini degistirebiliriz.
−a+(a−2)=(−a+a)+2
olur. (Gerek olmasa da) Toplama ayni zamanda degismeli oldugundan
−a+(a−2)=(−a+a)+2=(a+(−a))+2
olur.
−a sayisi
a sayisinin toplamaya gore tersi oldugundan ve toplamaya gore birim eleman
0 oldugundan
a+(−a)=(−a)+a=0
olur. Bu nedenle
−a+(a−2)=(−a+a)+2=(a+(−a))+2=0+2=2
olur.
Cikarim 1: n herhangi bir tam sayi olsun. Bu durumda
−n+(n+2)=2
olur.
Ispat: n tam sayisi ayni zamanda gercel bir sayi oldugundan "Sav 1" ile bu sonucu cikartiriz.
Cikarim 2: n tam sayisi bir
k tam sayisi icin
4k−2 sayisina esit olsun. Bu durumda
−n+(n+2)=2
olur.
Ispat: k tam sayi olmak uzere
4k−2 de tam sayi olacagindan (ve gercel sayi olacagindan) "Cikarim 1"den (ya da "Sav 1"den) dolayi bu cikarim dogru olur.
Anahtar Cikarim: {2,6,10,⋯,98}={4k−2|1≤k≤25,k∈Z}
kumesinde ki her
n elemani icin
−n+(n+2)=2
olur.
Ispat: Bu kumenin elemanlari "Cikarim 2"deki formda oldugundan sonuc dogru olur.
_____________
1) {1,2,⋯,25} kumesi
25 elemanlidir.
2) k≠l gercel sayilari icin
4k−2≠4l−2 saglanir.
Ispat:
k≠l gercel sayilari icin
4k−2=4l−2 saglansaydi.
(4k−2)+2=(4l−2)+2 olurdu, yani
4k=4l olurdu. Bu durumda
144k=144l, yani
k=l olurdu. Fakat esit olmadiklarini kabul etmistik. Celiski.
3) {2,6,10,⋯,98} kumesi
25 elemanlidir. (1 ve 2'den dolayi).
_________
Simdi bu kadar gereksiz yazidan sonra sunu deriz.
[−2+4]=[−2+(2+2)]=2
[−6+8]=[−6+(6+2)]=2
⋮
[−98+100]=[−98+(98+2)]=2
olur. Bu
25 tane esitligi taraf tarafa toplarsak (toplama birlesmeli oldugundan) sol taraf istenen toplam ve sag taraf da
25 tane
2 sayisinin toplami olur, bu da
25⋅2=50 olur.