Α.Κυριακόπουλος έγραψε:Ασκήση 4 –Α΄ Λυκείου
Για τους θετικούς πραγματικούς αριθμούς

και

ισχύει:

, για κάθε

.
Nα αποδείξετε ότι:

Α' Τρόπος
Αν η άσκηση αναφερόταν σε οποιαδήποτε τάξη τότε απλά θα λέγαμε ότι αν ήταν

τότε επειδή

, καταλήγουμε σε άτοπο διότι τότε θα υπήρχει

για το οποίο να ισχύει

για οποιοδήποτε

με

.
Β' Τρόπος
Για να μετατρέψουμε τη λύση σε "απλούστερη", πρέπει ουσιαστικά να βρούμε αυτό το

ώστε να καταλήξουμε σε άτοπο:
Θα χρειαστούμε τις απλές ανισότητες (αποδεικνύονται π.χ. με επαγωγή):
Ισχύει
α)

για κάθε

και

. (απλή ανισότητα Bernoulli)
β)

για κάθε

και

.
Ας υποθέσουμε λοιπόν ότι

. Τότε

, όπου

.

Αν είναι

τότε αρκεί να πάρουμε
Πράγματι τότε έχουμε:

άτοπο λόγω της αρχικής σχέσης.
Πως σκεφτήκαμε και βρήκαμε αυτό το κάτω φράγμα για το

; Πολύ απλά θέλαμε να βρούμε

ώστε
Όμως
Άρα αρκεί να ισχύει από κάποιο n και έπειτα ότι

δηλαδή ότι

που (εδώ χρειάζεται η διάκριση των περιπτώσεων) για

δίνει

Ας υποθέσουμε τώρα ότι είναι
Η αρχική συνθήκη για

δίνει

δηλαδή τελικά
Διακρίνουμε τις εξής υποπεριπτώσεις:

Αν

τότε

οπότε παίρνοντας
![\nu=\left[\dfrac{\beta-1}{k-a}\right]-1 \nu=\left[\dfrac{\beta-1}{k-a}\right]-1](/forum/ext/geomar/texintegr/latexrender/pictures/e12873c09034d1053e4f5749f3238403.png)
έχουμε τελικά:
![\begin{aligned}\gamma^{\nu}-\alpha\nu-\beta &= (1+k)^{\nu}-\alpha\nu-\beta \nonumber \\ &\stackrel{(\alpha)}{\geq} 1+k\nu - \alpha\nu - \beta \nonumber \\ &=1-\beta+(k-\alpha)\left(\left[\dfrac{\beta-1}{k-a}\right]-1\right) \nonumber \\ &\geq 1-\beta + (k-\alpha)\left(\dfrac{\beta-1}{k-\alpha}-1\right)=-(k-\alpha)>0\end{aligned} \begin{aligned}\gamma^{\nu}-\alpha\nu-\beta &= (1+k)^{\nu}-\alpha\nu-\beta \nonumber \\ &\stackrel{(\alpha)}{\geq} 1+k\nu - \alpha\nu - \beta \nonumber \\ &=1-\beta+(k-\alpha)\left(\left[\dfrac{\beta-1}{k-a}\right]-1\right) \nonumber \\ &\geq 1-\beta + (k-\alpha)\left(\dfrac{\beta-1}{k-\alpha}-1\right)=-(k-\alpha)>0\end{aligned}](/forum/ext/geomar/texintegr/latexrender/pictures/f19b24a108a972a695283fa46ca1e37e.png)
διότι είναι γνωστό ότι
![\left[\dfrac{\beta-1}{k-a}\right]\leq \dfrac{\beta-1}{k-a} \left[\dfrac{\beta-1}{k-a}\right]\leq \dfrac{\beta-1}{k-a}](/forum/ext/geomar/texintegr/latexrender/pictures/ff0ed6e5593ac4f9df5fd5f03e8002f7.png)
, άτοπο.

Αν

τότε για

έχουμε διαδοχικά:
Τώρα θέλουμε να επιλέξουμε

τέτοιο ώστε να ισχύει

δηλαδή

. Το τριώνυμο αυτό έχει διακρίνουσα

διότι

. Οπότε για

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

τότε θα καταλήξουμε και πάλι σε άτοπο.
Άρα τελικά

.
Αλέξανδρος