Έχουμε μία ιδιότητα φυσικών αριθμών p(n)!
Και θέλoυμε να δείξουμε οτι "για κάθε φυσικό αριθμό n ισχύει p(n)
Η αρχή της μαθηματικής επαγωγής ( θεμελιώδης ιδιότητα του συνόλου Ν των φυσικών αριθμών) λέει :
Αν 1. p(0) (η ιδιότητα που ισχύει για το 0) και 2. p(n) => p(n+1), τότε η p(n) ισχύει για κάθε φυσικό αριθμό n!
Εμείς θέλουμε να δείξουμε m*n = n*m!
Και αυτό για κάθε m και n!
Παγιώνουμε το m!
Το m είναι αυθαίρετο!
Αλλά , το παγιώνουμε για την συνέχεια!
Έτσι , έχουμε μια ιδιότητα του n!
m*n = n*m
Και εμείς θέλουμε να δείξουμε οτι κάθε φυσικός αριθμός n έχει αυτή την ιδιότητα!
Έτσι , μαθηματική επαγωγή στο n!
m*0 = 0*m, προφανώς!
Αφού m*0 = 0*m = 0!
Υποθέτουμε οτι ισχύει m*n = n*m για ΚΑΠΟΙΟΝ φυσικό αριθμό n!
Δείχνουμε οτι ισχύει m*(n + 1) = (n + 1)*m!
Ε , έχουμε:
m*(n + 1) = (ορισμός πολλαπλασιασμού) = m*n + m = (υπόθεση) = n*m + m = (n + 1)*m
Έτσι , η ιδιότητα m*n = n*m ισχύει για κάθε n (με παγιωμένο το m)!
Αλλά , το m ήταν αυθαίρετο!
Έτσι , m*n = n*m για ΚΑΘΕ m και n!
Αυτά !