最後の証明は、f(x) x->a = f(a) - 連続の定義で始まります。したがって、f(x) x->a - f(a)=0 です。次に、f'(a)*0 に簡略化されますが、これは関数が連続している場合にのみ当てはまります。関数が連続していない場合は、f'(a)*何らかの定数に簡略化されます。f(x) x->a - f(a)=c - は連続していないため、= 0 にはなりません。また、微分可能であるためには、x-a はゼロにならなければなりません (定義により)。これが、微分可能であることは連続であることを意味する方法です。お役に立てば幸いです。####[]