Θεώρημα Stolz–Cesàro

Στα μαθηματικά, το θεώρημα Stolz–Cesàro είναι ένα κριτήριο για την απόδειξη της σύγκλισης μιας ακολουθίας. Πήρε το όνομά του από τους μαθηματικούς Otto Stolz και Ernesto Cesàro, οι οποίοι το δήλωσαν και το απέδειξαν για πρώτη φορά.

Το θεώρημα για την περίπτωση Πρότυπο:Math

Έστω $(a_{n})_{n \geq 1}$ και $(b_{n})_{n \geq 1}$ δύο ακολουθίες πραγματικών αριθμών. Έστω ότι η $(b_{n})_{n \geq 1}$ είναι μια γνησίως μονότονη και αποκλίνουσα ακολουθία (δηλ. γνησίως αύξουσα αν τείνει στο $+ \infty$ , ή γνησίως φθίνουσα αν τείνει στο $- \infty$ ) και ότι υπάρχει το ακόλουθο όριο:

\lim_{n \to \infty} \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} = l .

Τότε, το όριο

\lim_{n \to \infty} \frac{a_{n}}{b_{n}} = l .

Το θεώρημα για την περίπτωση Πρότυπο:Math

Έστω $(a_{n})_{n \geq 1}$ και $(b_{n})_{n \geq 1}$ δύο ακολουθίες πραγματικών αριθμών. Έστω τώρα ότι $(a_{n}) \to 0$ και $(b_{n}) \to 0$ , ενώ η $(b_{n})_{n \geq 1}$ είναι γνησίως φθίνουσα. Αν

\lim_{n \to \infty} \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} = l,

τότε

\lim_{n \to \infty} \frac{a_{n}}{b_{n}} = l .

^[1]

Αποδείξεις

Απόδειξη του θεωρήματος για την περίπτωση Πρότυπο:Math

Περίπτωση 1: Έστω ότι η $(b_{n})$ είναι γνησίως αύξουσα και αποκλίνουσα που τείνει στο $+ \infty$ , και $- \infty < l < \infty$ . Από την υπόθεση, έχουμε ότι για κάθε $ϵ / 2 > 0$ υπάρχει $ν > 0$ τέτοιο ώστε $\forall n > ν$

| \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} - l | < \frac{ϵ}{2},

που σημαίνει ότι

l - ϵ / 2 < \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} < l + ϵ / 2, \forall n > ν .

Αφού η $(b_{n})$ είναι γνησίως αύξουσα, $b_{n + 1} - b_{n} > 0$ , και ισχύει το ακόλουθο:

(l - ϵ / 2) (b_{n + 1} - b_{n}) < a_{n + 1} - a_{n} < (l + ϵ / 2) (b_{n + 1} - b_{n}), \forall n > ν

.

Στη συνέχεια, παρατηρούμε ότι

a_{n} = [(a_{n} - a_{n - 1}) + \dots + (a_{ν + 2} - a_{ν + 1})] + a_{ν + 1}

οπότε, εφαρμόζοντας την παραπάνω ανισότητα σε κάθε έναν από τους όρους στις αγκύλες, προκύπτει ότι

\begin{matrix} (l - ϵ / 2) (b_{n} - b_{ν + 1}) + a_{ν + 1} = (l - ϵ / 2) [(b_{n} - b_{n - 1}) + \dots + (b_{ν + 2} - b_{ν + 1})] + a_{ν + 1} < a_{n} \\ a_{n} < (l + ϵ / 2) [(b_{n} - b_{n - 1}) + \dots + (b_{ν + 2} - b_{ν + 1})] + a_{ν + 1} = (l + ϵ / 2) (b_{n} - b_{ν + 1}) + a_{ν + 1} . \end{matrix}

Τώρα, αφού $b_{n} \to + \infty$ όσο το $n \to \infty$ , υπάρχει ένα $n_{0} > 0$ τέτοιο ώστε $b_{n} > 0$ για κάθε $n > n_{0}$ , και μπορούμε να διαιρέσουμε τις δύο ανισότητες με $b_{n}$ για κάθε $n > \max {ν, n_{0}}$ :

