για
.[Προέκυψε στην πορεία για κάτι άλλο, πιθανώς είναι ήδη γνωστή, σε κάθε περίπτωση ας την (ξανα)δούμε!]
Συντονιστής: KAKABASBASILEIOS
για
.
, που είναι άμεση απόρροια της ανισότητας Bernoulli στη γενικευμένη της μορφή.
είναι φανερά κυρτή, οπότε θα πιάνει το μέγιστο σε κάποιο άκρο (*). Είναι
, εξ ου και το ζητούμενο.Είναι γνωστό (και άλλωστε αποδεικνύεται απλά με παραγώγιση) ότι για
η
είναι αύξουσα (με όριο το
).
έχουμε
. Παίρνοντας λογάριθμo, γράφεται
. Βάζοντας
, προκύπτει το ζητούμενο.Καλησπέρα. Μια προσπάθεια.
.
και
,
.
είναι γνησίως φθίνουσα στο
.
και
.
τέτοιο ώστε
.
ισχύει
, οπότε η
είναι γνησίως αύξουσα στο
άρα
είναι
.
ισχύει
, οπότε η
είναι γνησίως φθίνουσα στο
άρα
είναι
.
.Για
είναι αληθής.
με
που εύκολα προκύπτει γνήσια φθίνουσα και ως συνεχής έχει σύνολο
άρα
για κάθε ![x \in [0,1] x \in [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/c75c22c0876976bad2957525698cc870.png)
στο διάστημα
, αρκεί να είναι μη αρνητική στα άκρα του διαστήματος (άμεσο) και στο τυχόν σημείο
μηδενισμού της παραγώγου. Εύκολα βρίσκουμε ότι το σημείο αυτό είναι μοναδικό,
. Χρειαζόμαστε επομένως την ανισότητα
ή, ισοδύναμα,
. Αυτή προκύπτει εύκολα αν θεωρήσουμε γνωστές τις
και
, καθώς
.Μέλη σε αυτήν τη Δ. Συζήτηση: Google [Bot] και 1 επισκέπτης