Η Πρώτη Πρόταση

Γιατί χρειαζόμαστε Ορισμούς, Θεωρήματα και Αποδείξεις; Ας θεωρήσουμε αυτήν τη μαθηματική Πρόταση:

Η Σημασία του Ορισμού

Το πιο συνηθισμένο είναι να θεωρήσουμε ότι "αριθμός" μπορεί να είναι οποιοσδήποτε πραγματικός αριθμός ($ \mathbb{R} $). Ωστόσο, υπάρχουν και άλλες δυνατές ερμηνείες, που κάνουν την Πρόταση να μην ισχύει!

Γι' αυτό χρειάζεται να κάνουμε τα πράγματα πιο συγκεκριμένα με ορισμούς.

Αληθές ή Εσφαλμένο;

Μια ακόμη λεπτομέρεια...

Η Πρόταση είναι καλά διατυπωμένη; Τι σημαίνει ότι ένας αριθμός "έχει" έναν μικρότερο αριθμό;

Πώς θα μπορούσαμε να εξηγήσουμε τη σημασία της πρότασης σε κάποιον που δεν μπορεί να την καταλάβει πλήρως;

Με άλλα λόγια, πώς μπορούμε να γίνουμε πιο σαφείς;

Ακριβέστερη Επαναδιατύπωση

Ορισμός: Αριθμός σημαίνει πραγματικός αριθμός.

Πρόταση: Για κάθε αριθμό, υπάρχει κάποιος αριθμός που είναι μικρότερος από αυτόν τον αριθμό.

Βέβαια, τώρα υπάρχει ένα μπέρδεμα επειδή χρησιμοποιούμε τόσο πολλές φορές τη λέξη αριθμός. Καταλήγουμε να μην είμαστε 100% σίγουροι για ποιον αριθμό μιλάμε κάθε φορά! iΗ φράση "μικρότερος από αυτόν τον αριθμό" αναφέρεται στον πρώτο ή στον δεύτερο αριθμό;

Αποδείξεις

Ας πούμε ότι θέλουμε να εξηγήσουμε γιατί ισχύει μια Πρόταση. Θα πρέπει να:

• Έχουμε μια γενική ιδέα του γιατί ισχύει (Διαίσθηση)
• Να καλύψουμε τα κενά που υπάρχουν στην επιχειρηματολογία μας (Ολοκλήρωση Επιχειρηματολογίας)
• Να γράψουμε με ακρίβεια τα επιχειρήματα που έχουμε στο μυαλό μας (Αυστηροποίηση)

Στάδια Απόδειξης

Βάλε τα στάδια στη σωστή σειρά!

Η Ακολουθία Αριθμών

Θεωρούμε τους αριθμούς $1 - \frac{1}{2}$, $\frac{1}{2} - \frac{1}{3}$, $\frac{1}{3} - \frac{1}{4}$ κλπ. (δηλαδή τους αριθμούς $\frac{1}{n} - \frac{1}{n+1}$ για κάθε φυσικό αριθμό $n$).

Υπάρχουν διάφορες επιλογές, όπως να αρχίσουμε να υπολογίζουμε τους αριθμούς έναν προς έναν και να βλέπουμε ότι είναι μικρότεροι από τον πρώτο.

Το πρόβλημα: Αυτή η μέθοδος μας μιλάει μόνο για όσους αριθμούς υπολογίσουμε και δεν μπορεί να μας πει πολλά για τους άπειρους αριθμούς που θέλουμε να δείξουμε ότι είναι μικρότεροι από το $1 - \frac{1}{2}$.

Εναλλακτικοί Τρόποι

Μια άλλη προσέγγιση θα μπορούσε να χρησιμοποιήσει τη συνάρτηση $f(x) = \frac{1}{x} - \frac{1}{x+1}$ και να δείξει ότι η συνάρτηση είναι φθίνουσα.

Όμορφος τρόπος, αλλά υπάρχει και μια πιο απλή προσέγγιση, χωρίς να εμπλέκουμε συναρτήσεις και μονοτονίες!

Πώς μπορούμε να δούμε πιο καθαρά τι συμβαίνει;

Η Ευθεία των Αριθμών

Μια πολύ λογική κίνηση είναι να χρησιμοποιήσουμε την ευθεία των πραγματικών αριθμών.