(l - ϵ / 2) + \frac{a_{ν + 1} - b_{ν + 1} (l - ϵ / 2)}{b_{n}} < \frac{a_{n}}{b_{n}} < (l + ϵ / 2) + \frac{a_{ν + 1} - b_{ν + 1} (l + ϵ / 2)}{b_{n}} .

Οι δύο ακολουθίες (οι οποίες ορίζονται μόνο για $n > n_{0}$ καθώς θα μπορούσε να υπάρχει ένα $N \leq n_{0}$ τέτοιο ώστε $b_{N} = 0$ )

c_{n}^{\pm} : = \frac{a_{ν + 1} - b_{ν + 1} (l \pm ϵ / 2)}{b_{n}}

είναι απειροελάχιστες (απειροστές), αφού $b_{n} \to + \infty$ και ο αριθμητής είναι ένας σταθερός αριθμός, άρα για κάθε $ϵ / 2 > 0$ υπάρχει $n_{\pm} > n_{0} > 0$ , τέτοιο ώστε

\begin{matrix} | c_{n}^{+} | < ϵ / 2, \forall n > n_{+}, \\ | c_{n}^{-} | < ϵ / 2, \forall n > n_{-}, \end{matrix}

επομένως

l - ϵ < l - ϵ / 2 + c_{n}^{-} < \frac{a_{n}}{b_{n}} < l + ϵ / 2 + c_{n}^{+} < l + ϵ, \forall n > \max {ν, n_{\pm}} = : N > 0,

που ολοκληρώνει την απόδειξη. Η περίπτωση για $(b_{n})$ γνησίως φθίνουσα και αποκλίνουσα που τείνει στο $- \infty$ και $l < \infty$ είναι παρόμοια.

Περίπτωση 2: Έστω ότι η $(b_{n})$ είναι γνησίως αύξουσα και αποκλίνουσα που τείνει στο $+ \infty$ , και $l = + \infty$ . Προχωρώντας όπως πριν, για κάθε $2 M > 0$ υπάρχει $ν > 0$ τέτοιο ώστε για κάθε $n > ν$

\frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} > 2 M .

Εφαρμόζοντας πάλι την παραπάνω ανισότητα σε κάθε έναν από τους όρους μέσα στις αγκύλες, παίρνουμε ότι

a_{n} > 2 M (b_{n} - b_{ν + 1}) + a_{ν + 1}, \forall n > ν,

και

\frac{a_{n}}{b_{n}} > 2 M + \frac{a_{ν + 1} - 2 M b_{ν + 1}}{b_{n}}, \forall n > \max {ν, n_{0}} .

Η ακολουθία $(c_{n})_{n > n_{0}}$ που ορίζεται ως

c_{n} : = \frac{a_{ν + 1} - 2 M b_{ν + 1}}{b_{n}}

είναι απειροελάχιστη (απειροστή), επομένως

\forall M > 0 \exists \bar{n} > n_{0} > 0 τέτοιο ώστε - M < c_{n} < M, \forall n > \bar{n}

Συνδυάζοντας αυτή την ανισότητα με την προηγούμενη, καταλήγουμε στο ότι

\frac{a_{n}}{b_{n}} > 2 M + c_{n} > M, \forall n > \max {ν, \bar{n}} = : N .

Οι αποδείξεις των άλλων περιπτώσεων με την $(b_{n})$ γνησίως αύξουσα ή φθίνουσα και να τείνει στο $+ \infty$ ή $- \infty$ αντίστοιχα και $l = \pm \infty$ προχωρούν με τον ίδιο τρόπο.

Απόδειξη του θεωρήματος για την περίπτωση Πρότυπο:Math

Περίπτωση 1: Εξετάζουμε πρώτα την περίπτωση όπου $l < \infty$ και η $(b_{n})$ είναι γνησίως φθίνουσα. Αυτή τη φορά, για κάθε $ν > 0$ , μπορούμε να γράψουμε

a_{n} = (a_{n} - a_{n + 1}) + \dots + (a_{n + ν - 1} - a_{n + ν}) + a_{n + ν},

και για κάθε $ϵ / 2 > 0,$ $\exists n_{0}$ τέτοιο ώστε για κάθε $n > n_{0}$ έχουμε ότι

