grigkost έγραψε: ↑Τρί Δεκ 03, 2024 9:31 am
Να εξετασθεί αν ισχύει η παρακάτω πρόταση. Αν ισχύει, να αποδειχθεί, ενώ αν δεν ισχύει, να δοθεί αντιπαράδειγμα.
Έστω
![({\alpha_{n}})_{n\in\mathbb{N}} ({\alpha_{n}})_{n\in\mathbb{N}}](/forum/ext/geomar/texintegr/latexrender/pictures/1398158a232ed90c573d76f66b302e06.png)
ακολουθία θετικών πραγματικών.
Αν για τυχόν πάγιο
![\mu\in\mathbb{N} \mu\in\mathbb{N}](/forum/ext/geomar/texintegr/latexrender/pictures/01c4d502085a6aa6348c776744028d77.png)
ισχύει
![\lim_{{n}\to+\infty}\frac{\alpha_{n+\mu}}{\alpha_{n}}<1 \lim_{{n}\to+\infty}\frac{\alpha_{n+\mu}}{\alpha_{n}}<1](/forum/ext/geomar/texintegr/latexrender/pictures/c94bd290dc4696c88c8f1cbe1c59a673.png)
, τότε η σειρά
![\sum_{n=1}^{+\infty}\alpha_{n} \sum_{n=1}^{+\infty}\alpha_{n}](/forum/ext/geomar/texintegr/latexrender/pictures/28789c321894bfb7692ac04c44519ffa.png)
συγκλίνει.
Ισχύει.
Για
![\mu =1 \mu =1](/forum/ext/geomar/texintegr/latexrender/pictures/4234f19c98db67d2618606ef2205c4e8.png)
είναι το κριτήριο λόγου, οπότε ας δούμε τι ισχύει για τα υπόλοιπα
![\mu \mu](/forum/ext/geomar/texintegr/latexrender/pictures/c9faf6ead2cd2c2187bd943488de1d0a.png)
.
Για τυπογραφική ευκολία θα το κάνω για
![\mu =3 \mu =3](/forum/ext/geomar/texintegr/latexrender/pictures/23caa1e9aad5cc16b9a62422bbfd50ae.png)
, αλλά τα υπόλοιπα γίνονται με ακριβώς τον ίδιο τρόπο.
Κοιτάμε τις σειρές
![\displaystyle{\sum_{n=1}^{+\infty}\alpha_{3n}} \displaystyle{\sum_{n=1}^{+\infty}\alpha_{3n}}](/forum/ext/geomar/texintegr/latexrender/pictures/7592e7e852344b1fcba7fc30e889041a.png)
,
![\displaystyle{\sum_{n=1}^{+\infty}\alpha_{3n+1}} \displaystyle{\sum_{n=1}^{+\infty}\alpha_{3n+1}}](/forum/ext/geomar/texintegr/latexrender/pictures/e962c667d2dd17b0d33b187cc460263f.png)
και
![\displaystyle{\sum_{n=1}^{+\infty}\alpha_{3n+2}} \displaystyle{\sum_{n=1}^{+\infty}\alpha_{3n+2}}](/forum/ext/geomar/texintegr/latexrender/pictures/8c873a57ce77b00935e101c6494ee0dc.png)
.
Η πρώτη συγκλίνει γιατί οι διαδοχικοί της όροι
![a_{3n}, a_{3n+3} a_{3n}, a_{3n+3}](/forum/ext/geomar/texintegr/latexrender/pictures/73865098ad83e9b10a1ec50bb933f3b6.png)
ικανοποιούν, εξ υποθέσεως με
![\mu =3 \mu =3](/forum/ext/geomar/texintegr/latexrender/pictures/23caa1e9aad5cc16b9a62422bbfd50ae.png)
, το κριτήριο λόγου. Όμοια οι άλλες δύο.
Τώρα προσθέτουμε κατά μέλη τις τρεις σειρές, οπότε παίρνουμε την αρχική σειρά, και άρα αυτή συγκλίνει.