The proof is by induction: x^1 = x so the derivative is 1 = 1 * x^(1-1), and x^(n+1) = x^n * x so the derivative is (x^n)' * x + x^n * x' = (n * x^(n-1)) * x + x^n = (n+1) * x^n.
Writing that all out in formal detail is a bit more work, but not significantly so. Mario On Mon, Nov 4, 2019 at 7:48 AM 'Filip Cernatescu' via Metamath < [email protected]> wrote: > Sorry! Why the dvexp proof is so different? > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/6ac28c15-c0ed-47fc-8027-c81b63fb8409%40googlegroups.com > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJStCHTTfwzhjjucg6ga0cBA-8qemMm%3Dj3Vc7M1py_gdvuw%40mail.gmail.com.