\begin{matrix} (l - ϵ / 2) (b_{n} - b_{n + ν}) + a_{n + ν} = (l - ϵ / 2) [(b_{n} - b_{n + 1}) + \dots + (b_{n + ν - 1} - b_{n + ν})] + a_{n + ν} < a_{n} \\ a_{n} < (l + ϵ / 2) [(b_{n} - b_{n + 1}) + \dots + (b_{n + ν - 1} - b_{n + ν})] + a_{n + ν} = (l + ϵ / 2) (b_{n} - b_{n + ν}) + a_{n + ν} . \end{matrix}

Οι δύο ακολουθίες

c_{ν}^{\pm} : = \frac{a_{n + ν} - b_{n + ν} (l \pm ϵ / 2)}{b_{n}}

είναι απειροελάχιστες (απειροστές), αφού αφού από την υπόθεση $a_{n + ν}, b_{n + ν} \to 0$ όσο το $ν \to \infty$ , άρα για κάθε $ϵ / 2 > 0$ υπάρχουν $ν_{\pm} > 0$ τέτοια ώστε

\begin{matrix} | c_{ν}^{+} | < ϵ / 2, \forall ν > ν_{+}, \\ | c_{ν}^{-} | < ϵ / 2, \forall ν > ν_{-} . \end{matrix}

Έτσι, επιλέγοντας κατάλληλα $ν$ (δηλαδή, παίρνοντας το όριο με μεταβλητή το $ν$ ) παίρνουμε ότι

l - ϵ < l - ϵ / 2 + c_{ν}^{-} < \frac{a_{n}}{b_{n}} < l + ϵ / 2 + c_{ν}^{+} < l + ϵ, \forall n > n_{0}

που ολοκληρώνει την απόδειξη.

Περίπτωση 2: Έστω ότι $l = + \infty$ και η $(b_{n})$ είναι γνησίως φθίνουσα. Για κάθε $2 M > 0$ υπάρχει $n_{0} > 0$ τέτοιο ώστε για κάθε $n > n_{0},$

\frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} > 2 M ⟹ a_{n} - a_{n + 1} > 2 M (b_{n} - b_{n + 1}) .

Επομένως, για κάθε $ν > 0,$

\frac{a_{n}}{b_{n}} > 2 M + \frac{a_{n + ν} - 2 M b_{n + ν}}{b_{n}}, \forall n > n_{0} .

Η ακολουθία

c_{ν} : = \frac{a_{n + ν} - 2 M b_{n + ν}}{b_{n}}

συγκλίνει στο $0$ (σταθεροποιώντας το $n$ ). Επομένως,

\forall M > 0 \exists \bar{ν} > 0

τέτοιο ώστε

- M < c_{ν} < M, \forall ν > \bar{ν}

και, επιλέγοντας κατάλληλο $ν$ , ολοκληρώνεται η απόδειξη:

\frac{a_{n}}{b_{n}} > 2 M + c_{ν} > M, \forall n > n_{0} .

Εφαρμογές και παραδείγματα

Το θεώρημα σχετικά με την περίπτωση Πρότυπο:Math έχει μερικές αξιοσημείωτες συνέπειες που είναι χρήσιμες για τον υπολογισμό των ορίων.

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

Έστω $(x_{n})$ μια ακολουθία πραγματικών αριθμών που συγκλίνει στο $l$ . Ορίζουμε

a_{n} : = \sum_{m = 1}^{n} x_{m} = x_{1} + \dots + x_{n}, b_{n} : = n .

Τότε, η $(b_{n})$ είναι γνησίως αύξουσα και αποκλίνει στο $+ \infty$ . Υπολογίζουμε:

\lim_{n \to \infty} \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} = \lim_{n \to \infty} x_{n + 1} = \lim_{n \to \infty} x_{n} = l .

Επομένως

\lim_{n \to \infty} \frac{x_{1} + \dots + x_{n}}{n} = \lim_{n \to \infty} x_{n} .

Δεδομένης οποιασδήποτε ακολουθίας
$(x_{n})_{n \geq 1}$
των πραγματικών αριθμών, ας υποθέσουμε ότι το
$\lim_{n \to \infty} x_{n}$

υπάρχει (πεπερασμένο ή άπειρο). Τότε

$\lim_{n \to \infty} \frac{x_{1} + \dots + x_{n}}{n} = \lim_{n \to \infty} x_{n} .$

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

