ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

Σχετικά έγγραφα
ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

12 Το αόριστο ολοκλήρωµα

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

f(x) = lim f n (t) = d(t, x n ) d(t, x) = f(t)

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

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

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΤΡΙΑΚΟΣΤΟ ΕΚΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΤΡΙΑΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2 ΣΕ 37 ΜΑΘΗΜΑΤΑ

ΓΙΩΡΓΟΣ ΚΟΡΩΝΑΚΗΣ. ΑΛΛΑΓΗ ΜΕΤΑΒΛΗΤΗΣ ΣΤΟ ΟΡΙΣΜΕΝΟ ΟΛΟΚΛΗΡΩΜΑ Διδακτική προσέγγιση

Μαθηματική Ανάλυση Ι

5 Σύγκλιση σε τοπολογικούς χώρους

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

Βιομαθηματικά BIO-156. Ολοκλήρωση. Ντίνα Λύκα. Εαρινό Εξάμηνο, 2017

κυρτές συναρτήσεις. Αν η g είναι γνησίως αύξουσα τότε η gof : είναι κυρτή. . Θα δείξουμε ότι η h είναι γνησίως αύξουσα.

Μιχάλης Παπαδημητράκης. Πραγματική Ανάλυση. Μέτρο και ολοκλήρωμα Lebesgue στο R. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΕΝΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Βιομαθηματικά BIO-156

Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο Λύσεις δέκατου φυλλαδίου ασκήσεων. 2 x dx = 02 ( 2) 2

ΠΑΝΕΛΛΑΔΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΔΕΥΤΕΡΑ 11 ΙΟΥΝΙΟΥ 2018 ΕΝΔΕΙΚΤΙΚΕΣ ΑΠΑΝΤΗΣΕΙΣ ΣΤΑ ΘΕΜΑΤΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ

ιαµέριση (Partition) ορισµένη στο διάστηµα I = [a, b]

Περιεχόμενα. Κεφάλαιο 1 ΣΥΣΤΗΜΑΤΑ ΣΥΝΤΕΤΑΓΜΕΝΩΝ ΣΕ ΜΙΑ ΕΥΘΕΙΑ Οι συντεταγμένες ενός σημείου Απόλυτη τιμή...14

Μιχάλης Παπαδημητράκης. Αρμονική Ανάλυση. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου

ΕΡΩΤΗΣΕΙΣ ΜΑΘΗΤΩΝ. α) Το ορισμένο ολοκλήρωμα μιας συνεχούς συνάρτησης f σε ένα διάστημα [a, b] είναι όριο?

ΠΕΡΙΕΧΟΜΕΝΑ ΣΥΣΤΗΜΑΤΑ ΟΡΘΟΓΩΝΙΩΝ ΣΥΝΤΕΤΑΓΜΕΝΩΝ...23 ΑΠΟΛΥΤΗ ΤΙΜΗ. ΑΝΙΣΟΤΗΤΕΣ...15 ΚΕΦΑΛΑΙΟ 3 ΕΥΘΕΙΕΣ...32 ΚΕΦΑΛΑΙΟ 4 ΚΥΚΛΟΙ...43

ΑΝΑΛΥΣΗ 1 ΕΝΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΘΕΩΡΗΜΑ (Μέσης Τιμής) Έστω f: [α, β] R συνεχής και παραγωγίσιμη στο (α, β). Τότε υπάρχει ξ (α, β)

Ο ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ LAPLACE

Συνθήκες Θ.Μ.Τ. Τρόπος αντιμετώπισης: 1. Για να ισχύει το Θ.Μ.Τ. για μια συνάρτηση f σε ένα διάστημα [, ] (δηλαδή για να υπάρχει ένα τουλάχιστον (, )

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός

S n = ( 1, 0] 1 + b 1 a1 + b 1 I 1 I 2 I 3...,

Ολοκλήρωμα πραγματικής συνάρτησης

Παντελής Μπουμπούλης, M.Sc., Ph.D. σελ. 2 math-gr.blogspot.com, bouboulis.mysch.gr

35 Χρήσιμες Προτάσεις με αποδείξεις Γ Λυκείου Μαθηματικά Κατεύθυνσης

Λύσεις Εξετάσεων Φεβρουαρίου Ακ. Έτους

[ α π ο δ ε ί ξ ε ι ς ]

x + ax x x 4 να είναι παραγωγίσιμη στο x Υπόδειξη: Μπορείτε να εφαρμόσετε κανόνα L Hospital ή μπορεί σας χρειαστεί η sin sin = 2sin cos

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!).

