„Fermat-tétel (analízis)” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
47. sor:
A differenciálhatóságból következik, hogy létezik olyan c sztenderd valós szám, hogy tetszőleges ''h'' végtelenül kicsiny nemsztenderd számra:
:<math>c\
Tegyük fel, hogy ''u''-ban a függvénynek lokális minimuma van (ellenkező esetben alkalmazzuk a tételt ''-f'' -re). Ebből következik, hogy tetszőleges ''h'' ''pozitív'' végtelenül kicsiny számra:
:<math>c\
így
:<math>c\
, amiből – tekintve, hogy c sztenderd szám – a kívánt f '(u) = c = 0 egyenlőség következik. <big><big><big>[[QED| ■ ]]</big></big></big>
|