Έστω $(x_{n})$ μια ακολουθία θετικών πραγματικών αριθμών που συγκλίνει στο $l$ . Ορίζουμε

a_{n} : = \log (x_{1} \dots x_{n}), b_{n} : = n .

Πάλι υπολογίζουμε:

\lim_{n \to \infty} \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} = \lim_{n \to \infty} \log (\frac{x_{1} \dots x_{n + 1}}{x_{1} \dots x_{n}}) = \lim_{n \to \infty} \log (x_{n + 1}) = \lim_{n \to \infty} \log (x_{n}) = \log (l),

όπου χρησιμοποιήσαμε το γεγονός ότι ο λογάριθμος είναι συνεχής. Έτσι,

\lim_{n \to \infty} \frac{\log (x_{1} \dots x_{n})}{n} = \lim_{n \to \infty} \log ((x_{1} \dots x_{n})^{\frac{1}{n}}) = \log (l) .

Δεδομένου ότι ο λογάριθμος είναι συνεχής και είναι 1-1 και επί, συμπεραίνουμε ότι

\lim_{n \to \infty} \sqrt[n]{x_{1} \dots x_{n}} = \lim_{n \to \infty} x_{n}

.

Δεδομένης οποιασδήποτε ακολουθίας
$(x_{n})_{n \geq 1}$
των (αυστηρά) θετικών πραγματικών αριθμών, ας υποθέσουμε ότι το
$\lim_{n \to \infty} x_{n}$

υπάρχει (πεπερασμένο ή άπειρο). Τότε

$\lim_{n \to \infty} \sqrt[n]{x_{1} \dots x_{n}} = \lim_{n \to \infty} x_{n} .$

Έστω ότι μας δίνεται μια ακολουθία

(y_{n})_{n \geq 1}

και μας ζητείται να υπολογίσουμε το

\lim_{n \to \infty} \sqrt[n]{y_{n}} .

Ορίζοντας $y_{0} = 1$ και $x_{n} = y_{n} / y_{n - 1}$ , έχουμε ότι

\lim_{n \to \infty} \sqrt[n]{x_{1} \dots x_{n}} = \lim_{n \to \infty} \sqrt[n]{\frac{y_{1} \dots y_{n}}{y_{0} \cdot y_{1} \dots y_{n - 1}}} = \lim_{n \to \infty} \sqrt[n]{y_{n}} .

Αν εφαρμόσουμε την παραπάνω ιδιότητα,

\lim_{n \to \infty} \sqrt[n]{y_{n}} = \lim_{n \to \infty} x_{n} = \lim_{n \to \infty} \frac{y_{n}}{y_{n - 1}} .

Αυτή η τελευταία μορφή είναι συνήθως η πιο χρήσιμη για τον υπολογισμό ορίων.

Δεδομένης οποιασδήποτε ακολουθίας
$(y_{n})_{n \geq 1}$
των (αυστηρά) θετικών πραγματικών αριθμών, ας υποθέσουμε ότι το
$\lim_{n \to \infty} \frac{y_{n + 1}}{y_{n}}$

υπάρχει (πεπερασμένο ή άπειρο). Τότε

$\lim_{n \to \infty} \sqrt[n]{y_{n}} = \lim_{n \to \infty} \frac{y_{n + 1}}{y_{n}} .$

Παραδείγματα

Παράδειγμα 1

\lim_{n \to \infty} \sqrt[n]{n} = \lim_{n \to \infty} \frac{n + 1}{n} = 1 .

Παράδειγμα 2

\begin{matrix} \lim_{n \to \infty} \frac{\sqrt[n]{n!}}{n} & = \lim_{n \to \infty} \frac{(n + 1)! (n^{n})}{n! (n + 1)^{n + 1}} \\ = \lim_{n \to \infty} \frac{n^{n}}{(n + 1)^{n}} = \lim_{n \to \infty} \frac{1}{(1 + \frac{1}{n})^{n}} = \frac{1}{e}, \end{matrix}

όπου χρησιμοποιήσαμε την αναπαράσταση του $e$ ως το όριο μιας ακολουθίας.

Ιστορία

Η περίπτωση ∞/∞ αναφέρεται και αποδεικνύεται στις σελίδες 173-175 του βιβλίου του Stolz το 1885 και επίσης στη σελίδα 54 του άρθρου του Cesàro το 1888.

