Εφ'όσον f(x) είναι παραγωγίσιμη θα είναι και συνεχής σε όλο το πεδίο ορισμού της. Από την υπόθεση έχουμε f(x)γνησίως αύξουσα δηλαδή f'(x)>0 και f(0)=0, συνεπώς για x>0 το f(x) >0. Ολοκλήρωμα 0^1 f(x) f'(x) dx>=1/2((Ολοκλήρωμα 0^1 f(x) dx)^2) f(1)^2/2>=1/2((Ολοκλήρωμα 0^1 f(x) dx)^2) f(1)>=Ολοκλήρωμα 0^1 f(x) dx.(1) Για 0<x<1 ισχύει 0<f(x)<f(1) (3) (f(x) γνησίως αύξουσα),το f(1) επίσης γράφεται f(1)=Ολοκλήρωμα 0^1 f(1)dx (2). Η σχέση (1) ισχύει,διότι λόγω της (2), το f(1)είναι ίσο με το εμβαδόν του χωρίου που περικλείεται από την γραφική παράσταση της σταθερής συνάρτησης y=f(1),τον θετικό ημιάξονα και τις ευθείες x=0 και x=1,είναι δε μεγαλύτερο (λόγω της (3)) από το αντίστοιχο εμβαδόν του χωρίου της γραφικής παράστασης της f(x) (δεύτερο μέλος της (1).
2 σχόλια:
Εφ'όσον f(x) είναι παραγωγίσιμη θα είναι και συνεχής σε όλο το πεδίο ορισμού της.
ΑπάντησηΔιαγραφήΑπό την υπόθεση έχουμε f(x)γνησίως αύξουσα δηλαδή f'(x)>0 και f(0)=0, συνεπώς για x>0 το f(x) >0.
Ολοκλήρωμα 0^1 f(x) f'(x) dx>=1/2((Ολοκλήρωμα 0^1 f(x) dx)^2)
f(1)^2/2>=1/2((Ολοκλήρωμα 0^1 f(x) dx)^2)
f(1)>=Ολοκλήρωμα 0^1 f(x) dx.(1)
Για 0<x<1 ισχύει 0<f(x)<f(1) (3) (f(x) γνησίως αύξουσα),το f(1) επίσης γράφεται f(1)=Ολοκλήρωμα 0^1 f(1)dx (2).
Η σχέση (1) ισχύει,διότι λόγω της (2), το f(1)είναι ίσο με το εμβαδόν του χωρίου που περικλείεται από την γραφική παράσταση της σταθερής συνάρτησης y=f(1),τον θετικό ημιάξονα και τις ευθείες x=0 και x=1,είναι δε μεγαλύτερο (λόγω της (3)) από το αντίστοιχο εμβαδόν του χωρίου της γραφικής παράστασης της f(x) (δεύτερο μέλος της (1).
Συμπληρωματικά αναφέρουμε ότι η ισότητα στη σχέση (1) ισχύει για x=1
ΑπάντησηΔιαγραφή