Ειδικές Ακολουθίες

Δύο από τις πιο σημαντικές ακολουθίες στα Μαθηματικά είναι η Αριθμητική και η Γεωμετρική Πρόοδος. Εμφανίζονται παντού: στην οικονομία 💰, στη φυσική ⚛️, στη βιολογία 🧬, και στα περίφημα παράδοξα του Ζήνωνα! 🐢

✨ Αριθμητική Πρόοδος (Α.Π.)

📌 Ορισμός

Ορισμός Αριθμητικής Προόδου

Αριθμητική πρόοδος λέγεται η ακολουθία $(a_\nu), \nu \in \mathbb{N}$ , της οποίας κάθε όρος (εκτός του πρώτου) προκύπτει από τον προηγούμενο προσθέτοντας τον ίδιο σταθερό αριθμό. Ο σταθερός αριθμός λέγεται διαφορά και συμβολίζεται με $\delta$ :

a_{\nu+1} = a_\nu + \delta \iff a_{\nu+1} - a_\nu = \delta, \quad \forall \nu \in \mathbb{N}

🎯 Παραδείγματα Α.Π.:

$2, 5, 8, 11, 14, \ldots$ με $a_1 = 2, \delta = 3$
$13, 10, 7, 4, 1, -2, \ldots$ με $a_1 = 13, \delta = -3$
$5, 5, 5, 5, \ldots$ με $a_1 = 5, \delta = 0$ (σταθερή)

🎯 Πότε ορίζεται πλήρως μια Α.Π.;

Πλήρης ορισμός

Μια αριθμητική πρόοδος ορίζεται πλήρως όταν γνωρίζουμε:

Τον πρώτο όρο $a_1$
Τη διαφορά $\delta$

Από αυτά, υπολογίζουμε οποιονδήποτε όρο μέσω του τύπου του γενικού όρου! 💡

📊 Μονοτονία Α.Π.

Η μονοτονία εξαρτάται μόνο από το πρόσημο του $\delta$ :

Πρόσημο $\delta$	Μονοτονία
$\delta > 0$	Γνησίως αύξουσα 📈
$\delta < 0$	Γνησίως φθίνουσα 📉
$\delta = 0$	Σταθερή ➡️

Αυτό προκύπτει άμεσα από τον ορισμό: $a_{\nu+1} - a_\nu = \delta$ , άρα το πρόσημο της διαφοράς = πρόσημο του $\delta$ . ✅

🔗 Χαρακτηριστική Ιδιότητα: Αριθμητικός Μέσος

Πρόταση

Τρεις αριθμοί $\alpha, \beta, \gamma$ είναι διαδοχικοί όροι αριθμητικής προόδου αν και μόνο αν:

2\beta = \alpha + \gamma

Απόδειξη:

(⇒) Αν $\alpha, \beta, \gamma$ είναι διαδοχικοί όροι Α.Π. με διαφορά $\delta$ , τότε:

\beta - \alpha = \delta \quad \text{και} \quad \gamma - \beta = \delta

Άρα $\beta - \alpha = \gamma - \beta \Rightarrow 2\beta = \alpha + \gamma$ . ✅

(⇐) Αν $2\beta = \alpha + \gamma$ , τότε $\beta - \alpha = \gamma - \beta$ , οπότε οι διαφορές διαδοχικών όρων είναι ίσες, άρα οι αριθμοί είναι διαδοχικοί όροι Α.Π. ✅

Ο $\beta$ λέγεται αριθμητικός μέσος των $\alpha, \gamma$ :

\beta = \dfrac{\alpha + \gamma}{2}

Παράδειγμα εφαρμογής

Δείξε ότι οι $1, \sigma\upsilon\nu^2\theta, \sigma\upsilon\nu 2\theta$ είναι διαδοχικοί όροι Α.Π.

Λύση: Θυμόμαστε ότι $\sigma\upsilon\nu^2\theta = \dfrac{1 + \sigma\upsilon\nu 2\theta}{2}$ .

Άρα $2\sigma\upsilon\nu^2\theta = 1 + \sigma\upsilon\nu 2\theta = \alpha + \gamma$ . ✅