Εμφανίζεται ως το Πρόβλημα 70 στο Pólya and Szegő (1925).

Η γενική μορφή

Πρόταση

Η γενική μορφή του θεωρήματος Stolz–Cesàro είναι η εξής: Έστω $(a_{n})_{n \geq 1}$ και $(b_{n})_{n \geq 1}$ δύο ακολουθίες τέτοιες ώστε η $(b_{n})_{n \geq 1}$ να είναι μονότονη και μη φραγμένη. Τότε:

\underset{n \to \infty}{lim inf} \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} \leq \underset{n \to \infty}{lim inf} \frac{a_{n}}{b_{n}} \leq \underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}} \leq \underset{n \to \infty}{lim sup} \frac{a_{n + 1} - a_{n}}{b_{n + 1} - b_{n}} .

Απόδειξη

Αντί να αποδείξουμε την προηγούμενη πρόταση, θα αποδείξουμε μια ελαφρώς διαφορετική. Πρώτα απ' όλα, εισάγουμε μια σημειογραφία: Αν

(a_{n})_{n \geq 1}

είναι μια ακολουθία, τότε το μερικό άθροισμά της θα συμβολίζεται με

A_{n} : = \sum_{m \geq 1}^{n} a_{m}

. Η ισοδύναμη πρόταση που θα αποδείξουμε είναι η εξής:

Έστω
$(a_{n})_{n \geq 1}, (b_{n})_{\geq 1}$
οποιεσδήποτε δύο ακολουθίες πραγματικών αριθμών τέτοιες ώστε
$b_{n} > 0, \forall n \in ℤ_{> 0}$ ,

$\lim_{n \to \infty} B_{n} = + \infty$ .

Τότε

$\underset{n \to \infty}{lim inf} \frac{a_{n}}{b_{n}} \leq \underset{n \to \infty}{lim inf} \frac{A_{n}}{B_{n}} \leq \underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}} \leq \underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}} .$

Απόδειξη της ισοδύναμης πρότασης

Αρχικά παρατηρούμε ότι:

$\underset{n \to \infty}{lim inf} \frac{A_{n}}{B_{n}} \leq \underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}}$ (εξ ορισμού).
$\underset{n \to \infty}{lim inf} \frac{a_{n}}{b_{n}} \leq \underset{n \to \infty}{lim inf} \frac{A_{n}}{B_{n}}$ ισχύει αν και μόνο αν $\underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}} \leq \underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}}$ , επειδή $\underset{n \to \infty}{lim inf} x_{n} = - \underset{n \to \infty}{lim sup} (- x_{n})$ για κάθε ακολουθία $(x_{n})_{n \geq 1}$ .

Επομένως, δεν έχουμε παρά να δείξουμε ότι $\underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}} \leq \underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}}$ . Αν $L : = \underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}} = + \infty$ δεν υπάρχει τίποτα να αποδείξουμε, επομένως μπορούμε να υποθέσουμε ότι $L < + \infty$ (μπορεί να είναι είτε πεπερασμένο είτε $- \infty$ ). Εξ ορισμού του $lim sup$ , για κάθε $l > L$ υπάρχει ένας φυσικός αριθμός $ν > 0$ τέτοιος ώστε

\frac{a_{n}}{b_{n}} < l, \forall n > ν .

Μπορούμε να χρησιμοποιήσουμε αυτήν την ανισότητα για να γράψουμε

A_{n} = A_{ν} + a_{ν + 1} + \dots + a_{n} < A_{ν} + l (B_{n} - B_{ν}), \forall n > ν .

Επειδή $b_{n} > 0$ , έχουμε επίσης ότι $B_{n} > 0$ και μπορούμε να διαιρέσουμε με το $B_{n}$ για να πάρουμε

\frac{A_{n}}{B_{n}} < \frac{A_{ν} - l B_{ν}}{B_{n}} + l, \forall n > ν .

Αφού $B_{n} \to + \infty$ όσο το $n \to + \infty$ , η ακολουθία

\frac{A_{ν} - l B_{ν}}{B_{n}} \to 0 όσο το n \to + \infty (με ν σταθεροποιημένο)

