Induktionsbevis AM 2010. INDUKTION – generalisering ud fra specialtilfælde Eks. I Fremskrivningsformlen ved en fast vækstrate r pr. trin. Startværdi =

Slides:



Advertisements
Lignende præsentationer
VEKTORER AM 2006.
Advertisements

Naturvidenskab 1 TalentWeek Naturvidenskab 1 TalentWeek 2013.
At Dividere.
Vektorer i planen Regneregler Definition Begreber Definition af:
Overskrift her Navn på oplægsholder Navn på KU- enhed For at ændre ”Enhedens navn” og ”Sted og dato”: Klik i menulinjen, vælg ”Indsæt” > ”Sidehoved / Sidefod”.
Cosinusrelationerne De sidste formler i skal kunne er cosinusrelationerne eller Den udvidede Pythagoras’ sætning som den også kaldes. I modsætning til.
Separation af de variable
Reduktion AM 2009.
1 Frit valg af hjælpemidler og boligindretning Af Tina Hansen specialkonsulent 15. september 2010.
Tangent og differentialkvotient
Perspektivgeometri.
Introduktion til Det Praktiske Projekt Det Praktiske Projekt Udvikling og skriveproces.
AT-1 - efterspil 2013.
Udsagn (propositioner)
Peter Nedergaard: Hypotesetest
Anvendt Statistik Lektion 4
AT 2 - argumenter og bevisførelse
Lineære funktioner AM/ Maj 2006
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel , , 28
Hvornår bruger man hvad?
Wessel Distributiv lov. I. Multiplikation med reelt tal Ved multiplikation med et reelt tal r multipliceres længderne med |r| og vinklerne bibevares,
Kommunikation mellem mennesker
Areal og Integral AM/2011.
Opgaver om omsorgssvigt
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal.
Økonometri 1: Specifikation og dataproblemer1 Økonometri 1 Specifikation, og dataproblemer 4. november 2005.
Teori, metodologi og metode
Reduktion AM 2009.
Midtvejsseminar den november Disposition  Kort om undersøgelsen  Psykisk sårbare og rygestop  Rygestoprådgiveren  Rygestopkurset som.
FEN Diskret matematik/Seminar 3 - proofs 1 Beviser Et bevis er en argumentation, som overbeviser om, at en påstand er sand, påstanden kaldes.
Statistik Lektion 6 Konfidensinterval for andele og varians
Areal og bestemt integral
Logistisk Regression Kategoriske og Kontinuerte Forklarende Variable
1 Bevisteknikker. 2 Bevisteknikker (relevant både ved design og verifikation) Teorem: Der findes uendeligt mange primtal Bevis: Antag at der findes et.
At beregne kolesterolniveauet i mennesker
Induktion og rekursion
Økonometri 1: F3 Økonometri 1 Den simple regressionsmodel 15. september 2006.
Introduktion til Det Praktiske Projekt
FEN Rekursion og induktion1 Induktion og (især) rekursion Mange begreber defineres ud fra en basis og så en gentagen anvendelse af et antal regler.
Uligheder.
Videnskabsteori - for begyndere 3g AT 2014
Afledet funktion Her har jeg tegnet f(x) og f’(x)=g(x)
Statikstik II 2. Lektion Lidt sandsynlighedsregning
Spørgsmål: Kan man få Excel til at lave en fremskrivning af et sæt af data? Altså at lave en prognose på baggrund af de pågældende data… Eksempel: Jeg.
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel 2.3, , problem 30.1.c] Gerth Stølting Brodal.
Delprøve i kurset ”Calculus og indledende lineær algebra” 29. oktober 2014 Delprøve i M2CAL2 29. oktober A. B. A. 1x1 + 1x4 + 1x(-1) = 4 B. 1x4 =
W1b1 PC baseret analyse og simulering. w1b2 Definition Digital Elektronisk beregningsmaskine, der har intern hukommelse til lagring af program og mellem-regninger.
Statikstik II 2. Lektion Lidt sandsynlighedsregning
1 JavaScript Lektion 6: Repetition i JavaScript Math TIDY Litteratur: JST lektion 10.
Design, verifikation og analyse
1 Design, analyse og verifikation. 2 Design Bevisteknikker Design ved hjælp at matematisk induktion Analyse O-notation Logaritmer Binær søgning Verifikation.
Optimeringsteori Disposition: A. Et marked Den generelle formulering
AT naturvidenskab og matematik SJ Karakteristika ved naturvidenskab Love og teorier Empiri (erfaring) Rationel, fornuftsmæssig, logisk – ikke holdning.
Videnskabsteori & metode
FEN KbP/seminar1: ProgUdsagn1 Kontraktbaseret programmering Seminar 1 Programudsagn og programbeviser.
Optimeringsteori Disposition: A. Et marked Den generelle formulering
Økonometri 1: Instrumentvariabelestimation1 Økonometri 1 Instrumentvariabelestimation II 28. april 2006.
Talforståelse og regneregler
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel , , 28
Statistik Lektion 8 Test for ens varians.
Basics: Binære variable, logiske operationer
Øvelse 9 - Phillipskurven
Statistik II 4. Lektion Logistisk regression.
SKRIVEFAGET Modul 3: Argumentation Lektion 2: Toulmins argumentationsmodel.
Gud er lys, og der er intet mørke i ham 1. Joh. 1.5
Reduktion AM 2009.
Naturvidenskabelig metode
VEKTORER AM 2006.
Induktionsbevis AM 2010.
Quiz om [Dit emne] [Dit navn] 12 апреля 2019 г..
Præsentationens transcript:

Induktionsbevis AM 2010

INDUKTION – generalisering ud fra specialtilfælde Eks. I Fremskrivningsformlen ved en fast vækstrate r pr. trin. Startværdi = bVærdi efter n fremskrivninger = K n K 1 = b + r  b = (1 + r)  b K 2 = (1 + r)  K 1 = Man fremskriver ved at gange med (1 + r) K 3 = (1 + r)  K 2 = Generalisering: tror vi da (1 + r)  (1 + r)  b =(1 + r) 2  b (1 + r)  (1 + r) 2  b =(1 + r) 3  b Eks. II 2  2 = = 2 2 Generalisering: K n = (1 + r) n  b addition, multiplikation og potensopløftning er samme operation..... nej, vel

Sætning Lad P n, n  N være et udsagn, så gælder: P 1 er sand  (P n  P n+1,  n  N )  P n er sand  n  N ”Oversat”: 1.HVIS en påstand gælder på 1. trin OG 2.HVIS påstanden gælder på trin n, så kan man vise, at det også gælder på næste trin (n+1) SÅ gælder påstanden for alle naturlige tal n

Trin 1 Trin n Trin n+1

Trin 1 Trin n Trin n+1 Trin 2 Trin n+2

Bevismetoden INDUKTION Vis, at sætningen gælder for n = 1 Vis, at sætningen gælder for n = 1 Antag, at sætningen gælder for n og vis, så, at den dermed også gælder for n+1 Antag, at sætningen gælder for n og vis, så, at den dermed også gælder for n+1

= K 0  (1 + r) 1 Sætning: K n = K 0  (1+r) n n=1: n=1: K 1 = K 0 +r  K 0  = K 0  (1 + r) Reglen gælder altså ved et starttrin på 1 Antag at  er sandt for et trin n Antag at K n = K 0  (1+r) n er sandt for et trin n K n+1 = K n  (1 + r) =  (1 + r) = K 0  (1+r) n  (1 + r)  =  = K 0  (1+r) n+1 dvs. at sætningen dermed også gælder for n+1 Da de to betingelser i induktionsbeviset er opfyldt, gælder sætningen altså for alle n  N Potensregel P1

 (x)’ = 1 Sætning: (x n )’ = n  x n-1 n=1: n=1: (x 1 )’ =  (x)’ = 1  x 0 Reglen gælder altså ved et starttrin på 1 Antag at (x n )’ = n  x n-1 er sandt for et trin n Antag at (x n )’ = n  x n-1 er sandt for et trin n (x n+1 )’ = (x  x n )’  = 1  x n  + x  n  x n-1 = 1  x n + n  x n =  (1+ n)  x n = dvs. at sætningen dermed også gælder for n+1 Da de to betingelser i induktionsbeviset er opfyldt, gælder sætningen altså for alle n  N Man kan med en anden metode vise, at (x a )’ = a x a-1 Man kan med en anden metode vise, at (x a )’ = a  x a-1 for  a  R Produktreglen  (n + 1)  x n 1  x 1-1