Ευθεία Απόδειξη

📌 Ορισμός

Η ευθεία απόδειξη είναι η πλέον συνηθισμένη μέθοδος απόδειξης. Στην ευθεία απόδειξη πρέπει να αποδείξουμε ότι η συνεπαγωγή $p \Rightarrow q$ είναι αληθής, με δεδομένο ότι η $p$ είναι αληθής.

🔧 Η Μέθοδος

Ξεκινώντας από την αληθή υπόθεση $p$ , κάνουμε λογικά βήματα με αληθείς συνεπαγωγές και καταλήγουμε στο ζητούμενο $q$ . Χτίζουμε δηλαδή μια αλυσίδα συνεπαγωγών:

p \Rightarrow q_1 \Rightarrow q_2 \Rightarrow q_3 \Rightarrow \cdots \Rightarrow q_\nu \Rightarrow q

Κάθε ενδιάμεσο βήμα $q_i$ προκύπτει από το προηγούμενο με:

🔸 Ορισμό
🔸 Αξίωμα
🔸 Ήδη αποδεδειγμένη πρόταση/θεώρημα
🔸 Αλγεβρικό ή γεωμετρικό υπολογισμό

Κλειδί της Ευθείας Απόδειξης

Κάθε βήμα στην αλυσίδα πρέπει να είναι μια αληθής συνεπαγωγή. Δεν αρκεί η διαίσθηση — κάθε μετάβαση πρέπει να στηρίζεται σε αξιώματα, ορισμούς ή ήδη αποδεδειγμένες προτάσεις.

🎯 Στρατηγική

Πρακτική Συμβουλή

Στην ευθεία απόδειξη, η στρατηγική είναι:

✅ Να αναγνωρίσουμε τι μας δίνεται (υπόθεση $p$ )
🎯 Να εντοπίσουμε τι ζητείται (συμπέρασμα $q$ )
🔗 Να βρούμε τα ενδιάμεσα λογικά βήματα που τα συνδέουν

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

📝 Παράδειγμα 1 — Άλγεβρα

Πρόβλημα: Αν οι θετικοί ακέραιοι $\alpha, \beta$ είναι πολλαπλάσια του $3$ , να αποδείξετε ότι ο αριθμός $\alpha^2 + \beta^2$ είναι πολλαπλάσιο του $9$ .

Λύση:

Οι αριθμοί $\alpha, \beta$ είναι πολλαπλάσια του $3$ . Άρα, υπάρχουν αριθμοί $\kappa, \lambda \in \mathbb{N}$ , ώστε:

\alpha = 3\kappa \quad \text{και} \quad \beta = 3\lambda \quad \text{(Υπόθεση)}

Επομένως:

\alpha^2 + \beta^2 = (3\kappa)^2 + (3\lambda)^2 = 9\kappa^2 + 9\lambda^2 = 9(\kappa^2 + \lambda^2)

Θέτοντας $\rho = \kappa^2 + \lambda^2 \in \mathbb{N}$ , έχουμε $\alpha^2 + \beta^2 = 9\rho$ , δηλαδή ο $\alpha^2 + \beta^2$ είναι πολλαπλάσιο του $9$ . ✅

📝 Παράδειγμα 2 — Βασική Ανισότητα

Πρόβλημα: Αν $x, y$ είναι πραγματικοί αριθμοί, να δείξετε ότι:

x^2 + y^2 \geq 2xy,\ \forall x, y \in \mathbb{R}

Λύση:

\begin{align} x, y \in \mathbb{R} &\Rightarrow (x - y)^2 \geq 0 && \text{(τετράγωνο πραγματικού)} \\ &\Rightarrow x^2 - 2xy + y^2 \geq 0 && \text{(ταυτότητα)} \\ &\Rightarrow x^2 + y^2 \geq 2xy && \text{(συμπέρασμα)} \end{align}

Χρήσιμη Παρατήρηση

Η ανισότητα $x^2 + y^2 \geq 2xy$ είναι μια από τις πιο χρήσιμες βασικές ανισότητες των Μαθηματικών. Ισοδύναμα γράφεται $(x-y)^2 \geq 0$ , με ισότητα μόνο όταν $x = y$ . Αποτελεί και ειδική περίπτωση της ανισότητας AM-GM: $\frac{x^2 + y^2}{2} \geq |xy|$ .

📝 Παράδειγμα 3 — Γεωμετρία

