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

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

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

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

Μια ακολουθία $(\alpha_\nu)$ λέγεται αριθμητική πρόοδος όταν κάθε όρος προκύπτει από τον προηγούμενο με πρόσθεση μιας σταθεράς $\delta$ , που ονομάζεται διαφορά:

\alpha_{\nu+1} = \alpha_\nu + \delta \quad \Leftrightarrow \quad \alpha_{\nu+1} - \alpha_\nu = \delta

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

Μονοτονία της Α.Π. 📈📉

Το πρόσημο της διαφοράς $\delta$ καθορίζει πλήρως τη συμπεριφορά της ακολουθίας:

Αν $\delta > 0$ : η Α.Π. είναι γνήσια αύξουσα 📈
Αν $\delta < 0$ : η Α.Π. είναι γνήσια φθίνουσα 📉
Αν $\delta = 0$ : η Α.Π. είναι σταθερή (όλοι οι όροι ίσοι με $\alpha_1$ )

Γενικός όρος Α.Π.

Γενικός Όρος Α.Π. 🎯

\alpha_\nu = \alpha_1 + (\nu - 1)\cdot\delta

Απόδειξη (διαισθητικά): Ξεκινώντας από τον $\alpha_1$ , προσθέτουμε τη διαφορά $\delta$ μία φορά για να φτάσουμε στον $\alpha_2$ , δύο φορές για τον $\alpha_3$ , και γενικά $(\nu - 1)$ φορές για να φτάσουμε στον $\alpha_\nu$ . Άρα:

\alpha_\nu = \alpha_1 + \underbrace{\delta + \delta + \cdots + \delta}_{\nu - 1 \text{ φορές}} = \alpha_1 + (\nu-1)\delta

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

Άθροισμα των $\nu$ πρώτων όρων Α.Π.

Άθροισμα $\nu$ πρώτων όρων Α.Π. ➕

\Sigma_\nu = \frac{\nu(\alpha_1 + \alpha_\nu)}{2} = \frac{\nu\bigl(2\alpha_1 + (\nu-1)\delta\bigr)}{2}

Απόδειξη (ο θρυλικός τρόπος του Gauss):

Γράφουμε το $\Sigma_\nu$ μία φορά κανονικά και μία με αντίστροφη σειρά:

\Sigma_\nu = \alpha_1 + \alpha_2 + \cdots + \alpha_{\nu-1} + \alpha_\nu

\Sigma_\nu = \alpha_\nu + \alpha_{\nu-1} + \cdots + \alpha_2 + \alpha_1

Προσθέτοντας κατά μέλη, κάθε ζεύγος αντίστοιχων όρων δίνει άθροισμα $\alpha_1 + \alpha_\nu$ (αφού αν προχωρήσουμε στην πρώτη γραμμή κατά $k$ , πρέπει στη δεύτερη να υποχωρήσουμε κατά $k$ , και οι δύο μετακινήσεις ακυρώνονται). Επειδή υπάρχουν $\nu$ τέτοια ζεύγη:

2\Sigma_\nu = \nu(\alpha_1 + \alpha_\nu) \;\;\Rightarrow\;\; \Sigma_\nu = \frac{\nu(\alpha_1 + \alpha_\nu)}{2}

Αντικαθιστώντας $\alpha_\nu = \alpha_1 + (\nu-1)\delta$ παίρνουμε τη δεύτερη μορφή.

Αριθμητικός μέσος

Αριθμητικός Μέσος 🔗

Αν $\alpha, \beta, \gamma$ είναι τρεις διαδοχικοί όροι Α.Π., τότε:

2\beta = \alpha + \gamma \quad \Leftrightarrow \quad \beta = \frac{\alpha + \gamma}{2}

Δηλαδή ο μεσαίος όρος $\beta$ είναι ο αριθμητικός μέσος των δύο ακραίων.

Αυτή η ιδιότητα αποτελεί συχνά κριτήριο: αν τρεις αριθμοί ικανοποιούν τη σχέση $2\beta = \alpha + \gamma$ , τότε είναι διαδοχικοί όροι κάποιας Α.Π.

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

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

Μια ακολουθία $(\alpha_\nu)$ με $\alpha_\nu \neq 0$ για κάθε $\nu \in \mathbb{N}^*$ λέγεται γεωμετρική πρόοδος όταν κάθε όρος προκύπτει από τον προηγούμενο με πολλαπλασιασμό επί μια σταθερά $\lambda \neq 0$ , που ονομάζεται λόγος:

\alpha_{\nu+1} = \lambda \cdot \alpha_\nu \quad \Leftrightarrow \quad \frac{\alpha_{\nu+1}}{\alpha_\nu} = \lambda

Δηλαδή μια ακολουθία είναι Γ.Π. αν και μόνο αν ο λόγος δύο διαδοχικών όρων είναι σταθερός.

Μονοτονία της Γ.Π.

Μονοτονία Γ.Π. — Προσοχή στο πρόσημο! ⚠️

Η μονοτονία της Γ.Π. εξαρτάται και από τον λόγο $\lambda$ και από το πρόσημο του πρώτου όρου $\alpha_1$ :

$\lambda > 1$ και $\alpha_1 > 0$ : γνήσια αύξουσα 📈
$\lambda > 1$ και $\alpha_1 < 0$ : γνήσια φθίνουσα 📉
$0 < \lambda < 1$ και $\alpha_1 > 0$ : γνήσια φθίνουσα 📉
$0 < \lambda < 1$ και $\alpha_1 < 0$ : γνήσια αύξουσα 📈
$\lambda = 1$ : σταθερή ακολουθία
$\lambda < 0$ : εναλλαγή προσήμου (δεν είναι μονότονη)
$|\lambda| > 1$ : οι απόλυτες τιμές μεγαλώνουν
$|\lambda| < 1$ : οι απόλυτες τιμές μικραίνουν (τείνουν στο 0)