και επομένως

\underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}} \leq l, \forall l > L

Εξ ορισμού του supremum, αυτό σημαίνει ότι

\underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}} \leq L = \underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}},

και τελειώσαμε.

Απόδειξη της αρχικής πρότασης

Τώρα, έστω $(a_{n}), (b_{n})$ όπως στην πρόταση της γενικής μορφής του θεωρήματος Stolz-Cesàro και ορίζουμε

α_{1} = a_{1}, α_{k} = a_{k} - a_{k - 1}, \forall k > 1 β_{1} = b_{1}, β_{k} = b_{k} - b_{k - 1} \forall k > 1 .

Αφού η $(b_{n})$ είναι γνησίως μονότονη (μπορούμε να υποθέσουμε ότι είναι γνησίως αύξουσα για παράδειγμα), $β_{n} > 0$ για κάθε $n$ και αφού $b_{n} \to + \infty$ ισχύει ότι $B_{n} = b_{1} + (b_{2} - b_{1}) + \dots + (b_{n} - b_{n - 1}) = b_{n} \to + \infty$ , οπότε μπορούμε να εφαρμόσουμε το θεώρημα που μόλις αποδείξαμε στα $(α_{n}), (β_{n})$ (και στα μερικά αθροίσματά τους $(A_{n}), (B_{n})$ )

\underset{n \to \infty}{lim sup} \frac{a_{n}}{b_{n}} = \underset{n \to \infty}{lim sup} \frac{A_{n}}{B_{n}} \leq \underset{n \to \infty}{lim sup} \frac{α_{n}}{β_{n}} = \underset{n \to \infty}{lim sup} \frac{a_{n} - a_{n - 1}}{b_{n} - b_{n - 1}},

το οποίο είναι ακριβώς αυτό που θέλαμε να αποδείξουμε.

Αναφορές

Πρότυπο:Citation.
Πρότυπο:Citation.
Πρότυπο:Citation.
Πρότυπο:Citation.
A. D. R. Choudary, Constantin Niculescu: Real Analysis on Intervals. Springer, 2014, pp. 59-62
J. Marshall Ash, Allan Berele, Stefan Catoiu: Plausible and Genuine Extensions of L’Hospital's Rule. Mathematics Magazine, Vol. 85, No. 1 (February 2012), pp. 52–60 (JSTOR)

Εξωτερικοί σύνδεσμοι

Ο κανόνας του l'Hôpital και το θεώρημα Stolz-Cesàro στο imomath.com

Σημειώσεις

↑ Πρότυπο:Cite book

[1] Πρότυπο:Cite book

[1]

Θεώρημα Stolz–Cesàro

Περιεχόμενα

Το θεώρημα για την περίπτωση Πρότυπο:Math

Το θεώρημα για την περίπτωση Πρότυπο:Math

Αποδείξεις

Απόδειξη του θεωρήματος για την περίπτωση Πρότυπο:Math

Απόδειξη του θεωρήματος για την περίπτωση Πρότυπο:Math

Εφαρμογές και παραδείγματα

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

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

Παραδείγματα

Παράδειγμα 1

Παράδειγμα 2

Ιστορία

Η γενική μορφή

Πρόταση

Απόδειξη

Απόδειξη της ισοδύναμης πρότασης

Απόδειξη της αρχικής πρότασης

Αναφορές

Εξωτερικοί σύνδεσμοι

Σημειώσεις

Μενού πλοήγησης

Θεώρημα Stolz–Cesàro

Το θεώρημα για την περίπτωση Πρότυπο:Math

Το θεώρημα για την περίπτωση Πρότυπο:Math

Αποδείξεις

Απόδειξη του θεωρήματος για την περίπτωση Πρότυπο:Math

Απόδειξη του θεωρήματος για την περίπτωση Πρότυπο:Math

Εφαρμογές και παραδείγματα

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

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

Παραδείγματα

Παράδειγμα 1

Παράδειγμα 2

Ιστορία

Η γενική μορφή

Πρόταση

Απόδειξη

Απόδειξη της ισοδύναμης πρότασης

Απόδειξη της αρχικής πρότασης

Αναφορές

Εξωτερικοί σύνδεσμοι

Σημειώσεις

Μενού πλοήγησης

Αναζήτηση