Λύσεις των θεμάτων των Πανελλαδικών Εξετάσεων στα Μαθηματικά Προσανατολισμού 2016

Εφαρμοσμένα Μαθηματικά ΙΙ Εξέταση Σεπτεμβρίου 25/9/2017 Διδάσκων: Ι. Λυχναρόπουλος

ΑΝΑΛΥΣΗ 1 ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: :

). Πράγματι, στο διάστημα [ x, x 1 2 ικανοποιεί τις προϋποθέσεις του Θ.Μ.Τ. Επομένως, υπάρχει ξ x 1,

f(x) f(c) x 1 c x 2 c

ΑΝΑΛΥΣΗ 1 ΔΕΥΤΕΡΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Μπάμπης Στεργίου. Η Αρχική Συνάρτηση. Προτάσεις. Παραδείγματα. Ασκήσεις. *** Αφιερωμένο στους συναδέλφους που μοχθούν για μια καλύτερη παιδεία.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΟΛΟΚΛΗΡΩΤΙΚΟΣ ΛΟΓΙΣΜΟΣ

APEIROSTIKOS LOGISMOS I

Ας ξεκινήσουμε υπενθυμίζοντας τον ορισμό της συνέχειας σε μετρικούς χώρους. διατυπώνεται και με τον ακόλουθο τρόπο: για κάθε σφαίρα

Αριθμητική Ανάλυση και Εφαρμογές

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 10: ΕΥΡΕΣΗ ΤΟΠΙΚΩΝ ΑΚΡΟΤΑΤΩΝ

Απειροσ τικός Λογισμός ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος

ΜΑΘΗΜΑΤΙΚΑ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ 4 ο ΔΙΑΓΩΝΙΣΜΑ ΕΝΔΕΙΚΤΙΚΕΣ ΑΠΑΝΤΗΣΕΙΣ (Σε όλη την ύλη)

y = 2 x και y = 2 y 3 } ή

Λύσεις των θεμάτων των Πανελλαδικών Εξετάσεων στα Μαθηματικά Προσανατολισμού 2016

x είναι f 1 f 0 f κ λ

ΘΕΜΑ Α A1. Έστω μια συνάρτηση παραγωγίσιμη σε ένα διάστημα (α,β), με εξαίρεση ίσως ένα σημείο του x 0, στο οποίο όμως η f είναι συνεχής.

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΝΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 2: Ορισμός του ολοκληρώματος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΟΛΟΚΛΗΡΩΜΑΤΑ

Pragmatikèc Sunart seic miac Metablht c

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a

ΑΥΤΟΜΑΤΙΣΤΕΣ ΦΥΣΙΚΗ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ ΔΕΥΤΕΡΑ ΑΙΘ.ΖΑ

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]}

ln 1. ( ) vii. Να βρείτε το εμβαδόν του χωρίου που περικλείεται από τη C f, τον άξονα η οποία είναι συνεχής στο και για την οποία ισχύει

4 ΟΛΟΚΛΗΡΩΜΑΤΑ 4.2 ΒΑΣΙΚΕΣ ΙΔΙΟΤΗΤΕΣ

Διαφορικές Εξισώσεις.

Ολοκλήρωμα πραγματικής συνάρτησης

ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ Γ ΛΥΚΕΙΟΥ ΤΕΛΕΥΤΑΙΑ ΕΠΑΝΑΛΗΨΗ ΑΝΑΛΥΣΗ ΟΛΟΚΛΗΡΩΜΑΤΑ ΜΙΧΑΛΗΣ ΜΑΓΚΟΣ

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

