Μια διδακτική προσέγγιση του ορίου του ερωτήματος Β3

Επιστρέφοντας από το βαθμολογικό

, σκεφτόμουν πόσο «λατρεύουν» οι μαθητές τον κανόνα De L’Hospital

.
Έτσι, δίνω μια διδακτική προσέγγιση ως ένα έξτρα ερώτημα

, με γραφική απόδειξη μιας ανισότητας

και εύρεση του ορίου με το κριτήριο παρεμβολής


.
Το όριο
Θέτουμε

, οπότε
και, επειδή
,
Θα χρειαστούμε φράγματα για τον παράγοντα
.
1) Γραφική απόδειξη της διπλής ανισότητας
Πρόταση. Για κάθε

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

. Άρα το εγγεγραμμένο ορθογώνιο (ύψος
, εμβαδόν
) χωράει μέσα στο χωρίο, ενώ το περιγεγραμμένο (ύψος

, εμβαδόν

) το περιέχει:
(εγγεγραμμένο

χωρίο

περιγεγραμμένο)
2) Λύση με το κριτήριο παρεμβολής
Από τη διπλή ανισότητα, για κάθε

:
Για

είναι
, οπότε πολλαπλασιάζοντας με

αντιστρέφεται η φορά:
Καθώς
,
και
. Επομένως, από το κριτήριο παρεμβολής (μορφή σύγκρισης για άπειρα όρια),
Παρατήρηση. Η κλασική μορφή του κριτηρίου παρεμβολής απαιτεί κοινό πεπερασμένο όριο για τα δύο φράγματα. Εδώ το όριο είναι

, οπότε αρκεί το άνω φράγμα
(μορφή σύγκρισης), ενώ το κάτω φράγμα

απλώς το επιβεβαιώνει.
Ασκήσεις
- Με Θ.Μ.Τ. Εφαρμόστε το Θ.Μ.Τ. στη
στο και δείξτε ότι για κάποιο · συμπεράνετε τη διπλή ανισότητα.
- Με μελέτη μονοτονίας. Μελετήστε τις και στο
και αποδείξτε αντίστοιχα τη δεξιά και την αριστερή ανισότητα.
- Με την εφαπτομένη της
. Δείξτε ότι για κάθε
και εφαρμόστε την για και .
- Εναλλακτική λύση του ορίου. Με (ορισμός παραγώγου της
στο
), υπολογίστε ξανά το όριο ως γινόμενο ορίων.
Λύσεις
Λύσεις
- Με Θ.Μ.Τ.
Η

είναι συνεχής στο
και παραγωγίσιμη στο
, με
. Από το Θεώρημα Μέσης Τιμής υπάρχει
ώστε
Επειδή
, αυτό γίνεται
Καθώς
και η
είναι γνησίως φθίνουσα στο

,
δηλαδή
Πολλαπλασιάζοντας με

:
(Οι ανισότητες είναι γνήσιες. Οι ισότητες ισχύουν μόνο οριακά για

.)
- Με μελέτη μονοτονίας.
Δεξιά ανισότητα. Θεωρούμε
,

. Είναι

και
άρα η

είναι γνησίως αύξουσα στο

. Συνεπώς
για

, δηλαδή
.
Αριστερή ανισότητα. Θεωρούμε
,

. Είναι

και, αφού
,
άρα η

είναι γνησίως αύξουσα και
για

, δηλαδή
.
Συνδυάζοντας:
- Με την εφαπτομένη της
.
Βασική ανισότητα. Θεωρούμε
,

. Είναι

και
που είναι

για

και

για

. Άρα η

είναι γνησίως φθίνουσα στο
![(0,1] (0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/668c7b55a37300c330dcd565d9e076da.png)
και γνησίως αύξουσα στο

, οπότε έχει ολικό ελάχιστο στο

με

. Επομένως
, δηλαδή
για κάθε

(γεωμετρικά: η
βρίσκεται κάτω από την εφαπτομένη της
στο

).
Εφαρμογές. Για
:
(δεξιά ανισότητα).
Για
:
Επειδή
, παίρνουμε
, άρα
(αριστερή ανισότητα).
- Εναλλακτική λύση του ορίου.
Με την αντικατάσταση

έχουμε
καθώς
, και
. Άρα
Ο παράγοντας . Γράφεται ως λόγος μεταβολών της

στο

:
οπότε
Ο παράγοντας
. Καθώς
,
.
Το γινόμενο. Ο ένας παράγοντας τείνει στο πεπερασμένο και θετικό

, ο άλλος στο

. Από την ιδιότητα «αν
και
, τότε
»,
Άρα