ολοκλήρωμα-ανισότητα

και για κάθε $x\in (0,2)$ είναι:

$F'(x)=f(x)-f\left(\dfrac{x}{2}\right)-\dfrac{1}{2}xf'\left(\dfrac{x}{2}\right)$

Από το θεώρημα μέσης τιμής υπάρχει $\xi_x\in\left(\dfrac{x}{2},x\right)$ ώστε $f(x)-f\left(\dfrac{x}{2}\right)=\dfrac{1}{2}xf'(\xi_x) .$

Άρα $F'(x)=\dfrac{1}{2}xf(\xi_x)-\dfrac{1}{2}xf'\left(\dfrac{x}{2}\right)=\dfrac{1}{2}x\left[f'(\xi_x)-f'\left(\dfrac{x}{2}\right)\right]>0$ αφού x>0

και $f'(\xi_x)>f'\left(\dfrac{x}{2}\right)$ επειδή η

είναι κυρτή.

Άρα η

είναι γνησίως αύξουσα στο διάστημα [0,2] .

Επομένως $\displaystyle F(2)>F(0) \Rightarrow \int_0^2f(t)\:dt-2f(1) >0 \Rightarrow \int_0^2f(x)\:dx>2f(1) .$

bboybast · #7

kostas_zervos · #8

Το συμπέρασμα της άσκησης (και γενικότερα η ανισότητα Hermite–Hadamard που αναφέρει ο Χρήστος) έχουν μια πολύ όμορφη γεωμετρική ερμηνεία στην περίπτωση που $f(x)\geq 0$ .

: ask102.png (5.57 KiB) Προβλήθηκε 775 φορές

Στο παραπάνω σχήμα η

είναι εφαπτόμενη της C_f

στο

.

Η

είναι διάμεσος στο τραπέζιο OBCD

. Το εμβαδόν του τραπεζίου είναι ίσο με $E=\dfrac{(BC+OD)\cdot OB}{2}=\dfrac{4MN}{2}=2f(1)$ .

Το εμβαδόν αυτό , αφού η

είναι κυρτή , είναι μικρότερο από το εμβαδόν του χωρίου που ορίζεται από $C_f\;,\;x'x\;,\;x=0\;,\;x=2$ .

Άρα $\displaystyle\int_{0}^{2}f(x)dx>2f(1)$ .

Με παρόμοια λογική είναι $\displaystyle\int_{0}^{2}f(x)dx<(ZEBO)=\dfrac{(OZ+BE)\cdot OB}{2}=f(0)+f(2)$ .

ολοκλήρωμα-ανισότητα

ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Re: ολοκλήρωμα-ανισότητα

Μέλη σε σύνδεση