Γενικός όρος Γ.Π.

Γενικός Όρος Γ.Π. 🎯

\alpha_\nu = \alpha_1 \cdot \lambda^{\nu-1}

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

\alpha_2 = \alpha_1 \lambda, \quad \alpha_3 = \alpha_2 \lambda = \alpha_1 \lambda^2, \quad \alpha_4 = \alpha_3 \lambda = \alpha_1 \lambda^3, \quad \ldots

Γενικά, για να περάσουμε από τον $\alpha_1$ στον $\alpha_\nu$ , πολλαπλασιάζουμε επί $\lambda$ ακριβώς $(\nu-1)$ φορές, άρα $\alpha_\nu = \alpha_1 \lambda^{\nu-1}$ .

Γεωμετρικός μέσος

Γεωμετρικός Μέσος 🔗

Αν $\alpha, \beta, \gamma$ είναι τρεις διαδοχικοί όροι Γ.Π., τότε:

\beta^2 = \alpha \cdot \gamma

Για θετικούς όρους, $\beta = \sqrt{\alpha\gamma}$ λέγεται γεωμετρικός μέσος των $\alpha$ και $\gamma$ .

Αυτό προκύπτει από το γεγονός ότι $\frac{\beta}{\alpha} = \frac{\gamma}{\beta} = \lambda$ , οπότε $\beta^2 = \alpha\gamma$ .

Άθροισμα $\nu$ πρώτων όρων Γ.Π.

Άθροισμα $\nu$ πρώτων όρων Γ.Π. ➕

Για $\lambda \neq 1$ :

\Sigma_\nu = \alpha_1 \cdot \frac{1 - \lambda^\nu}{1 - \lambda}

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

\Sigma_\nu = \alpha_1 + \alpha_1\lambda + \alpha_1\lambda^2 + \cdots + \alpha_1\lambda^{\nu-1}

Πολλαπλασιάζουμε και τα δύο μέλη επί $\lambda$ :

\lambda \Sigma_\nu = \alpha_1\lambda + \alpha_1\lambda^2 + \cdots + \alpha_1\lambda^{\nu-1} + \alpha_1\lambda^\nu

Αφαιρώντας κατά μέλη (τηλεσκοπικά, οι ενδιάμεσοι όροι απλοποιούνται):

\Sigma_\nu - \lambda\Sigma_\nu = \alpha_1 - \alpha_1\lambda^\nu \;\;\Rightarrow\;\; \Sigma_\nu(1-\lambda) = \alpha_1(1-\lambda^\nu)

Διαιρώντας με $(1 - \lambda)$ (επιτρεπτό αφού $\lambda \neq 1$ ):

\Sigma_\nu = \alpha_1 \cdot \frac{1 - \lambda^\nu}{1 - \lambda}

Γιατί απαιτούμε $\lambda \neq 1$; 🚫

Αν $\lambda = 1$ , η ακολουθία είναι σταθερή (όλοι οι όροι ίσοι με $\alpha_1$ ) και το άθροισμα υπολογίζεται άμεσα:

\Sigma_\nu = \nu \cdot \alpha_1

Ο τύπος $\Sigma_\nu = \alpha_1 \cdot \frac{1 - \lambda^\nu}{1 - \lambda}$ δεν ορίζεται όταν $\lambda = 1$ , γιατί εμφανίζει διαίρεση με το μηδέν.

Άθροισμα άπειρων όρων — Σύγκλιση ♾️

Τι συμβαίνει όταν προσθέτουμε άπειρους όρους μιας Γ.Π.; Αυτό το ερώτημα συνδέεται άμεσα με τα παράδοξα του Ζήνωνα!

Άθροισμα Άπειρων Όρων Γ.Π. ♾️

Αν $|\lambda| < 1$ , τότε καθώς το $\nu \to \infty$ , οι δυνάμεις $\lambda^\nu \to 0$ , οπότε το άθροισμα συγκλίνει σε πεπερασμένη τιμή:

\Sigma_\infty = \frac{\alpha_1}{1 - \lambda}

Ιδέα απόδειξης: Στον τύπο $\Sigma_\nu = \alpha_1 \cdot \frac{1 - \lambda^\nu}{1 - \lambda}$ , όταν $|\lambda| < 1$ το $\lambda^\nu$ τείνει στο 0 καθώς μεγαλώνει το $\nu$ . Επομένως:

\lim_{\nu \to \infty} \Sigma_\nu = \alpha_1 \cdot \frac{1 - 0}{1 - \lambda} = \frac{\alpha_1}{1 - \lambda}

Η σύγκλιση απαιτεί $|\lambda| < 1$ ⚠️

Αν $|\lambda| \geq 1$ , το άθροισμα των άπειρων όρων δεν συγκλίνει — είτε απειρίζεται (για $|\lambda| > 1$ ) είτε ταλαντώνεται (για $\lambda = -1$ ). Η τυπική παγίδα είναι να εφαρμόσει κανείς τον τύπο $\frac{\alpha_1}{1-\lambda}$ χωρίς να ελέγξει τη συνθήκη $|\lambda| < 1$ . 🙅

Ένα κλασικό παράδειγμα: το άθροισμα

1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = \frac{1}{1 - \frac{1}{2}} = 2

απαντά ακριβώς στο παράδοξο του Αχιλλέα και της χελώνας — άπειροι όροι συνθέτουν πεπερασμένο άθροισμα. 🐢⚡