Εισαγωγή – Έννοια της Απόδειξης

📌 Τι είναι η Απόδειξη

Απόδειξη στα Μαθηματικά είναι η διαδικασία επιβεβαίωσης της αλήθειας ενός μαθηματικού ισχυρισμού. Ξεκινώντας από παραδεκτές αρχές (αξιώματα) και ήδη αποδεδειγμένες προτάσεις, με διαδοχικά λογικά βήματα καταλήγουμε στο ζητούμενο.

Ένας μαθηματικός ισχυρισμός μπορεί να διατυπωθεί μέσα από Θεώρημα, Πρόταση, Λήμμα, Πόρισμα κ.ά.

Αξίωμα vs Απόδειξη

Το Αξίωμα (ή Αίτημα) δεν επιδέχεται απόδειξης — είναι δηλώσεις που γίνονται αποδεκτές ως αληθείς χωρίς απόδειξη. Πάνω στα αξιώματα στηρίζεται όλο το μαθηματικό οικοδόμημα, όπως τα αξιώματα της Ευκλείδειας Γεωμετρίας ή τα αξιώματα του Peano για τους φυσικούς αριθμούς.

🔑 Βασικοί Ορισμοί

🏛️ Θεώρημα

Μια πρόταση που αποδεικνύεται χρησιμοποιώντας αποδεδειγμένες προτάσεις ή αξιώματα. Αποδεικνύεται χρησιμοποιώντας ένα πεπερασμένο σύνολο από συμπερασματικούς κανόνες και αξιώματα, χωρίς επιπλέον υποθέσεις.

🔸 Παραδείγματα:

Το Πυθαγόρειο Θεώρημα
Το Θεμελιώδες Θεώρημα της Αριθμητικής (μοναδική παραγοντοποίηση σε πρώτους)

📋 Πρόταση

Μία δήλωση που έχει απλή απόδειξη ή είναι βασική συνέπεια ενός ορισμού. Συνήθως είναι μικρότερης εμβέλειας από ένα θεώρημα.

🔸 Παράδειγμα: «Το τετράγωνο κάθε πραγματικού αριθμού είναι μη αρνητικός αριθμός.»

🧩 Λήμμα

Μια βοηθητική πρόταση που σχηματίζει μέρος της απόδειξης ενός μεγαλύτερου θεωρήματος. Συχνά ένα λήμμα στη μία απόδειξη μπορεί να γίνει το βασικό εργαλείο για πολλές άλλες.

🔸 Παράδειγμα: Το Λήμμα του Ευκλείδη (αν ένας πρώτος διαιρεί ένα γινόμενο, διαιρεί τουλάχιστον έναν παράγοντα).

📎 Πόρισμα

Μια πρόταση που συνεπάγεται με μικρή ή και καθόλου απόδειξη από ένα άλλο θεώρημα ή ορισμό. Δηλαδή, η πρόταση $B$ είναι πόρισμα της πρότασης $A$ , αν η $B$ μπορεί άμεσα να εξαχθεί από την $A$ .

🔸 Παράδειγμα: Από το Πυθαγόρειο Θεώρημα έπεται ως πόρισμα ότι σε ένα τετράγωνο πλευράς $a$ , η διαγώνιος είναι $a\sqrt{2}$ .

🔷 Ορισμός

Είναι η ακριβής δήλωση του τι σημαίνει μια μαθηματική έννοια. Στους ορισμούς δεν αποδεικνύουμε τίποτα — απλώς καθορίζουμε σύμβολα και έννοιες.

🏗️ Η Δομή μιας Απόδειξης

Μια τυπική μαθηματική απόδειξη ακολουθεί τη δομή:

📋 Υπόθεση (δεδομένα): Τι μας δίνεται
🎯 Ζητούμενο (συμπέρασμα): Τι πρέπει να αποδείξουμε
🔗 Βήματα: Αλυσίδα λογικών συνεπαγωγών, όπου κάθε βήμα στηρίζεται σε:
- Αξίωμα
- Ορισμό
- Ήδη αποδεδειγμένο αποτέλεσμα
- Λογικούς κανόνες (π.χ. modus ponens)

📜 Ιστορική Αναδρομή

Ιστορικό Σημείωμα

