It would be slightly more satisfying to set theta = f(t), where t is the time variable, but since dtheta/dt cancels out it doesn’t matter.

besides, this would require the dy/dx form of the derivative, and this seems to have gone out of fashion – poor Leibniz

### Like this:

Like Loading...

*Related*

Thanks for pointing me to that post in your reply on my blog!

Since you asked – I don’t see any loopholes! I consider this proof similar to starting from describing the path of the point as a complex number by e^(i*theta) with theta being some function of t. Of course it depends on what you want to accept as an existing rule. Assuming we know about complex numbers (or vectors in a 2D plane), the exponential function, its derivative and e^(i*theta) = cos theta + i * sin theta:

r(t) = e^(i*theta(t)) (1)

(r being complex)

Then the velocity is

v(t) = i*theta'(t) * e^(i*theta(t)) (2)

Perhaps if you want to avoid the requirement of knowing about the derivative of the exponential function you could also say: in a circular path r and v have to be perpendicular to each other, thus there needs to be a factor e^(i*pi/2) or simply i (i * sin Pi/2) to get from r to v.

(1) =>

r(t) = cos(theta) + i * sin(theta)

v(t) thus is also

r'(t) = theta'(t)*cos'(theta) + i * theta(t)*sin(theta(t))

= theta'(t)[cos'(theta) + i * sin'(theta(t)]

Comparing that to inserting the definition of exp = sin + i * cos into (2)…

v(t) = i * theta'(t) [cos(theta) + i * sin(theta)]

Rearraning real and imaginary parts:

v(t) = theta'(t )[-sin(theta) + i*cos(theta)]

Comparing real and imaginary parts:

cos’ = -sin and sin’ = cos.

So theta can be any function of t and cancels out. If you wanted to add a function theta(t) you could also multiply both terms in your Eq.1 with theta’ as the derivative of cos^2(theta(t)) is 2*cos(theta)*theta'(t).

Sorry in advance for any typos – I am always a bit reluctant to add derivations to comments on other blogs as I don’t have a chance to correct them later.