Η απαγωγή σε άτοπο είναι από τους πιο αξιόπιστους, γενικά εφαρμοζόμενους και ισχυρούς τρόπους απόδειξης στο Λύκειο, εκεί όπου μπορεί να εφαρμοστεί. Μάλιστα εγώ το θεωρώ πολύ ομορφότερο τρόπο απο την ευθεία απόδειξη.
Είσαι λάθος όμως. Αν σου λέει "Αν P, τότε Q" κι εσύ του αποδείξεις το "Αν Q τότε P", είσαι τελείως λάθος, δεν έχεις απαντήσει σε τίποτα. Εγώ σου δίνω κάποια δεδομένα και σου λέω να μου αποδείξεις ένα ζητούμενο. Κι εσύ μου λες ότι ξεκινάς απ'το ζητούμενο (το οποίο προφανώς θεωρείς αληθές) για να καταλήξεις στο δεδομένο; Έχεις αποδείξει (αν μπορέσεις, γιατί τις περισσότερες φορές δεν γίνεται) το αντίστροφο, όχι αυτό που σε ρωτάω. Άρα, σε πρακτικό επίπεδο παίρνεις 0 μόρια και σε μαθηματικό επίπεδο είναι λάθος η λογική σου.
Δεν είναι λάθος βέβαια να πηγαίνεις ανάποδα, αλλά ισχύει ΜΟΝΟ όταν δεν σπας πουθενά τις ισοδυναμίες. Κι εννοώ ΠΟΥΘΕΝΑ. Κι αυτό μη νομίζεις ότι είναι εύκολο να το ελέγξεις. Δεν ισχύει πάντα ισοδυναμία κι αν ισχύει δεν είναι καθόλου δεδομένο ότι μπορεις να τη δείξεις. Χαρακτηριστικά σου αναφέρω ότι από τα περίπου 10-15 θεωρήματα και προτάσεις που χρησιμοποιούμε στα ΜΚ της Γ' Λυκείου, μόνο 1 θυμάμαι να περιλαμβάνει δηλωμένη ισοδυναμία, αυτό των πλαγίων ασυμπτώτων που δεν είναι από τα πιο σημαντικά.
Σημείωση: Το μήνυμα αυτό γράφτηκε 16 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.