Ser på en egenskap definert på . Dvs at for hver er et utsagn. anvendes på de naturlige tall.
Konvensjon at: hvis jeg skriver betyr det som oftest at er et sant utsagn.
Eks: er at
er usant.
er sant
bevise at det sant for ?
neida, vi bare demonstrere hva et utsagn er.
Hva vil vi bevise for alle tall?
er
Geometrisk:)
Aritmetisk:)
Induksjonsbevis:
- er sant
- Og (hvis så )
Så kan vi konkludere at for alle har vi
Induksjonshypotesen
Grunntrinn, induksjonstrinn.
Eksempel
er utsagnet
Har sjekket at grunntrinnet stemmer.
Induksjonstrinnet: La (VILKÅRLIG TALL:)
Vi antar at og vil utlede
Vi har altså at
FVI får
også pittelitt algebra:)
“helt vanlig at ting plutselig går opp på en litt sånn mirakulær måte”
“mirakelet er jo at formelen i utgangspunktet er noe vi er overbevist om er sann”
… fyll innn fra skrivebok…
Regneregler for summetegn
b ganget inn
sum av ak fra k til n og fra n+1 til p = sum fra k til p
Produkt av to summer
Kan skrives som dobbel sum av produkter.
Tegn opp rutenett… fyll ut. Distributivitet.
Visualiser… gymnastikk.
neste emne Kombinatorikk og binomialformelen