mathonline
Theorem 1: Suppose that $r = f(\theta)$ is a plane polar curve. Then the curvature at $(r, \theta)$ is given by the formula$$\kappa (\theta) = \frac{\abs{2 (f'(\theta))^2 + (f(\theta))^2 - f(\theta)f''(\theta) }}{\left [(f'(\theta))^2 + (f(\theta))^2 \right ]^{3/2}}$$
Proof: Let $r = f(\theta)$ be a plane polar curve. This curve can be parameterized as $\vec{r}(\theta) = (r \cos \theta, r \sin \theta, 0) = (f(\theta) \cos \theta, f(\theta) \sin \theta, 0)$. To prove Theorem 1, we will compute the necessary components and plug them into the formula for curvature.
We first compute $\vec{r'}(\theta)$ as:
\begin{align*} \quad \vec{r'}(\theta) = (-f(\theta) \sin \theta + f'(\theta) \cos \theta, f(\theta)\cos \theta + f'(\theta)\sin \theta, 0 ) \end{align*}We then compute $\vec{r''}(\theta)$ as:
\begin{align*} \vec{r''}(\theta) &= (-f(\theta)\cos(\theta) -f'(\theta)\sin \theta - f'(\theta) \sin \theta + f''(\theta)\cos \theta, -f(\theta)\sin \theta + f'(\theta)\cos \theta + f'(\theta)\cos (\theta) + f''(\theta) \sin \theta, 0) \\ &= (f''(\theta) \cos \theta - 2f'(\theta)\sin \theta - f(\theta) \cos \theta, f''(\theta)\sin \theta + 2f'(\theta) \cos \theta - f(\theta) \sin \theta, 0) \end{align*}
We now compute the cross product $\vec{r'}(\theta) \times \vec{r''}(\theta)$ as follows:
\begin{align*} \vec{r'}(\theta) \times \vec{r''}(\theta) &= \begin{vmatrix} \vec{i} & \vec{j} & \vec{k} \\ -f(\theta)\sin \theta + f'(\theta)\cos \theta & f(\theta) \cos \theta + f'(\theta) \sin \theta & 0\\ f''(\theta) \cos \theta - 2f'(\theta)\sin \theta - f(\theta) \cos \theta & f''(\theta)\sin \theta + 2f'(\theta) \cos \theta - f(\theta) \sin \theta & 0 \end{vmatrix} \\&= \biggl(0, 0, 2(f'(\theta))^2 + (f(\theta))^2 - f(\theta)f''(\theta)\biggr) \end{align*}
Therefore we have that $\| \vec{r'}(\theta) \times \vec{r''}(\theta) \|$ is:
\begin{align*} \quad \| \vec{r'}(\theta) \times \vec{r''}(\theta) \| = \sqrt{ \left [ 2(f'(\theta))^2 + (f(\theta))^2 - f(\theta)f''(\theta) \right ]^2} = \mid 2(f'(\theta))^2 + (f(\theta))^2 - f(\theta)f''(\theta) \mid \end{align*} Lastly we compute $\| \vec{r'}(\theta) \|$ as:
\begin{align*} \quad \| \vec{r'}(\theta) \| = \sqrt{(f'(\theta))^2 + (f(\theta))^2} = \left [ (f'(\theta))^2 + (f(\theta))^2 \right]^{1/2} \end{align*}
Now we will plug $\| \vec{r'}(\theta) \times \vec{r''}(\theta) \|$ and $\| \vec{r'} (\theta) \|$ into the formula for curvature, $\kappa (\theta) = \frac{\| \vec{r'}(\theta) \times \vec{r''}(\theta) \|}{\| \vec{r'}(\theta) \|^{3}}$ to get that:
\begin{align*} \quad \kappa (\theta) = \frac{\mid 2(f'(\theta))^2 + (f(\theta))^2 - f(\theta)f''(\theta) \mid}{\left [ (f'(\theta))^2 + (f(\theta))^2 \right]^{3/2}} \quad \blacksquare \end{align*} |