Kui binoomkordaja esimene indeks on väiksem kui teine, siis on
binoomkordaja väärtus 0, sest pole ühtegi võimalust võtta vajalikku
arvu elemente. Faktoriaale sisaldav arvutusvalem kehtib binoomkordaja
puhul ainult siis, kui esimene indeks ei ole teisest väiksem.Tõestame võrduse induktsiooniga n järgi.
Induktsiooni baas. Kui n = 0, siis taandub võrdus kujule
Kui lisaks m = 0, siis on võrduse mõlema poole väärtus 1; kui aga
m ³ 0, siis on mõlema poole väärtus 0.Induktsiooni samm.
Eeldame, et võrdus kehtib n = s korral. Näitame, et siis kehtib võrdus
ka n = s+1 korral. Tõepoolest,
| s+1 å k = 0
| | æ è | k m
| ö ø | = | s å k = 0
| | æ è | k m
| ö ø | + | æ è | s+1 m
| ö ø | = | æ è | s+1 m+1
| ö ø | + | æ è | s+1 m
| ö ø | = | æ è | s+2 m+1
| ö ø | |
|
Paneme tähele, et siin me tõestasime ühekorraga mitu induktsiooni:
vastavalt parameetri m väärtustele m = 1, m = 2, ....
Neid võrdusi võib samuti tõestada induktsiooniga.Esimene võrdus. Kui n = 1, siis on tõestataval võrdusel kuju
F1 = F2.
See võrdus kehtib, sest
F1 = F2 = 1.
Eeldame, et võrdus kehtib n = k korral. Näitame, et siis kehtib võrdus
ka n = k+1 korral. Siis
F1 + F3 + ... + F2k-1 + F2k+1 = F2k + F2k+1 = F2k+2, |
|
mida oligi tarvis tõestada.Teine võrdus. Kui n = 1, siis on tõestataval võrdusel kuju
F0 - F1 + F2 = F1 - 1.
See võrdus kehtib, mõlema poole väärtus on 0. Eeldame, et võrdus
kehtib n = k korral. Näitame, et siis kehtib võrdus ka n = k+1
korral. Siis
F0 - F1 + ... + F2k - F2k+1 + F2k+2 = F2k-1 - 1 - F2k+1 + F2k+2. |
|
Paremal poolel asendame
F2k+2 = F2k+1 + F2k,
millega saame parema poole väärtuseksF2k-1 - 1 - F2k+1 + F2k+1 + F2k = F2k-1 + F2k - 1 = F2k+1 - 1, |
|
mida oligi tarvis tõestada.Kolmas võrdus. Kui n = 0, siis on tõestataval võrdusel kuju
F02 = F0F1.
See võrdus kehtib, sest
F0 = 0.
Eeldame, et võrdus kehtib n = k korral. Näitame, et siis kehtib võrdus
ka n = k+1 korral. Siis
F02 + F12 + ... + Fk2 + Fk+12 = FkFk+1 + Fk+12 = Fk+1(Fk + Fk+1). |
|
Fibonacci arvude definitsiooni põhjal on viimane avaldis võrdne arvuga
Fk+1Fk+2.