Ηchristinat έγραψε: ↑Τετ Νοέμ 25, 2020 10:33 pmΘέματα μεγάλων
3)Θέτοντας στην αρχική σχέση (1)προκύπτει ότι
Αντότε
(2)
Αντότε
Έστω
Οποτε(3)
Θέτω στην αρχική:
(4)
Έστωγια κάθε πραγματικό
Αν:
Έστω,
πραγματικοί αριθμοί και
Τότε
Αρα από την σχέση (2) έπεται ότιεπομένως η
είναι «1-1»
Ηείναι συνεχής ως πράξη συνεχών συναρτήσεων
, όπου
και
Αφούσυνεχής στο
ισχύει ότι :
Έστω ότι η συνάρτησηείναι ασυνεχής σε κάποιον πραγματικό
Έτσι(A)
Ανπραγματικός:
Τότε η
είναι συνεχής στοαφού η
συνεχής στο l(
συνεχής στο
)
οποτε:
Επομένωςκαι αφού
“1-1” θα είναι
,άτοπο από σχέση (A)
Αντότε προφανώς
Συνεπώς τοβγαίνει άπειρο ,άτοπο αφού
συνεχής
Άρασυνεχής
Επομένως και ησυνεχής
Επειδή ηείναι και συνεχής και «1-1» ,θα είναι γνησίως μονότονη
Απόδειξη:
Έστωμε
Αντότε:
Αφούσυνεχής στο
,
και
από θεώρημα ενδιάμεσων τιμών θα υπάρχει ένα τουλάχιστον
τέτοιο ώστε
Και επειδή ηείναι «1-1» θα ισχύει ότι
Οποτε,άτοπο
Στο ίδιο συμπέρασμα καταλήγουμε και στις περιπτώσεις που
ή
ή
Οπότεή
![]()
είναι παραγωγισιμη(από σχέση (2)) και με παραγώγιση προκύπτει ότι είναι γνησίως μονότονη(
)Από σχέση (2) έπεται ότι το σύνολο τιμών της
είναι όλο το 
Επομένως το σύνολο τιμών της
είναι το
*(αποδεικνύεται)Οπότε υπάρχει πραγματικός αριθμός
τέτοιος ώστε 
Θέτω στην αρχική
:
Αρα
αρκεί 
Από σχέση (4) για
βγαίνει
(5)Θέτω στην σχέση (5)
:
Αν
τότε
για κάθε πραγματικό αριθμό 
,άτοπο
Η αρχική σχέση μέσω της σχέσης (5) γίνεται :
(6)Θέτοντας στην σχέση (2)
προκύπτει ότι
αφού
«1-1»Θέτω στην σχέση (6) όπου

Τότε

Για
:
και με αλλαγή μεταβλητής είναι 
Στην σχέση (5):
Έστω


Άρα
και 

προκύπτει ότι 
(2)
τότε 

(3)
:
(4)
για κάθε πραγματικό
,
πραγματικοί αριθμοί και 

επομένως η 
και 
ισχύει ότι :
είναι ασυνεχής σε κάποιον πραγματικό 
(A)
πραγματικός:
συνεχής στο l(
συνεχής στο 
και αφού
,άτοπο από σχέση (A)
τότε προφανώς 
βγαίνει άπειρο ,άτοπο αφού
με 
τότε:
,
και
από θεώρημα ενδιάμεσων τιμών θα υπάρχει ένα τουλάχιστον
τέτοιο ώστε 

,άτοπο
ή
ή 
ή
, όπου 

![\frac{(2n)!}{n!}=2(2n-1)\frac{[2(n-1)]!}{(n-1)!} \frac{(2n)!}{n!}=2(2n-1)\frac{[2(n-1)]!}{(n-1)!}](/forum/ext/geomar/texintegr/latexrender/pictures/e5999ad416fe53d8f4b6ba1838209782.png)
![\frac{[2(n-1)]!}{(n-1)!}=2(2n-3)\frac{[2(n-2)!]}{(n-2)!} \frac{[2(n-1)]!}{(n-1)!}=2(2n-3)\frac{[2(n-2)!]}{(n-2)!}](/forum/ext/geomar/texintegr/latexrender/pictures/0ba645997cf3cb282fcb7d27ad324d05.png)
,όπου
για κάθε θετικό ακέραιο 








τότε
(1)
(2)
είναι παράγοντας του