Indukcja matematyczna

Podobne dokumenty
Zasada indukcji matematycznej

Analiza B. Paweł Głowacki

n(n + 1) 2 k = k = 1, P = 1 (1 + 1)/2 = 2/2 = 1 = L. n(n + 1) 2 + (n + 1) = n(n + 1)(2n + 1) 6 k 2 = n(n + 1)(2n + 1) 6 + (n + 1) 2 = n + 1

A i A j lub A j A i. Operator γ : 2 X 2 X jest ciągły gdy

i = n = n 1 + n 2 1 i 2 n 1. n(n + 1)(2n + 1) n (n + 1) =

σ-ciało zdarzeń Niech Ω będzie niepustym zbiorem zdarzeń elementarnych, a zbiór F rodziną podzbiorów zbioru Ω spełniającą warunki: jeśli A F, to A F;

Matematyka dyskretna. Wykład 2: Kombinatoryka. Gniewomir Sarbicki

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017

Uwaga 1.1 Jeśli R jest relacją w zbiorze X X, to mówimy, że R jest relacją w zbiorze X. Rozważmy relację R X X. Relację R nazywamy zwrotną, gdy:

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Algebra liniowa z geometrią analityczną

6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.).

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Waga szalkowa i uogólniony problem fałszywej monety

RACHUNEK PRAWDOPODOBIEŃSTWA WYKŁAD 5.

Ćwiczenie 4 Badanie wpływu asymetrii obciążenia na pracę sieci

Analiza matematyczna. 1. Ciągi

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

LX Olimpiada Matematyczna

Indukcja matematyczna

Matematyka dyskretna. Andrzej Łachwa, UJ, /14

Indukcja matematyczna. Matematyka dyskretna

WAHADŁO SPRĘŻYNOWE. POMIAR POLA ELIPSY ENERGII.

Analiza B II zadania. cos kx = sin(n x) 2 sin x 2. cos n sin 1 n., tan x, cot x, log sin x, log tan x, 1 + x

Indukcja matematyczna

Matematyka Dyskretna - zagadnienia

Równania i nierówności wykładnicze i logarytmiczne

W. Guzicki Zadanie IV z Informatora Maturalnego poziom rozszerzony 1

n=0 (n + r)a n x n+r 1 (n + r)(n + r 1)a n x n+r 2. Wykorzystując te obliczenia otrzymujemy, że lewa strona równania (1) jest równa

7. Klasyfikacja skończenie generowanych grup przemiennych

Analiza 1, cze ść druga

Dwa równania kwadratowe z częścią całkowitą

2. Liczby pierwsze i złożone, jednoznaczność rozkładu na czynniki pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność.

LXIX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 18 kwietnia 2018 r. (pierwszy dzień zawodów)

G i m n a z j a l i s t ó w

Podstawowe techniki zliczania obiektów kombinatorycznych. Szufladkowa zasada Dirichleta, Zasada włączeń i wyłączeń.

MODYFIKACJA KOSZTOWA ALGORYTMU JOHNSONA DO SZEREGOWANIA ZADAŃ BUDOWLANYCH

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Matematyka Dyskretna Zestaw 2

I Liceum Ogólnokształcące im. Cypriana Kamila Norwida w Bydgoszczy. Wojciech Kretowicz PODZIELNOŚĆ SILNI A SUMA CYFR

Niezbyt formalny i niezbyt intuicyjny wst p do algebry abstrakcyjnej

LI Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 2000 r. (pierwszy dzień zawodów)

Przykładowe zadania z teorii liczb

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

Zadanie. Oczywiście masa sklejonych ciał jest sumą poszczególnych mas. Zasada zachowania pędu: pozwala obliczyć prędkość po zderzeniu

Kongruencje pierwsze kroki

KOLOKWIUM Z ALGEBRY I R

Zapisujemy to symbolicznie jako równość:. Mówimy też, że ciąg posiada granicę niewłaściwą (równą nieskończoności).

OLIMPIADA MATEMATYCZNA

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

Prognozowanie notowań pakietów akcji poprzez ortogonalizację szeregów czasowych 1

Informacja o przestrzeniach Hilberta

1. Wykład NWD, NWW i algorytm Euklidesa.

koszt kapitału D/S L dźwignia finansowa σ EBIT zysku operacyjnego EBIT firmy. Firmy Modele struktury kapitału Rys Krzywa kosztów kapitału.

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI

5. Logarytmy: definicja oraz podstawowe własności algebraiczne.

(U.3) Podstawy formalizmu mechaniki kwantowej

