Ας υποθέσουμε ότι θέλουμε να αποδείξουμε ότι η παρακάτω μαθηματική πρόταση είναι αληθής για κάθε :
απόδειξη:
- Ελέγχουμε ότι η πρόταση ισχύει για ν = 1
- Στη συνέχεια υποθέτουμε ότι η πρόταση είναι αληθής για κάποιο φυσικό αριθμό ν = κ
- , (επαγωγική υπόθεση)
- Τέλος αποδεικνύουμε ότι η πρόταση είναι αληθής για ν = κ + 1
Το κάνουμε αυτό χρησιμοποιώντας την επαγωγική υπόθεση. Έχουμε δεχτεί ότι ισχύει:
Προσθέτουμε και στα δύο μέλη της εξίσωσης τον όρο κ + 1, που είναι ο επόμενος του κ φυσικός αριθμός, και έχουμε διαδοχικά:
Έτσι έχουμε:
- Η πρόταση είναι αληθής για όλους τους φυσικούς αριθμούς ν.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου