\( (u(x)v(x))'=\lim_{\delta x\to 0}\frac{u(x+\delta x)v(x+\delta x)-u(x)v(x)}{\delta x}. \)
Add and subtract \( u(x+\delta x)v(x) \) in the numerator. Then
\( (u(x)v(x))'=\lim_{\delta x\to 0}\frac{u(x+\delta x)v(x+\delta x)-u(x+\delta x)v(x)+u(x+\delta x)v(x)-u(x)v(x)}{\delta x} \)
\( =\lim_{\delta x\to 0}u(x+\delta x)\lim_{\delta x\to 0}\frac{v(x+\delta x)-v(x)}{\delta x}+\lim_{\delta x\to 0}\frac{u(x+\delta x)-u(x)}{\delta x}\lim_{\delta x\to 0}v(x) \)
\( =u(x)v'(x)+u'(x)v(x). \)

Okay, that wasn't pretty, but I felt was being quite number theory-y ;)

Show thread
Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!