Τον 4ο π.Χ. αιώνα ο Αριστοτέλης, θεμελιωτής της επιστήμης της Λογικής, μελετώντας τους συλλογισμούς έγραφε:

«Πρέπει ο οποίος λέει κάτι, να μη περιορίζεται σε ισχυρισμούς, αλλά να αναφέρεται και στην αιτία των όσων ισχυρίζεται και να μην αυθαιρετεί, ούτε να αξιώνει να γίνεται αποδεκτό κανένα παράλογο αξίωμα ή ισχυρισμός, αλλά να προσκομίζει απόδειξη των όσων υποστηρίζει.»

(Αριστοτέλης, Φυσικά Θ2, 252 α22)

Η πρώτη απόδειξη στην Ιστορία των Μαθηματικών αποδίδεται στον Θαλή τον Μιλήσιο (624 π.Χ. – 527 π.Χ.). Οι αποδείξεις που υπάρχουν στα Στοιχεία του Ευκλείδη είναι της ίδιας μαθηματικής αυστηρότητας με τις σύγχρονες αποδείξεις.

🧭 Γιατί είναι τόσο σημαντική η Απόδειξη;

Η απόδειξη είναι αυτό που διακρίνει τα Μαθηματικά από κάθε άλλη επιστήμη:

🔬 Στη Φυσική, τη Βιολογία, τη Χημεία βασιζόμαστε σε πειράματα και παρατηρήσεις. Μια θεωρία μπορεί μελλοντικά να διαψευσθεί.
🧮 Στα Μαθηματικά, ό,τι αποδεικνύεται με αυστηρότητα ισχύει για πάντα. Το Πυθαγόρειο Θεώρημα ίσχυε πριν 2500 χρόνια και θα ισχύει και σε 2500 χρόνια.

Η δύναμη της αυστηρής απόδειξης

Η διαίσθηση, η παρατήρηση και τα παραδείγματα δεν αποτελούν απόδειξη. Ακόμη κι αν ένας ισχυρισμός επιβεβαιώνεται σε χιλιάδες περιπτώσεις, χωρίς αυστηρή απόδειξη δεν μπορούμε να είμαστε σίγουροι ότι ισχύει πάντα.

🔸 Κλασικό παράδειγμα προσοχής: Το τριώνυμο $\varphi(n) = n^2 - n + 41$ δίνει πρώτους αριθμούς για $n = 0, 1, 2, \ldots, 40$ . Όμως, για $n = 41$ δίνει $41^2$ , που δεν είναι πρώτος! 41 παραδείγματα δεν αρκούν για απόδειξη!

🎓 Μέθοδοι Απόδειξης

Οι βασικές μέθοδοι απόδειξης που θα μελετήσουμε στο κεφάλαιο αυτό είναι:

🧩 Ευθεία Απόδειξη: Από την υπόθεση βαδίζουμε προς το συμπέρασμα με αληθείς συνεπαγωγές.
🎭 Εις Άτοπον Απαγωγή: Υποθέτουμε ότι η πρόταση είναι ψευδής και καταλήγουμε σε αντίφαση.
🔗 Μαθηματική Επαγωγή: Ειδικά για προτάσεις που αφορούν όλους τους φυσικούς αριθμούς.

Σε όλες τις μεθόδους, ο κοινός σκοπός είναι η επιβεβαίωση της αλήθειας ενός ισχυρισμού με αυστηρό λογικό τρόπο.

🌟 Αξίωμα vs Θεώρημα vs Πόρισμα — Σύνοψη

Όρος	Χρειάζεται απόδειξη;	Ρόλος
Αξίωμα	❌ Όχι	Θεμελιώδης παραδοχή
Ορισμός	❌ Όχι	Καθορισμός έννοιας
Θεώρημα	✅ Ναι	Κύριο αποτέλεσμα
Πρόταση	✅ Ναι	Βοηθητικό αποτέλεσμα
Λήμμα	✅ Ναι	Ενδιάμεσο βήμα
Πόρισμα	✅ Σύντομη απόδειξη	Άμεση συνέπεια

Για περισσότερες λεπτομέρειες, βλ. σελ. 12 του PDF (Α΄ Τεύχος).