Απόδειξη με Άτοπο — Μέθοδος & Κλασικό Παράδειγμα

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

Αυτή η μέθοδος είναι χρήσιμη όταν η άρνηση της πρότασης σου δίνει κάτι συγκεκριμένο για να δουλέψεις. Κλασική περίπτωση είναι η απόδειξη ότι το $\sqrt{2}$ είναι άρρητος: μόλις υποθέσεις ότι είναι ρητός, μπορείς να τον γράψεις ως κλάσμα και να ακολουθήσεις τις συνέπειες.

Πώς λειτουργεί η απόδειξη με άτοπο

Έστω ότι η πρόταση που θέλεις να αποδείξεις είναι η $P$.

Σε μια απόδειξη με άτοπο, ξεκινάς υποθέτοντας ότι η $P$ είναι ψευδής. Έπειτα συλλογίζεσαι από αυτή την υπόθεση μέχρι να φτάσεις σε μια αντίφαση, όπως:

$$1 = 0$$

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

Σε εκείνο το σημείο, η άρνηση της $P$ δεν μπορεί να είναι σωστή, άρα η $P$ πρέπει να είναι αληθής.

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

Πότε να χρησιμοποιείς απόδειξη με άτοπο

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

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

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

Λυμένο παράδειγμα: γιατί το $\sqrt{2}$ είναι άρρητος

Μια κλασική απόδειξη με άτοπο δείχνει ότι το $\sqrt{2}$ είναι άρρητος.

Ξεκίνα υποθέτοντας το αντίθετο:

$$\sqrt{2} \text{ is rational.}$$

Αν αυτό ήταν αληθές, τότε το $\sqrt{2}$ θα μπορούσε να γραφτεί ως

$$\sqrt{2} = \frac{a}{b}$$

όπου τα $a$ και $b$ είναι ακέραιοι, $b \neq 0$, και το κλάσμα είναι ανάγωγο.

Τώρα ύψωσε και τις δύο πλευρές στο τετράγωνο:

$$2 = \frac{a^2}{b^2}$$

άρα

$$a^2 = 2b^2.$$

Αυτό μας λέει ότι το $a^2$ είναι άρτιος. Αυτό αναγκάζει και το $a$ να είναι άρτιος, επειδή το τετράγωνο ενός περιττού ακεραίου είναι περιττό. Άρα γράφουμε

$$a = 2k$$

για κάποιον ακέραιο $k$.

Αντικατέστησε αυτό στο $a^2 = 2b^2$:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Τώρα το $b^2$ είναι άρτιος, άρα και το $b$ είναι επίσης άρτιος.

Όμως τώρα και τα $a$ και $b$ είναι άρτιοι. Αυτό σημαίνει ότι και τα δύο διαιρούνται με το $2$, πράγμα που αντιφάσκει με την υπόθεση ότι το $\frac{a}{b}$ ήταν ήδη ανάγωγο.

Άρα η αρχική υπόθεση ήταν ψευδής. Επομένως το $\sqrt{2}$ είναι άρρητος.

Γιατί η αντίφαση είναι καθοριστική

Η αντίφαση δεν είναι απλώς «κάτι δεν φαίνεται σωστό». Είναι συγκεκριμένη:

1. Η υπόθεση λέει ότι $\sqrt{2} = \frac{a}{b}$ σε ανάγωγη μορφή.
2. Η άλγεβρα δείχνει ότι και τα $a$ και $b$ πρέπει να είναι άρτιοι.
3. Ένα κλάσμα δεν μπορεί να είναι ταυτόχρονα ανάγωγο και να έχει αριθμητή και παρονομαστή διαιρετούς με το $2$.

Αυτή η άμεση σύγκρουση είναι η αντίφαση.

Συνηθισμένα λάθη στην απόδειξη με άτοπο

Ένα συνηθισμένο λάθος είναι να υποθέτεις το αντίθετο με υπερβολικά αόριστο τρόπο. Χρειάζεσαι την πραγματική άρνηση της πρότασης, όχι απλώς μια κοντινή πρόταση που ακούγεται παρόμοια.

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

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

Είναι επίσης εύκολο να κρύψεις αδύναμο συλλογισμό πίσω από τη φράση «αυτό είναι αντίφαση». Αν δεν μπορείς να δείξεις το ακριβές γεγονός που απέτυχε, η απόδειξη μάλλον είναι ελλιπής.

Ένα απλό πρότυπο απόδειξης με άτοπο

Για πολλές αρχικές αποδείξεις, η δομή μοιάζει με αυτή:

1. Υπόθεσε ότι η πρόταση είναι ψευδής.
2. Μετάφρασε αυτή την υπόθεση σε συγκεκριμένη μορφή.
3. Ακολούθησε τις συνέπειες βήμα προς βήμα.
4. Φτάσε σε αντίφαση με ένα γνωστό γεγονός.
5. Συμπέρανε ότι η αρχική πρόταση είναι αληθής.

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

Δοκίμασε μια παρόμοια απόδειξη με άτοπο

Δοκίμασε τον ισχυρισμό «δεν υπάρχει μικρότερος θετικός ρητός αριθμός». Υπόθεσε ότι υπάρχει, ονόμασέ τον $r$, και δες τι συμβαίνει με το $\frac{r}{2}$. Αν θέλεις να ελέγξεις τον συλλογισμό σου βήμα προς βήμα σε μια παρόμοια απόδειξη, δοκίμασε τη δική σου εκδοχή στο GPAI Solver και σύγκρινε κάθε ισχυρισμό με την αντίφαση στην οποία στοχεύεις.