정리 (theorem)의 작은, 또는 결론을 증명 :
\ [\ 델타 [F (t)] = \ sum_ I = {1} ^ N \ FRAC {1} {F (t) '} \ 델타 (t-t_i \\) F (t_i) = 0, I = 1,2,3 ... \]
때문에 : \ (\ 델타 (T) \ FRAC {0 \ 델타 T의 \} _ = \ 임 \ 제한 {. 1} {\ 델타 T의} T \ 당량 \ FRAC {. 1} {2} | \ 델타 T의 | \) 상기 t는 F (t)는 다음의 명확 도출 갖는 대체한다 :
\ [\ 델타 [F (t) = \ LIM \ 제한 _ {\ 델타 F 0 (t) \} \ FRAC {1} {\ 델타 F (t)} = \ LIM \ 제한 _ {\ 델타 F (t ) \ 0} \ FRAC {1} {F (t) '\ 델타 t} = \\ \ LIM \ {limits_ t \에 t_i} \ FRAC {1} {F (t)'\ 델타 t} = \ LIM \ 제한 _ {\ 델타 0 (t-t_i) \} \ FRAC {1} {F (t_i) '\ 델타 t} \\ = \ FRAC {1} {F (t_i)'} \ 델타 (T- t_i), F (t_i) = 0 \]
다음과 같은 설명을 수행합니다
때문에 \ (\ 델타 F (T) = F (T)의 '델타 T \의 \) ,이 동등 할 \ (\ 델타 F (t) \ 0 \ Leftrightarrow F (t)'\ 0 \ 델타 t \ 0 \)