19 Własności iloczynu skalarnego: norma, kąt i odległość

LXI Olimpiada Matematyczna

1.3 Przestrzenie ilorazowe

LOGIKA I TEORIA ZBIORÓW

Pochodna funkcji odwrotnej

ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ

dr Bartłomiej Rokicki Katedra Makroekonomii i Teorii Handlu Zagranicznego Wydział Nauk Ekonomicznych UW

Wykład 9. Fizyka 1 (Informatyka - EEIiA 2006/07)

Twierdzenie Eulera. Kongruencje wykład 6. Twierdzenie Eulera

Jeśli lubisz matematykę

Indukcja matematyczna. Zasada minimum. Zastosowania.

Martin E. Hellman pisał w 2001 roku we wstępie do książki Song Y. Yana (Yan, 2006, s. IX):

Twierdzenia Rolle'a i Lagrange'a

LIX Olimpiada Matematyczna

Układy równań i nierówności liniowych

LVIII Olimpiada Matematyczna

Liczby całkowite. Zadania do pierwszych dwóch lekcji

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Kody Huffmana oraz entropia przestrzeni produktowej. Zuzanna Kalicińska. 1 maja 2004

Łatwy dowód poniższej własności pozostawiamy czytelnikowi.

Zadania do samodzielnego rozwiązania

V Międzyszkolny Konkurs Matematyczny

Równania rekurencyjne 1 RÓWNANIA REKURENCYJNE

Regionalne Koło Matematyczne

Zofia MIECHOWICZ, Zielona Góra. v 1. v 2

EGZAMIN Z ANALIZY MATEMATYCZNEJ (CZEŚĆ 1)

Matematyka dyskretna

Algebra liniowa z geometrią. wykład I

Wielokąty foremne. (Konstrukcje platońskie)

1. Powtórka ze szkoły. Wykład: (4 godziny), ćwiczenia: , kolokwium nr 1:

Sumy kwadratów kolejnych liczb naturalnych

Twierdzenie Li-Yorke a Twierdzenie Szarkowskiego

Colloquium 3, Grupa A

1. Wielomiany Podstawowe definicje i twierdzenia

Wykład z równań różnicowych

1 Nierówność Minkowskiego i Hoeldera

Zestaw zadań dotyczących liczb całkowitych

Pierwiastki pierwotne, logarytmy dyskretne

XII Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2016 r. 17 października 2016 r.)

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

Paweł Gładki. Algebra. pgladki/

Transkrypt:

Inducja matematyczna Inducja jest taą metodą rozumowania, za pomocą tórej od tezy szczegółowej dochodzimy do tezy ogólnej. Przyład 1 (o zanurzaniu ciał w wodzie) 1. Kawałe żelaza, tóry zanurzyłem w wodzie, stracił na wadze waży mniej, niż ważył przed zanurzeniem w wodzie (teza szczegółowa). 2. Każde ciało zanurzone w wodzie waży mniej niż przed zanurzeniem (teza ogólna). W pierszym przyładzie teza ogólna wyprowadzona z tezy szczegółowej jest słuszna, ale nie zawsze ta bywa. Przyład 2 (szlana z wodą) 1. Szlana, tórą trzymam w rau, pęła przy szybim napełnianiu jej wrzątiem. 2. Każda szlana pęa przy szybim napełnianiu jej wrzątiem. W drugim przyładzie teza ogólna nie jest słuszna, bo są szlani wyproduowane ze specjalnego szła, tóre nie pęają przy najszybszym nawet napełnianiu ich wrzątiem. Inducja jest najpowszechniejszym, codziennym sposobem rozumowania. Ja jedna ustrzec się od wyciągnięcia błędnego wniosu na podstawie inducji? W życiu uczymy się uniać błędnego wniosowania dzięi wielorotnemu powtarzaniu atu inducyjnego, dzięi doświadczeniu życiowemu. W nauce, bardzo szeroo stosującej metodę inducyjną, uniamy błędnego wniosowania, uzupełniając inducję zwyłą, dodatowym rozumowaniem. Polega ono na sprawdzeniu, że jeśli pewien wniose jest słuszny dla l, 2, 3,... przypadów, załadamy, iż jest on słuszny dla przypadów i dowodzimy, że soro jest on słuszny dla przypadów to jest on słuszny i dla przypadu +1. Taą metodę rozumowania nazywamy inducją zupełną albo inducją matematyczną. Wniosi wysuwane bez stosowania inducji matematycznej nawet przez najwięszych matematyów niejednorotnie oazały się błędne. 1