504. Έτσι προκύπτει. ΠΕΡΙΠΤΩΣΗ 1η. Υπολογισμός Ορισμένου ολοκλήρωματος που βρίσκεται μέσα σε ορισμένο ολοκλήρωμα. Χαρακτηριστική Άσκηση:

ΑΡΧΙΚΗ ΣΥΝΑΡΤΗΣΗ ΠΑΡΑΓΟΥΣΑ ΣΥΝΑΡΤΗΣΗΣ

Αόριστο ολοκλήρωμα. επαληθεύει την παραπάνω ισότητα.

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΚΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

9.9 Ανεξαρτησία του επικαμπυλίου ολοκληρώματος από την καμπύλη ολοκληρώσεως. Συνάρτηση δυναμικού

ΟΜΟΣΠΟΝΔΙΑ ΕΚΠΑΙΔΕΥΤΙΚΩΝ ΦΡΟΝΤΙΣΤΩΝ ΕΛΛΑΔΟΣ (Ο.Ε.Φ.Ε.) ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2018 A ΦΑΣΗ

8. Πολλαπλές μερικές παράγωγοι

ΔΙΑΓΩΝΙΣΜΑ ΠΑΝΕΛΛΑΔΙΚΩΝ ΕΞΕΤΑΣΕΩΝ 2019 ΕΣΠΕΡΙΝΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΟΜΑΔΑΣ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΚΑΙ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΓΕΝΙΚΕΥΜΕΝΟ ΟΛΟΚΛΗΡΩΜΑ Ορισµός

********* Β ομάδα Κυρτότητα Σημεία καμπής*********

Συναρτησιακή Ανάλυση, εαρινό εξάμηνο Έκτο φυλλάδιο ασκήσεων. Παραδώστε τις ασκήσεις 1, 3, 4, 8 και 10 μέχρι το μάθημα της Παρασκευής 24/3.

Μαθηματικά. Ενότητα 3: Ολοκληρωτικός Λογισμός Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

y 1 (x) f(x) W (y 1, y 2 )(x) dx,

Eisagwg sthn Anˆlush II

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

ΠΑΝΕΛΛΑΔΙΚΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ Δευτέρα 10 Ιουνίου 2019 ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ: ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ. (Ενδεικτικές Απαντήσεις)

Ονοματεπώνυμο Τμήμα. 1. Τι ονομάζουμε εμβαδόν ενός επιπέδου σχήματος (χωρίου) και πως υπολογίζεται αυτό; Απάντηση

f x x, ν Ν-{0,1} είναι παραγωγίσιμη στο R

8. Πολλαπλές μερικές παράγωγοι

Transcript:

ΑΝΑΛΥΣΗ Μ. Παπαδημητράκης. 1

ΔΕΚΑΤΟ ΤΡΙΤΟ ΜΑΘΗΜΑ Χρησιμοποιούμε τα σύμβολα f και f() d για να συμβολίσουμε όλα μαζί τα αόριστα ολοκληρώματα της f σε ένα διάστημα I. Δηλαδή, γράφουμε f = f + c ή f() d = f + c για I και διαβάζουμε: το f ή f() d είναι κάθε συνάρτηση f + c, όπου c είναι αυθαίρετη σταθερή συνάρτηση. Πάντοτε γράφουμε την ανεξάρτητη μεταβλητή : είτε στο σύμβολο f είτε στο σύμβολο f() d. Παράδειγμα. Γράφουμε d = t dt + c = + c = + ( c ) = + c, όπου αντικαθιστούμε την αυθαίρετη σταθερή συνάρτηση c με την αυθαίρετη σταθερή συνάρτηση c. Αυτή η αντικατάσταση δικαιολογείται ως εξής: όταν η σταθερά c διατρέχει όλους τους αριθμούς, τότε και η σταθερά c διατρέχει όλους τους αριθμούς. Το Θεμελιώδες Θεώρημα είναι το σημαντικότερο αποτέλεσμα του απειροστικού λογισμού. Παρέχει την καθόλου προφανή σύνδεση ανάμεσα σε δυο φαινομενικά ασύνδετες έννοιες: την παράγωγο και το ολοκλήρωμα. Οι συνέπειες για τον χειρισμό αλλά και τον υπολογισμό ολοκληρωμάτων είναι σημαντικές. Το Θεμελιώδες Θεώρημα του Απειροστικού Λογισμού. Έστω f ορισμένη στο διάστημα I και ολοκληρώσιμη σε κάθε κλειστό και φραγμένο υποδιάστημα του I. Αν F είναι οποιοδήποτε αόριστο ολοκλήρωμα της f στο I, τότε ισχύει F () = f() για κάθε I στο οποίο η f είναι συνεχής. Ειδικώτερα, αν η f είναι συνεχής στο I, τότε ισχύει F () = f() για κάθε I. Απόδειξη. Έστω I και σταθερή συνάρτηση c στο I και το αντίστοιχο αόριστο ολοκλήρωμα με τύπο F () = f + c για κάθε I. Έστω ότι η f είναι συνεχής στο I. Θα αποδείξουμε ότι F ( ) = f( ) ή, ισοδύναμα, F () F ( ) lim = f( ).

