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:

  1. er sant
  2. 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