Problem 1034 (difficulty: 3/10)
Prove that the logarithmic spiral \(\displaystyle r=a\cdot e^{c\cdot \psi}\) (\(\displaystyle \psi\in [0,\infty)\)) has finite arclength.