Τώρα, για I, έχουμε F () F ( ) f( ) = ( f + c) ( f + c) f f( )( ) = = f( ) = = (f f( )). Έστω ɛ >. Επειδή η f είναι συνεχής στο, υπάρχει δ > ώστε f f( ) f f( ) (1) I, < δ f() f( ) < ɛ. () Έστω, λοιπόν, οποιοδήποτε I με < < δ. Τότε για κάθε t [, ] ή t [, ] ισχύει t < δ, οπότε από την () συνεπάγεται f(t) f( ) < ɛ. Άρα (f f( )) = Τότε, από την (1) συνεπάγεται (f(t) f( )) dt ɛ < ɛ. F () F ( ) f( ) = (f f( )) Αποδείξαμε ότι για κάθε ɛ > υπάρχει δ > ώστε για κάθε I με < < δ να ισχύει F () F ( ) f( ) < ɛ. Άρα lim F () F ( ) = f( ), οπότε F ( ) = f( ). Έχουμε, λοιπόν, τον βασικό τύπο d d ( < ɛ. ) f + c = f() αν f συνεχής στο. Οι επόμενες τρεις προτάσεις είναι απλά πορίσματα του Θεμελιώδους Θεωρήματος. ΠΡΟΤΑΣΗ. Αν η f είναι συνεχής στο διάστημα I, τότε κάθε αόριστο ολοκλήρωμα της f στο I είναι και αντιπαράγωγός της στο I και αντιστρόφως. Με άλλα λόγια, το σύνολο των αόριστων ολοκληρωμάτων της f στο I είναι ίδιο με το σύνολο των αντιπαραγώγων της f στο I. Απόδειξη. Έστω F οποιοδήποτε αόριστο ολοκλήρωμα της f στο I. Τότε η F είναι και αντιπαράγωγος της f στο I. Τώρα, αφ ενός τα αόριστα ολοκληρώματα της f στο I είναι οι συναρτήσεις F + c, όπου c είναι αυθαίρετη σταθερή συνάρτηση στο I, αφ ετέρου οι αντιπαράγωγοι της f στο I είναι (πάλι) οι συναρτήσεις F + c, όπου c είναι αυθαίρετη σταθερή συνάρτηση στο I. Παράδειγμα. Στο προηγούμενο μάθημα λύσαμε την άσκηση 7.1.3 και είδαμε ότι η συνάρτηση {, αν f() = 1, αν > 3

δεν έχει αντιπαράγωγο στο R. Όμως, η f έχει αόριστο ολοκλήρωμα στο R. Πράγματι, αν <, έχουμε και, αν >, έχουμε f = f = f = 1 dt =. dt = Και, επειδή για = έχουμε f =, ένα αόριστο ολοκλήρωμα της f στο R είναι η συνάρτηση {, αν f =, αν Η επόμενη πρόταση έχει σπουδαία πρακτική αξία. ΠΡΟΤΑΣΗ. Έστω f συνεχής στο διάστημα I και F οποιαδήποτε αντιπαράγωγος της f στο I. Τότε f() d = F () + c για κάθε στο I, f = F (b) F () για κάθε, b στο I. Απόδειξη. Το f()d, δηλαδή το σύνολο των αόριστων ολοκληρωμάτων της f στο I, ταυτίζεται με το σύνολο των αντιπαραγώγων της στο I, δηλαδή με το σύνολο των συναρτήσεων F () + c, όπου c είναι αυθαίρετη σταθερή συνάρτηση στο I. Αυτό αποδεικνύει την πρώτη ταυτότητα. Συμπεραίνουμε ότι υπάρχει κάποια σταθερά c ώστε το αόριστο ολοκλήρωμα f να ισούται με την F + c στο I. Δηλαδή, ισχύει f = F () + c για κάθε I. Με = βρίσκουμε οπότε c = F (). Τέλος, με = b έχουμε = F () + c, f = F (b) + c = F (b) F (). Παράδειγμα. Για τον υπολογισμό του ολοκληρώματος d έχουμε δύο τρόπους. με τη μέθοδο των αθροισμάτων Riemnn. Από Έχουμε ήδη βρει ότι d = b την άλλη μεριά, η συνάρτηση είναι αντιπαράγωγος της στο R, οπότε d = b. 4

ΠΡΟΤΑΣΗ. Έστω F παραγωγίσιμη στο διάστημα I ώστε η F να είναι συνεχής στο I. Τότε, F () d = F (b) F () για κάθε, b στο I. Απόδειξη. Εφαρμόζουμε την προηγούμενη Πρόταση στην f = F, παρατηρώντας ότι η F είναι, προφανώς, αντιπαράγωγος της f στο I. Άσκηση 7..1. Έστω f συνεχής στο [, + ) και έστω ότι ισχύει f() για κάθε > και f() = (i) Αποδείξτε ότι ισχύει f() > για κάθε >. (ii) Αποδείξτε ότι η f είναι παραγωγίσιμη στο (, + ). (iii) Αποδείξτε ότι ισχύει f() = για κάθε. Λύση: (i) Κατ αρχάς, από την (3) συνεπάγεται f για κάθε. (3) f() =. Επειδή η f είναι συνεχής στο (, + ) και ισχύει f() για κάθε >, συνεπάγεται ότι είτε ισχύει f() > για κάθε > είτε ισχύει f() < για κάθε >. Αν ισχύει f() < για κάθε >, τότε ισχύει f για κάθε >, οπότε βάσει της (3) έχουμε f() για κάθε > και, επομένως, f() = για κάθε >. Αυτό είναι άτοπο, οπότε ισχύει f() > για κάθε >. (ii) Επειδή ισχύει f() για κάθε, από την (3) συνεπάγεται ότι ισχύει f() = f για κάθε. (4) Τώρα, έστω >. Η f είναι συνεχής στο [, ] και ισχύει f(t) για κάθε t [, ]. Άρα είναι f και μάλιστα, επειδή η f δεν είναι σταθερή στο [, ], ισχύει f >. Το ίδιο αποδεικνύεται πιο απλά ως εξής. Αν >, τότε f() >, οπότε από την (3) συνεπάγεται f >. Έχουμε, λοιπόν, ότι ισχύει f > για κάθε >. Τώρα, η f είναι συνεχής στο (, + ), οπότε ισχύει ( f) = f() για κάθε >. Επίσης, η συνάρτηση y είναι παραγωγίσιμη για y >. Άρα από τον Κανόνα Αλυσίδας και από την (4) συνεπάγεται ότι η f είναι παραγωγίσιμη για > και ότι f () = f() = f f() f = 1 για κάθε >, 5

όπου στην τελευταία ισότητα εφαρμόζουμε πάλι την (4). (iii) Από την τελευταία σχέση και από το ότι η f είναι συνεχής στο [, + ) συνεπάγεται ότι υπάρχει σταθερά c ώστε να ισχύει f() = + c για κάθε. Για = παίρνουμε = + c, οπότε c = και άρα ισχύει f() = για κάθε. 6