U potunosti se slažem sa desiderijem, ali bih dopisao još par stvari:
Trougao je napisao:1. Voleo bih da vidim formalni dokaz lepo objašenjen za ekstemnu vrednost funkcije kada je prvi izvod jednak nuli.
Zapravo ovo nije (uvek) tačno. Ovako napisana rečenica kada se pročita, dalo bi se zaključiti da ako funkcija ima nulti izvod u nekoj tački iz toga sledi da će u toj tački imati i ekstremnu vrednost. Sigurno znaš za postojanje tačke prevoja (infleksije), i jasno ti je zašto gornja tvrdnja nije tačna (možda se samo ti nisi dobro izjasnio ili ja nisam dobro razumeo tvoje pitanje). Kako god bilo, sledeće tvrđenje, poznato kao Fermaova teorema o stacionarnim tačkama, jeste tačno:
Neka je [inlmath]f:(a,b)\to\mathbb{R}[/inlmath] funkcija takva da je [inlmath]x_0\in(a,b)[/inlmath] lokalni extrem od [inlmath]f[/inlmath]. Ako je [inlmath]f[/inlmath] diferencijabilna kod [inlmath]x_0[/inlmath], tada [inlmath]f'(x_0)=0[/inlmath].
Dokaz: Pretpostavimo da je [inlmath]x_0[/inlmath] lokalni maksimum (slično se dokazuje i za minimum). Tada postoji [inlmath]\delta>0[/inlmath] takvo da se [inlmath](x_0-\delta,\;x_0+\delta)[/inlmath] uvek nalazi unutar intervala [inlmath](a,b)[/inlmath], i takvo da [inlmath]f(x_0)\ge f(x)[/inlmath] važi za svako [inlmath]|x-x_0|<\delta[/inlmath]. Za svako [inlmath]0<h<\delta[/inlmath] važi [inlmath]f(x_0)\ge f(x+h)[/inlmath] (pošto funkcija u [inlmath]f(x_0)[/inlmath] ima lokalni maksimum), iz čega sledi [inlmath]f(x+h)-f(x_0)\le0[/inlmath]. Dalje sledi:
[dispmath]\frac{f(x+h)-f(x_0)}{h}\le0[/dispmath]
Limes izraza s leve strane nejednakosti kako se [inlmath]h[/inlmath] približava [inlmath]0^+[/inlmath] zapravo je [inlmath]f'(x_0)[/inlmath], pa sledi da je [inlmath]f'(x_0)\le0[/inlmath].
Isto tako za svako [inlmath]-\delta<h<0[/inlmath] važi:
[dispmath]\frac{f(x+h)-f(x_0)}{h}\ge0[/dispmath]
i zaključujemo da je limes izraza sa leve strane nejednakosti [inlmath]f'(x_0)[/inlmath] kako se [inlmath]h[/inlmath] približava [inlmath]0^-[/inlmath], iz čega sledi [inlmath]f'(x_0)\ge0[/inlmath].
Iz ovoga možemo zaključiti da je [inlmath]f'(x_0)=0[/inlmath]
Teorema se takođe može potvrditi potvrđivanjem svoje kontrapozicije (modus tollens):
Ako je [inlmath]f[/inlmath] diferencijabilna kod [inlmath]x_0[/inlmath], i [inlmath]f'(x_0)\ne0[/inlmath], tada [inlmath]f[/inlmath] nema lokalni extrem u [inlmath]x_0[/inlmath].
Dokaz: Pretpostavimo da funkcija [inlmath]f[/inlmath] ima izvod [inlmath]k>0[/inlmath] u tački [inlmath]x_0[/inlmath] (dokaz je sličan i za [inlmath]k<0[/inlmath]). Iz definicije limesa:
[dispmath]\lim_{h\to0}\frac{f(x_0+h)-f(x_0)}{h}=k[/dispmath]
možemo zaključiti da za dovoljno malo [inlmath]h[/inlmath] važi:
[dispmath]\frac{f(x_0+h)-f(x_0)}{h}>\frac{k}{2}[/dispmath]
Kada je [inlmath]h>0[/inlmath] važi [inlmath]f(x_0+h)>f(x_0)+(k/2)h>f(x_0)[/inlmath], dok za [inlmath]h<0[/inlmath] važi [inlmath]f(x_0+h)<f(x_0)+(k/2)h<f(x_0)[/inlmath]. Iz nejednakosti vidimo da funkcija uzima veću vrednost od [inlmath]f(x_0)[/inlmath] desno od [inlmath]x_0[/inlmath], i manju vrednost od [inlmath]f(x_0)[/inlmath] levo od [inlmath]x_0[/inlmath]. Dakle, [inlmath]f(x_0)[/inlmath] nije extrem funkcije.
Trougao je napisao:2. Treba li uopšte da ramišljam da upišem matematiku (koju neizmerno volim)?
Naravno da treba. Nemoj biti u zabludi da matematički faks (ili bilo koji drugi) možeš završiti bez učenja. Pre ili kasnije, na svakom ozbiljnom fakultetu naići ćeš na neku materiju koju nećeš moći lako da "sažvaćeš". I to je sasvim OK. Ionako mozak zaboravlja stvari kojih se ne podseća (to je fiziološki proces), čak i ako ih u potpunosti razume. Uvek se možeš vratiti na nešto kasnije ako ti bude zatrebalo. Ako imaš barem prosečnu inteligenciju, uz
trud ćeš moći da uspešno završiš faks. A trud će doći samo ako nešto voliš.
Što se tiče dokaza, ko što rekoh, mozak zaboravlja. Što budeš više propozicija dokazao to ćeš više zapamtiti.