Πρόβλημα: Να αποδείξετε ότι σε ένα τρίγωνο $ABC$ απέναντι από ίσες γωνίες βρίσκονται ίσες πλευρές.

Λύση:

Υποθέτουμε ότι $\hat{B} = \hat{C}$ και θα αποδείξουμε ότι $AB = AC$ .

Φέρνουμε τη διχοτόμο $AD$ του τριγώνου $ABC$ . Συγκρίνουμε τα τρίγωνα $ABD$ και $ACD$ :

🔸 $\hat{B} = \hat{C}$ (από την υπόθεση)
🔸 $AD$ κοινή πλευρά
🔸 $\widehat{BAD} = \widehat{CAD}$ (αφού η $AD$ είναι διχοτόμος)

Από τη γωνιακή ισότητα του αθροίσματος των γωνιών και την κοινή πλευρά, συμπεραίνουμε ότι τα τρίγωνα $ABD$ και $ACD$ είναι ίσα, άρα $AB = AC$ . ✅

(Βλ. σχήμα σελ. 14 του PDF.)

🔗 Ισοδυναμία με την Αντιθετοαντίστροφη

Ένα πολύ χρήσιμο τέχνασμα

Αν η ευθεία απόδειξη του $p \Rightarrow q$ είναι δύσκολη, μπορούμε να αποδείξουμε την ισοδύναμη αντιθετοαντίστροφη:

p \Rightarrow q \quad \Leftrightarrow \quad \bar{q} \Rightarrow \bar{p}

Δηλαδή, αντί να δείξουμε «αν $p$ , τότε $q$ », μπορούμε να δείξουμε «αν όχι $q$ , τότε όχι $p$ ». Αυτή η τεχνική είναι στενά συνδεδεμένη με την εις άτοπον απαγωγή.

Παράδειγμα: Για να αποδείξουμε ότι «αν $n^2$ άρτιος τότε $n$ άρτιος», μπορούμε να δείξουμε την ισοδύναμη «αν $n$ περιττός τότε $n^2$ περιττός», που είναι ευθεία:

n = 2k+1 \Rightarrow n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1\ (\text{περιττός})

📐 Μορφή Παρουσίασης

Η ευθεία απόδειξη συνήθως παρουσιάζεται σε δύο στήλες:

Βήμα	Αιτιολόγηση
$\alpha = 3\kappa$	(Υπόθεση)
$\alpha^2 = 9\kappa^2$	(Ιδιότητα δυνάμεων)
...	...

Ή με λεκτικές αναφορές στις συνεπαγωγές:

\text{«Ξέρουμε $p$» → άρα από ορισμό → $q_1$ → άρα από τον τύπο → $q_2$ → ... → $q$»}

🛠️ Πότε χρησιμοποιούμε την Ευθεία Απόδειξη

Η ευθεία απόδειξη είναι η προτιμώμενη μέθοδος όταν:

🟢 Έχουμε σαφή υπόθεση και μπορούμε να βγάλουμε από αυτήν άμεσα χρήσιμες σχέσεις
🟢 Το συμπέρασμα είναι «θετική» δήλωση (π.χ. «ισχύει ότι...»)
🟢 Υπάρχει φυσική αλγεβρική ή γεωμετρική γέφυρα από υπόθεση σε συμπέρασμα

Αντίθετα, όταν το συμπέρασμα είναι «αρνητικό» (π.χ. «δεν υπάρχει», «δεν διαιρείται», «είναι άρρητος»), συχνά είναι πιο αποτελεσματική η εις άτοπον απαγωγή.

🎯 Συμβουλές για Σωστή Ευθεία Απόδειξη

✅ Διατύπωσε ξεκάθαρα την υπόθεση και το ζητούμενο από την αρχή
✅ Αιτιολόγησε κάθε βήμα (μη αφήνεις «λογικά άλματα»)
✅ Χρησιμοποίησε τη συμβολική γραφή με συνέπεια
✅ Επιβεβαίωσε στο τέλος ότι έφτασες στο ζητούμενο
❌ Μην προϋποθέτεις αυτό που θέλεις να αποδείξεις
❌ Μην χρησιμοποιείς αντιπαραδείγματα — αυτά ανατρέπουν, δεν αποδεικνύουν

Για περισσότερες λεπτομέρειες και παραδείγματα, βλ. σελ. 13–14 του PDF (Α΄ Τεύχος).