📐 Τύπος Γενικού Όρου

Πρόταση: Γενικός Όρος Α.Π.

Ο γενικός όρος αριθμητικής προόδου με πρώτο όρο $a_1$ και διαφορά $\delta$ είναι:

a_\nu = a_1 + (\nu - 1)\delta, \quad \forall \nu \in \mathbb{N}

Απόδειξη (με Μαθηματική Επαγωγή): 🔄

Βήμα 1ο (Βάση): Για $\nu = 1$ : $a_1 = a_1 + (1-1)\delta = a_1$ . ✅

Βήμα 2ο (Επαγωγικό βήμα): Υποθέτουμε ότι $a_\kappa = a_1 + (\kappa - 1)\delta$ (επαγωγική υπόθεση).

Θα δείξουμε ότι $a_{\kappa+1} = a_1 + \kappa\delta$ . Έχουμε:

a_{\kappa+1} = a_\kappa + \delta = a_1 + (\kappa - 1)\delta + \delta = a_1 + \kappa\delta \checkmark

Άρα ισχύει για κάθε $\nu \in \mathbb{N}$ . ✅

Η διαίσθηση πίσω από τον τύπο

Ξεκινάμε από $a_1$ . Για να φτάσουμε στον $a_\nu$ , πρέπει να προσθέσουμε το $\delta$ $(\nu - 1)$ φορές:

a_1 \xrightarrow{+\delta} a_2 \xrightarrow{+\delta} a_3 \xrightarrow{+\delta} \cdots \xrightarrow{+\delta} a_\nu

Άρα $a_\nu = a_1 + (\nu-1)\delta$ . 🎯

🎯 Παράδειγμα: Υπολογισμός 12ου όρου

Αν $a_1 = -3$ και $\delta = 4$ :

a_{12} = a_1 + (12-1)\delta = -3 + 11 \cdot 4 = -3 + 44 = 41

✅

➕ Άθροισμα $\nu$ Πρώτων Όρων

Πρόταση: Άθροισμα Α.Π.

Το άθροισμα των $\nu$ πρώτων όρων Α.Π. είναι:

\Sigma_\nu = \dfrac{\nu(a_1 + a_\nu)}{2} \quad \text{ή} \quad \Sigma_\nu = \dfrac{\nu[2a_1 + (\nu - 1)\delta]}{2}

Απόδειξη (η «μέθοδος του Gauss»): 🧒

Γράφουμε το άθροισμα δύο φορές — μπροστά και ανάποδα:

\Sigma_\nu = a_1 + (a_1 + \delta) + (a_1 + 2\delta) + \cdots + (a_\nu - \delta) + a_\nu

\Sigma_\nu = a_\nu + (a_\nu - \delta) + (a_\nu - 2\delta) + \cdots + (a_1 + \delta) + a_1

Προσθέτοντας κατά στήλη:

2\Sigma_\nu = \underbrace{(a_1 + a_\nu) + (a_1 + a_\nu) + \cdots + (a_1 + a_\nu)}_{\nu \text{ φορές}} = \nu(a_1 + a_\nu)

Άρα $\Sigma_\nu = \dfrac{\nu(a_1 + a_\nu)}{2}$ . ✅

Η ιστορία του Gauss (1785)

Όταν ο Karl Friedrich Gauss ήταν 7 χρονών, ο δάσκαλός του ζήτησε από την τάξη να υπολογίσουν το $1 + 2 + 3 + \cdots + 100$ .

Ο μικρός Gauss παρατήρησε ότι:

(1+100) + (2+99) + (3+98) + \cdots + (50+51) = 50 \cdot 101 = 5050

Σε δευτερόλεπτα, είχε την απάντηση! 🏆 Αυτή η ιδέα είναι η βάση της απόδειξης παραπάνω.

🎯 Παράδειγμα: Άθροισμα 20 πρώτων όρων

Για $a_1 = 3, \delta = 2$ :

\Sigma_{20} = \dfrac{20[2 \cdot 3 + (20-1) \cdot 2]}{2} = \dfrac{20(6 + 38)}{2} = 10 \cdot 44 = 440