Oto przyłady 1. Znaomity matematy Leonard Euler (1707-1783) przypuszczał, że trójmian x 2 + x + 41 wyraża liczby pierwsze przy podstawieniu za x dowolnej liczby naturalnej. Istotnie, gdy x podstawimy 1, 2, 3,..., 10, otrzymamy liczby 43, 47, 53, 61, 71, 83, 97, 113, 131, 151, tóre są liczbami pierwszymi. Ale wniose ten oparty na 10 przypadach, oazuje się błędny, gdy za x podstawimy np. 40; otrzymamy wówczas liczbę 1681, tóra nie jest liczbą pierwszą, bo 1681 = 41 41. 2. Fermat uważał, że liczby postaci 2 2n + 1, gdzie n jest liczbą naturalną, są liczbami pierwszymi. Po podstawieniu za n liczb 1, 2, 3, 4 otrzymamy 5, 17, 257, 65537. Wszystie te liczby są pierwsze, ale po podstawieniu za n liczby 5 otrzymujemy 4294967297, tórej podzielnia Fermat nie znalazł i sądził, że jest ona również pierwszą. Dopiero Euler wyrył że liczba ta jest podzielna przez 641, a więc nie jest liczbą pierwszą. Stąd widzimy, ja ważne jest w nauce stosowanie inducji matematycznej. Dowód przeprowadzony na podstawie metody inducji matematycznej musi oniecznie sładać się z dwóch części, z dowodów dwóch niezależnych twierdzeń: Twierdzenie I Teza jest prawdziwa dla n = 1. Twierdzenie II Jeśli teza jest prawdziwa dla n =, gdzie jest dowolną liczbą naturalną, to jest prawdziwa również dla n = + 1. Jeżeli oba te twierdzenia są udowodnione, to w myśl zasady inducji matematycznej teza jest prawdziwa dla ażdego n N Przyłady zastosowania inducji matematycznej Twierdzenie 1 (nierówność Bernoulliego) Dla dowolnego n N, n 1 i dowolnego x R, x 1 zachodzi nierówność: Dowód (1 + x) n 1 + nx Sprawdzamy warune początowy dla n = 1: (1 + x) (1 + x) 2

Stąd, że (1 + x) n 1 + nx jest prawdziwe, dla pewnego n N, n 1 mamy poazać, że prawdziwe jest (1 + x) n+1 1 + (n + 1)x. Istotnie, mnożąc obie strony nierówności (1 + x) n 1 + nx przez nieujemne wyrażenie (1 + x), dostajemy: (1 + x) n (1 + x) (1 + nx)(1 + x) (1 + x) n+1 1 + x + nx + nx 2 (1 + x) n+1 1 + (1 + n)x + nx 2 a stąd, że 1 + (1 + n)x + nx 2 1 + (1 + n)x, więc mamy: (1 + x) n+1 1 + (1 + n)x W myśl inducji matematycznej twierdzenie I i II zostało spełnione, więc prawdziwa jest nierówność Bernoulliego. Twierdzenie 2 (wzór dwumienny Newtona) Dla dowolnych a, b R oraz dowolnego n N prawdziwa jest nierówność: (a + b) n = =0 a b n. Dowód Możemy bez straty ogólności przyjąć, że b 0. Dzieląc obie strony tego równania przez b n oraz podstawiając x = a b, otrzymujemy: (1 + x) n = i tego wzoru będziemy dowodzić. =0 x Sprawdzamy warune początowy dla n = 1: P = L = (1 + x) 1 = 1 + x ( ) 1 x 0 + 0 ( ) 1 x 1 = 1 + x 1 L = P 3

