Usually textbooks show the formula in 2D and attention is given as to how the mean value theorem allows the introduction of a derivative into the equation. Thus far I have not been able to find a formal proof of arc length in 3D. I thought someone might have run into one on some occasion. What is the formula for arc length in 3D?