✅

✨ Γεωμετρική Πρόοδος (Γ.Π.)

📌 Ορισμός

Ορισμός Γεωμετρικής Προόδου

Γεωμετρική πρόοδος λέγεται η ακολουθία μη μηδενικών όρων, της οποίας κάθε όρος (εκτός του πρώτου) προκύπτει από τον προηγούμενο πολλαπλασιάζοντας με τον ίδιο σταθερό αριθμό. Ο σταθερός αριθμός λέγεται λόγος και συμβολίζεται με $\lambda$ :

a_{\nu+1} = \lambda a_\nu \iff \dfrac{a_{\nu+1}}{a_\nu} = \lambda, \quad \forall \nu \in \mathbb{N}

Απαιτείται $\lambda \neq 0$ (αλλιώς όλοι οι όροι εκτός του πρώτου θα ήταν 0).

🎯 Παραδείγματα Γ.Π.:

$3, 6, 12, 24, 48, \ldots$ με $a_1 = 3, \lambda = 2$
$81, 27, 9, 3, 1, \dfrac{1}{3}, \ldots$ με $a_1 = 81, \lambda = \dfrac{1}{3}$
$2, -4, 8, -16, \ldots$ με $a_1 = 2, \lambda = -2$

📊 Μονοτονία Γ.Π.

Ανάλυση μονοτονίας Γ.Π.

Η συμπεριφορά εξαρτάται από το $|\lambda|$ :

Αν $|\lambda| > 1$ : απόλυτα γνησίως αύξουσα (μεγαλώνει σε απόλυτη τιμή) 📈
Αν $0 < |\lambda| < 1$ : απόλυτα γνησίως φθίνουσα (μικραίνει σε απόλυτη τιμή) 📉
Αν $\lambda = 1$ : σταθερή ➡️
Αν $\lambda < 0$ : εναλλάσσεται πρόσημο → μη μονότονη 🔄

🔗 Χαρακτηριστική Ιδιότητα: Γεωμετρικός Μέσος

Πρόταση

Τρεις αριθμοί $\alpha, \beta, \gamma$ (μη μηδενικοί) είναι διαδοχικοί όροι Γ.Π. αν και μόνο αν:

\beta^2 = \alpha \gamma

Απόδειξη:

(⇒) $\dfrac{\beta}{\alpha} = \lambda$ και $\dfrac{\gamma}{\beta} = \lambda$ , άρα $\dfrac{\beta}{\alpha} = \dfrac{\gamma}{\beta} \Rightarrow \beta^2 = \alpha\gamma$ . ✅

(⇐) Αν $\beta^2 = \alpha\gamma$ , τότε $\dfrac{\beta}{\alpha} = \dfrac{\gamma}{\beta}$ , άρα κοινός λόγος. ✅

Σε Γ.Π. με θετικούς όρους, ο $\beta$ λέγεται γεωμετρικός μέσος των $\alpha, \gamma$ :

\beta = \sqrt{\alpha \gamma}

📐 Τύπος Γενικού Όρου

Πρόταση: Γενικός Όρος Γ.Π.

Ο γενικός όρος Γ.Π. με πρώτο όρο $a_1$ και λόγο $\lambda$ είναι:

a_\nu = a_1 \lambda^{\nu - 1}

Απόδειξη (με Μαθηματική Επαγωγή): 🔄

Βήμα 1ο: Για $\nu = 1$ : $a_1 \lambda^0 = a_1 \cdot 1 = a_1$ . ✅

Βήμα 2ο: Υποθέτουμε $a_\kappa = a_1 \lambda^{\kappa-1}$ . Τότε:

a_{\kappa+1} = \lambda \cdot a_\kappa = \lambda \cdot a_1 \lambda^{\kappa-1} = a_1 \lambda^\kappa \checkmark

Άρα ισχύει $\forall \nu \in \mathbb{N}$ . ✅

Η διαίσθηση

Για να φτάσουμε από $a_1$ στο $a_\nu$ , πολλαπλασιάζουμε $(\nu-1)$ φορές με το $\lambda$ :