Αν πάνω στην ευθεία των πραγματικών αριθμών ζωγραφίσουμε τα σημεία $1, \frac{1}{2}, \frac{1}{3}, \dots$ κλπ., τότε σε τι αντιστοιχούν οι αριθμοί $1-\frac{1}{2}, \frac{1}{2} - \frac{1}{3}, \frac{1}{3} - \frac{1}{4}$ κλπ.;

Το Σχήμα

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

Γιατί ισχύει;

Το θέμα είναι, γιατί η πρώτη απόσταση θα είναι όντως μεγαλύτερη από οποιαδήποτε άλλη απόσταση;

Το σχήμα μπορεί να μας βοηθήσει. Αν μετακινήσουμε την απόσταση μεταξύ του $\frac{1}{2}$ και του $1$ προς τα αριστερά, προκύπτει το ακόλουθο:

Βλέπουμε ότι η πρώτη απόσταση ($1 - 1/2$) καλύπτει ακριβώς το διάστημα $[0, 1/2]$.

Η "Επικάλυψη"

Όλες οι υπόλοιπες αποστάσεις φαίνεται να περιέχονται μέσα στην απόσταση μεταξύ του $1$ και του $1/2$ (που μεταφέραμε στο $0-1/2$).

Ο λόγος που φαίνεται να ισχύει αυτή η "επικάλυψη" είναι ότι το $\frac{1}{n+1}$ είναι μεγαλύτερο από το $0$ και το $\frac{1}{n}$ είναι μικρότερο από το $\frac{1}{2}$.

Μετατροπή σε Μαθηματικά

Επομένως, τα βήματα που κάναμε, τα οποία πρέπει να γράψουμε με συνεπαγωγές αντί για σχήματα είναι τα εξής:

1. Η απόσταση $1 - \frac{1}{2}$ "μετακινήθηκε" στην απόσταση $\frac{1}{2} - 0$.
2. Για κάθε $n \ge 2$, έχουμε ότι $0 < \frac{1}{n+1}$ και $\frac{1}{n} < \frac{1}{2}$.
3. Από αυτό προκύπτει ότι η απόσταση $\frac{1}{n} - \frac{1}{n+1}$ είναι μικρότερη από την $\frac{1}{2} - 0$.
4. Επομένως έχουμε ότι για κάθε $n \ge 2$, $\frac{1}{n} - \frac{1}{n+1} < 1 - \frac{1}{2}$.

Η Τελική Απόδειξη

Απόδειξη:

Θα δείξουμε ότι το μέγιστο είναι το $1 - \frac{1}{2} = \frac{1}{2}$. Παρατηρούμε ότι $1 - \frac{1}{2} = \frac{1}{2} - 0$.

Για κάθε $n \neq 1$, έχουμε $n \ge 2 \implies \frac{1}{n} \le \frac{1}{2}$ και $\frac{1}{n+1} > 0$.

Άρα $\frac{1}{n} - \frac{1}{n+1} < \frac{1}{n} \le \frac{1}{2}$.

Συνεπώς, κάθε άλλη απόσταση είναι μικρότερη από την πρώτη.

Τι Πετύχαμε;

Φυσικά, θα μπορούσαν να υπάρξουν και άλλες αποδείξεις.

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

Δεν χρειάστηκε να τρέξουμε να χρησιμοποιήσουμε κάποιον ήδη γνωστό "τυφλοσούρτη". Δημιουργήσαμε το δικό μας μονοπάτι!

Η Συνταγή της Επιτυχίας

• Οπτικοποίηση: Βρίσκουμε έναν τρόπο να κατανοήσουμε διαισθητικά το πρόβλημα. Αν το βλέπουμε, μπορούμε να σκεφτούμε δημιουργικά!
• Ανάπτυξη Συλλογισμού: Ρωτάμε "γιατί;" στο σχήμα μέχρι να φτάσουμε σε απλές αλήθειες.
• Αυστηροποίηση: Μεταφράζουμε τις οπτικές παρατηρήσεις σε αυστηρή μαθηματική γλώσσα.

Η διαδρομή συνεχίζεται!

Αν φαίνονται κάπως πολύπλοκα όλα αυτά τα βήματα, είναι απολύτως φυσιολογικό.

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