Stąd, że (1 + x) n = ( n n =0 ) x jest prawdziwe, dla pewnego n N, n 1 mamy poazać, że prawdziwe jest (1 + x) n+1 = ( ) n+1 n+1 =0 x. Istotnie: L = (1+x) n+1 = (1+x) n (1+x) = (1+x) = =0 x + =0 x +1 = Natomiast z równości ( n =0 x = ( ) ( ) n n x 0 + x + 0 =1 =1 ) ( ) ( ) + n 1 = n+1 mamy: =0 ( ) ( ) n + 1 n+1 1 + x + x n+1 n + 1 = x = P =1 =0 x +x x + 1 W myśl inducji matematycznej twierdzenie I i II zostało spełnione, więc prawdziwy jest wzór dwumienny Newtona. =0 x = x n+1 = n Twierdzenie 3 (nierówność Schwarza) Dla ażdych (x 1,.., x n ) R n, (y 1,.., y n ) R n oraz dla ażdego n N prawdziwa jest nierówność: Dowód (x 1 y 1 +... + x n y n ) 2 (x 2 1 +... + x 2 n)(y 2 1 +... + y 2 n) Sprawdzamy warune początowy dla n = 1: (x 1 y 1 ) 2 (x 2 1)(y 2 1) Stąd, że (x 1 y 1 +... + x n y n ) 2 (x 2 1 +... + x 2 n)(y1 2 +... + yn) 2 jest prawdziwe dla pewnego n N, n 1 mamy poazać, że prawdziwe jest (x 1 y 1 +... + x n+1 y n+1 ) 2 (x 2 1 +... + x 2 n+1)(y1 2 +... + yn+1). 2 Otóż: (x 1 y 1 +...+x n+1 y n+1 ) 2 = (x 1 y 1 +...+x n y n ) 2 +2(x 1 y 1 +...+x n y n )x n+1 y n+1 + x 2 n+1yn+1. 2 Ponieważ: 2ab a 2 + b 2, więc ładąc a = x y n+1 oraz b = x n+1 y otrzymujemy 2x y n+1 x n+1 y x 2 yn+1 2 + x 2 n+1y 2 i sumując dla = 1, 2,..., n mamy: 2(x 1 y 1 +... + x n y n )x n+1 y n+1 (x 2 1 +... + x 2 n)yn+1 2 + (y1 2 +... + yn)x 2 2 n+1. Stąd mamy (x 1 y 1 +... + x n+1 y n+1 ) 2 (x 2 1 +... + x 2 n)(y1 2 +... + yn) 2 + (x 2 1 +... + x 2 n)yn+1 2 + (y1 2 +... + yn)x 2 2 n+1 + x 2 n+1yn+1 2 = (x 2 1 +... + x 2 n)(y1 2 +... + yn+1) 2 + (y1 2 +... + yn+1)x 2 2 n+1 = (x 2 1 +... + x 2 n+1)(y1 2 +... + yn+1) 2 co należało poazać. 4

W myśl inducji matematycznej twierdzenie I i II zostało spełnione, więc prawdziwa jest nierówność Schwarza. Jeszcze jeden przyład W pewnym państwie jest miast, z tórych ażde dwa łączy droga jednoierunowa. Udowodnić, że istnieje miasto, z tórego można (zachowując jednoierunowość) dojechać do ażdego innego, nieoniecznie bezpośrednią drogą. Prowadzimy dowód inducyjny ze względu na wielość państwa. Jeśli jest w nim tylo jedno miasto, oczywiście można z niego dojechać wszędzie - innych miejsc po prostu nie ma. Załadamy teraz, że stwierdzenie napisane wyżej jest prawdziwe dla wszystich państw, tóre mają n miast. Będziemy usiłowali poazać, że również dla państw trochę więszych (z n+1 miastami) jest to prawda. Jeśli mamy n+1 miast, możemy na chwilę zapomnieć o jednym z nich - niech nazywa się Zapomniane Miasto. Pozostanie n, tworząc chwilowo mniejsze państwo. W tym państwie musi, co założyliśmy, znaleźć się taie miasto, z tórego można dojechać do pozostałych po wybudowanych drogach. Niech to będzie Stolica. Teraz przypominamy sobie o Zapomnianym Mieście. Stolicę i Zapomniane Miasto łączy droga jednoierunowa. Jeśli prowadzi ona od Stolicy do Zapomnianego, to ze Stolicy można dojechać wszędzie (do Zapomnianego jest bezpośrednia droga, a do innych gwarantuje nam wcześniejsze założenie). Jeśli ta droga prowadzi w drugą stronę, to z Zapomnianego można, przez Stolicę, dojechać do wszystich pozostałych miast. Dowiedliśmy więc, że jeśli twierdzenie jest prawdziwe dla państw z n miastami, to dla taich z n+1 również, a taże, że prawdziwe jest dla państw z jednym miastem. Zasada inducji mówi, że w taim przypadu twierdzenie prawdziwe jest dla państwa z ażdą ilością miast, czyli po prostu dla ażdego państwa. 5

Bibliografia [1] Przez rozrywę do wiedzy - Stanisław Kowal, Wydawnictwa Nauowo- Techniczne, Warszawa 1973 [2] Rachune różniczowy i całowy Kazimierz Kuratowsi, BM. Warszawa 1978 [3] Analiza B srypt, Paweł Głowaci [4] Opowieści matematyczne - Michał Szure, Wydawnictwa Szolne i Pedagogiczne, Warszawa 1987 [5] www.matematya.org 6