szukanie zaawansowane
 [ Posty: 3 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 13 sty 2011, o 23:48 
Użytkownik

Posty: 13
Lokalizacja: Konin
Witam,
Do rozwiązania mam następujące zadanie:
Dane jest zdanie logiczne "p(n): n^{2}+3n+1 jest liczba parzysta". Udowodnij prawdziwość kroku indukcyjnego. Krok początkowy nie jest spełniony.
Rozwiązuję to tak:
1. Teza: \forall{n \in N} n^{2}+3n+1=2pn
2. Hipoteza: k^{2} +3k +1=2pk
3. Krok indukcyjny (k+1)^{2}+3(k+1)+1=2p(k+1)
4. Dowód:
(k+1)^{2}+3(k+1)+1=k^{2}+2k+1+3k+3+1=k^{2}+3k+1+2k+4=2pk+2(k+2)

Niestety nie wiem co dalej. Wiem, że ten dowód zachodzi. Tylko jak doprowadzić końcówkę dowodu do 2p(k+1)
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2018
Góra
Mężczyzna Offline
PostNapisane: 13 sty 2011, o 23:51 
Użytkownik
Avatar użytkownika

Posty: 2910
Lokalizacja: Biała Podlaska / Warszawa
Przecież to wyrażenie zawsze będzie nieparzyste:

n^2+3n+1 = (n+1)(n+2)-1

Teraz (n+1)(n+2) jest zawsze podzielne przez 2, ale odejmujemy od wyniku 1 otrzymując liczbę nieparzystą.

Pozdrawiam.
Góra
Mężczyzna Offline
PostNapisane: 14 sty 2011, o 00:00 
Użytkownik

Posty: 13
Lokalizacja: Konin
Niby tak ale nie o to chodziło w zadaniu. Musze udowodnić, że krok indukcyjny może być prawdziwy mimo, że warunek początkowy nie jest spełniony. Udowodniłeś tylko, że zdanie nie jest prawdziwe a to już wiadomo po sprawdzeniu warunku początkowego.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 3 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Zapis dowodu indukcyjnego  WhiteRabbit7  4
 Udowodnienie, że zachodzi równość  exeem24  6
 Udowodnienie nierówności - zadanie 6  kampar  3
 udowodnienie podzielności  kwazar  4
 blad w kroku indukcyjnym  protech33  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl