Devo provare il teorema:
A di Rn aperto. f:A—>R , x0 appartenente ad A, v appartenente ad Rn, v≠0
Se f é differenziabile in x0 allora esiste df(x0)(v) per ogni v di Rn diversa da 0
f é derivabile lungo qualsiasi direzione
DIMOSTRAZIONE (quando metto // … // indico la NORMA)
Partendo dal rapporto incrementale
[f(x0+tv) - f(x0) ] / t dopo svariati passaggi arriviamo a
[f(x0+tv) - f(x0) - df (x0)(tv)] / (//tv//)_n è il fattore 1 e tutto questo va a moltiplicare (|t| * //v//) / t che è il fattore 2 e tutto questo prodotto tra i due prodotti va sommato a df(x0)(v)
Per mostrare la tesi dobbiamo passare al limite per t che tende a 0 e deve venire df (x0) (v)
Mi potete spiegare perché il limite di tutto quella roba fa 0?
Chiaramente df (x0)(v) non dipende da t e dato che fa proprio quello lì allora o uno dei due fattori precedenti che ho scritto sopra o entrambi fanno 0 per t che tende a 0. Ma appunto non ho capito quale dei due o se entrambi e perché, partendo dal fatto che entrambi sono forme indeterminate [0/0]
@Giulio_M @zeunig356 @Matematico_risponde