
plane curves
Let alpha(s), s in $\displaystyle [0, l]$ be a closed convex plane curve positively oriented. The curve $\displaystyle beta(s) = alpha(s)  rn(s)$, where r is a positive constant and n is the normal vector, is called a parallel curve to alpha.
Show that length of beta = length of alpha + 2(pi)r
2(pi)r is the circumference of a circle. $\displaystyle l$ is the length of alpha
Can someone help me with this?

I have a partial answer:
You can always assume that $\displaystyle \alpha$ is an arc length parametrization ($\displaystyle \\vec{\alpha'}(s)\=1$ for all $\displaystyle s$)
You have $\displaystyle \beta(s)=\alpha(s)r \vec{n}(s)$, so that $\displaystyle \vec{\beta'}(s)=\vec{\alpha'}(s)r \vec{n'}(s)=\vec{\tau}(s) + r \kappa(s) \vec{\tau}(s)$, where $\displaystyle \vec{\tau}, \vec{n}$ are the unit tangent, normal vectors at time $\displaystyle s$ (the normal $\displaystyle \vec{n}$ is assumed to be the image of $\displaystyle \vec{\tau}$ by the rotation of angle $\displaystyle \frac{\pi}{2}$) and $\displaystyle \kappa(s)$ is the (algebraic) curvature at time $\displaystyle s$. As a consequence, the length of the curve is: $\displaystyle \ell(\beta)=\int_0^{\ell(\alpha)} \\vec{\beta'}(s)\ds = \int_0^{\ell(\alpha)}1+r\kappa(s)ds$$\displaystyle =
\ell(\alpha)+r\int_0^{\ell(\alpha)}\kappa(s)ds$ since the convexity of the curve gives $\displaystyle \kappa(s)\geq 0$ (I assume in fact that the curve is oriented positively, so that the result you give is right; otherwise we could not check whether $\displaystyle 1+r\kappa(s)\geq 0$).
So, if you know that the "global curvature" $\displaystyle \int_0^{\ell(\alpha)}\kappa(s)ds$ for a convex curve equals $\displaystyle 2\pi$, you are done. This is a classical result, and I have a two page long proof in a book I don't feel like rewriting here. So I hope you know that...

Thank you very much for helping. I also figured that out this morning. But do you know how to show:
Area of beta = Area of alpha + lr + (pi)r^2?
I asked my classmates, but no one could get it...

Before any justification, here is my computation (which I did before justifying):
$\displaystyle \mathcal{A}(\beta)\mathcal{A}(\alpha)=\int_0^r \ell(\alpha\rho \vec{n}) d\rho = \int_0^r (\ell(\alpha)+2\pi \rho) dr=r\ell(\alpha)+\pi r^2$.
Because of the convexity, the space between $\displaystyle \alpha$ and $\displaystyle \beta$ is the image of $\displaystyle [0,\ell(\alpha)]\times[0,r]$ by the (injective) application $\displaystyle \phi:(s,\rho)\mapsto \alpha(s)+\rho \vec{n}(s)$. So, the area you want is: $\displaystyle \int_0^{\ell(\alpha)}\int_0^r ({\rm Jac }\,\phi)(\rho,s)d\rho\,ds$ where I integrate the jacobian determinant of $\displaystyle \phi$ at $\displaystyle (\rho,s)$. Remember the Jacobian is the determinant of the differential of $\displaystyle \phi$ written in the canonical bases. However, the determinant is not altered if you write $\displaystyle d\phi$ in another orthonormal basis, even if this basis depends on $\displaystyle s$... A not so stupid choice would be to compute the Jacobian of $\displaystyle \phi$ at the point $\displaystyle (\rho,s)$ in the (orthonormal) basis $\displaystyle (\vec{\tau}(s),\vec{n}(s))$. We have $\displaystyle \partial_\rho \phi=\vec{n}(s)$ and $\displaystyle \partial_s \phi=(1\kappa(s)\rho)\vec{\tau(s)}$ (like for the arc length), so the Jacobian is the determinant of a diagonal matrix with diagonal coefficients $\displaystyle 1$ and $\displaystyle 1\kappa(s)\rho$. This gives that the area equals: $\displaystyle \int_0^r\int_0^{\ell(\alpha)}1\kappa(s)\rhods\,d\rho=\int_0^r\ell(\alpha\rho\vec{n})d\rho$, using Fubini and the arclength computation. This is the desired justification. qed.