a_1 \xrightarrow{\times\lambda} a_2 \xrightarrow{\times\lambda} \cdots \xrightarrow{\times\lambda} a_\nu = a_1 \cdot \lambda^{\nu-1}

➕ Άθροισμα $\nu$ Πρώτων Όρων

Πρόταση: Άθροισμα Γ.Π.

\Sigma_\nu = \dfrac{a_1(1 - \lambda^\nu)}{1 - \lambda}, \quad \lambda \neq 1

Αν $\lambda = 1$ , τότε $\Sigma_\nu = \nu a_1$ (σταθερή ακολουθία).

Απόδειξη: Γράφουμε:

\Sigma_\nu = a_1 + a_1\lambda + a_1\lambda^2 + \cdots + a_1\lambda^{\nu-1} \quad (1)

Πολλαπλασιάζουμε με $-\lambda$ :

-\lambda \Sigma_\nu = -a_1\lambda - a_1\lambda^2 - \cdots - a_1\lambda^{\nu-1} - a_1\lambda^\nu \quad (2)

Προσθέτουμε (1) + (2):

\Sigma_\nu - \lambda \Sigma_\nu = a_1 - a_1\lambda^\nu \Rightarrow (1-\lambda)\Sigma_\nu = a_1(1 - \lambda^\nu)

\Rightarrow \Sigma_\nu = \dfrac{a_1(1 - \lambda^\nu)}{1 - \lambda}

✅

🎯 Παράδειγμα: Άθροισμα 7 πρώτων όρων

Για $a_1 = 3, \lambda = 2$ :

\Sigma_7 = \dfrac{3(1 - 2^7)}{1 - 2} = \dfrac{3(1 - 128)}{-1} = \dfrac{3 \cdot (-127)}{-1} = 381

✅

♾️ Άθροισμα Απείρων Όρων

Εδώ εμφανίζεται μία από τις πιο όμορφες ιδέες των Μαθηματικών!

Πρόταση: Άθροισμα Απείρων Όρων

Το άθροισμα των απείρων όρων $(\Sigma_\infty)$ μιας απόλυτα γνησίως φθίνουσας γεωμετρικής προόδου (με $|\lambda| < 1$ ) είναι:

\Sigma_\infty = \dfrac{a_1}{1 - \lambda}, \quad |\lambda| < 1

Απόδειξη: Επειδή $|\lambda| < 1$ , έχουμε $\lim \lambda^\nu = 0$ . Άρα:

\Sigma_\infty = \lim \Sigma_\nu = \lim \dfrac{a_1(1 - \lambda^\nu)}{1 - \lambda} = \dfrac{a_1(1 - 0)}{1 - \lambda} = \dfrac{a_1}{1 - \lambda}

✅

Το Παράδοξο του Ζήνωνα — Λύση!

Στο παράδοξο του Αχιλλέα και της χελώνας, οι αποστάσεις που διανύει σχηματίζουν Γ.Π. με $|\lambda| < 1$ . Χάρη στην παραπάνω πρόταση:

\text{Συνολική απόσταση} = \dfrac{a_1}{1 - \lambda} < +\infty

Ο Αχιλλέας φτάνει τη χελώνα! Η αθροιστική απόσταση είναι πεπερασμένη παρά τους άπειρους όρους. 🏃🏆

🎯 Παράδειγμα: Απείρων όρων

Υπολόγισε $\Sigma_\infty$ για Γ.Π. με $a_1 = 2, \lambda = -\dfrac{1}{2}$ .

\Sigma_\infty = \dfrac{2}{1 - (-\tfrac{1}{2})} = \dfrac{2}{\tfrac{3}{2}} = \dfrac{4}{3}

✅

💰 Τύπος του Ανατοκισμού

Εφαρμογή: Ανατοκισμός

Αν καταθέσουμε κεφάλαιο $\alpha$ ευρώ σε τράπεζα με ετήσιο επιτόκιο $\varepsilon\%$ , τότε μετά από $\nu$ χρόνια ανατοκισμού, το κεφάλαιο γίνεται:

a_\nu = \alpha \left(1 + \dfrac{\varepsilon}{100}\right)^\nu

Αν θέσουμε $\tau = \dfrac{\varepsilon}{100}$ , τότε: $a_\nu = \alpha(1 + \tau)^\nu$ — ο τύπος του ανατοκισμού. 💰

🔍 Γιατί είναι Γ.Π.;

Κάθε χρόνο, το κεφάλαιο πολλαπλασιάζεται με τον σταθερό παράγοντα $\left(1 + \dfrac{\varepsilon}{100}\right)$ :

a \xrightarrow{\times(1+\tau)} a_1 \xrightarrow{\times(1+\tau)} a_2 \xrightarrow{\times(1+\tau)} \cdots

Άρα σχηματίζεται Γ.Π. με λόγο $\lambda = 1 + \dfrac{\varepsilon}{100} > 1$ — απόλυτα γνησίως αύξουσα. 📈

Παράδειγμα: Αύξηση πληθυσμού

Πληθυσμός πόλης αυξάνεται 10% τον χρόνο. Αν το 2021 ήταν 10.000 άτομα, πόσοι θα είναι το 2026;

Είναι Γ.Π. με $a_1 = 10000, \lambda = 1{,}1$ . Το 2026 είναι ο 6ος όρος:

a_6 = 10000 \cdot (1{,}1)^5 \approx 10000 \cdot 1{,}61051 = 16105

👥

🗝️ Συνοπτικός Πίνακας

Πίνακας Σύγκρισης Α.Π. — Γ.Π.

Χαρακτηριστικό	Αριθμητική Πρόοδος	Γεωμετρική Πρόοδος
Αναδρομική	$a_{\nu+1} = a_\nu + \delta$	$a_{\nu+1} = \lambda a_\nu$
Σχέση	$a_{\nu+1} - a_\nu = \delta$	$\dfrac{a_{\nu+1}}{a_\nu} = \lambda$
Γενικός όρος	$a_\nu = a_1 + (\nu-1)\delta$	$a_\nu = a_1 \lambda^{\nu-1}$
Διαδοχικοί	$2\beta = \alpha + \gamma$	$\beta^2 = \alpha\gamma$
Μέσος	$\beta = \dfrac{\alpha+\gamma}{2}$	$\beta = \sqrt{\alpha\gamma}$
Άθροισμα $\nu$	$\dfrac{\nu(a_1+a_\nu)}{2}$	$\dfrac{a_1(1-\lambda^\nu)}{1-\lambda}$
Άθροισμα $\infty$	Δεν υπάρχει	$\dfrac{a_1}{1-\lambda}$ , αν $

Ειδικές Ακολουθίες

✨ Αριθμητική Πρόοδος (Α.Π.)

📌 Ορισμός

🎯 Πότε ορίζεται πλήρως μια Α.Π.;

📊 Μονοτονία Α.Π.

🔗 Χαρακτηριστική Ιδιότητα: Αριθμητικός Μέσος

📐 Τύπος Γενικού Όρου

🎯 Παράδειγμα: Υπολογισμός 12ου όρου

➕ Άθροισμα ν\nuν Πρώτων Όρων

🎯 Παράδειγμα: Άθροισμα 20 πρώτων όρων

✨ Γεωμετρική Πρόοδος (Γ.Π.)

📌 Ορισμός

📊 Μονοτονία Γ.Π.

🔗 Χαρακτηριστική Ιδιότητα: Γεωμετρικός Μέσος

📐 Τύπος Γενικού Όρου

➕ Άθροισμα ν\nuν Πρώτων Όρων

🎯 Παράδειγμα: Άθροισμα 7 πρώτων όρων

♾️ Άθροισμα Απείρων Όρων

🎯 Παράδειγμα: Απείρων όρων

💰 Τύπος του Ανατοκισμού

🔍 Γιατί είναι Γ.Π.;

🗝️ Συνοπτικός Πίνακας

➕ Άθροισμα $\nu$ Πρώτων Όρων

➕ Άθροισμα $\nu$ Πρώτων Όρων