Αν
και
τότε ![]()
ΣΥΝΕΧΗΣ ΣΥΝΑΡΤΗΣΗ ΜΗ ΑΡΝΗΤΙΚΗ ΣΕ ΔΙΑΣΤΗΜΑ ΜΕ ΟΡΙΣΜΕΝΟ ΟΛΟΚΛΗΡΩΜΑ ΜΗΔΕΝ

Απόδειξη
Έστω ότι υπάρχει ένα τουλάχιστον
τέτοιο, ωστε ![]()
Τότε επειδή η
είναι συνεχής στο
και ισχύει
θα είναι:
![]()
το οποίο είναι άτοπο.
Άρα δεν υπάρχει
ώστε
Επομένως ισχύει ότι:
![]()

Λύση
Ισχύει ότι:

Εφαρμόζουμε τη μέθοδο της συμπλήρωσης τετραγωνου και προσθαφαιρούμε το ![]()

![Rendered by QuickLaTeX.com \begin{align*} & \displaystyle\int_1^3 \big(f(x) - 3x\big)^2 ~dx - \big[3x^3\big]_1^3 = -78 \Leftrightarrow\\[3mm] & \displaystyle\int_1^3 \big(f(x) - 3x\big)^2 ~dx - (3 \cdot 3^3 - 3 \cdot 1^3) = -78 \Leftrightarrow\\\\ & \displaystyle\int_1^3 \big(f(x) - 3x\big)^2 ~dx - (3 \cdot 27 - 3 \cdot 1) = -78 \Leftrightarrow\\\\ & \displaystyle\int_1^3 \big(f(x) - 3x\big)^2 ~dx - (81 - 3) = -78 \Leftrightarrow\\\\ & \displaystyle\int_1^3 \big(f(x) - 3x\big)^2 ~dx -78 = -78 \Leftrightarrow\\\\ & \displaystyle\int_1^3 \big(f(x) - 3x\big)^2 ~dx = 0 \end{align*}](https://study4maths.gr/wp-content/ql-cache/quicklatex.com-e101cc2becafd641f58f7144977da465_l3.png)
Για τη συνάρτηση
με
ισχύει ότι
και
Επομένως
είναι:
![Rendered by QuickLaTeX.com \begin{align*} g(x) & = 0 \Leftrightarrow \big(f(x) - 3x\big)^2 = 0 \Leftrightarrow\\[3mm] \Leftrightarrow & f(x) - 3x = 0 \Leftrightarrow f(x) = 3x, ~x \in [1, 3]. \end{align*}](https://study4maths.gr/wp-content/ql-cache/quicklatex.com-1569fc849fa1086faf14e5985c2b21ba_l3.png)
Βιβλιογραφία: Παπαδάκης, εκδόσεις Σαββάλα.

Αυτή η εργασία χορηγείται με άδεια Creative Commons Αναφορά Δημιουργού – Μη Εμπορική Χρήση – Παρόμοια Διανομή 4.0 Διεθνές .