formula for arc length. Today in a variational principles lecture we were shown the following: 
If we have two points on the plane, namely, $(x_1,y_1)$ and $(x_2,y_2)$ and we have a curve $y(x)$ s.t. $y(x_1)=y_1$ and $y(x_2)=y_2$ then we can calculate the length of the curve by considering the arc length of the curve at a point $s(x)$ with $s(x_1)=0$.
We calculate the length of the curve by the integral:
$$
\int_{x_1}^{x_2}{\sqrt{1+(y'(x))^2}}dx
$$
This result comes from considering small changes in $x$ and $y$ resulting in small changes in $s$.
Specifically, we look at $ds^2=dx^2+dy^2$. We were told this is because the curve can be approximated by a line when looked at closely. Is there a more rigorous justification to this or is it that simple?
 A: I think it is based on Pythagorean theorem and at any point on a curve, the slope at it is given by $\frac{dy}{dx}$. Let $ds$ be the length of a small arc on that point. So, it can be approximated to a small line. Thus we have, $dx$ as the base, $dy$ as the height and $ds$ as the hypotenuse. 
So, $$(ds)^2 = (dx)^2 + (dy)^2$$

A: The "rigor" comes from the fact that we literally define the arc length to be the (infinite) sum of the small straight line segments that "make up" the arbitrary arc.
It is very much like integrals. The concept of "area of an arbitrary region" itself doesn't have much meaning. So we do three things: 1) We define the area of a rectangle (our basic region). 2) We "cover" the region with infinitesimally small rectangles and sum their areas. 3) We call that number (result of the sum) the area of the arbitrary region.
Same goes for the arc length. 1) We define the length of a straight line segment (using the Pythagorean theorem). 2) We approximate/cover the arbitrary arc with infinitesimally small line segments. 3) We add the lengths of the small lines segments together and call the result, the length of the arc.
For more info about this approach of defining areas (and by extension arc lengths) take a look at chapter 1 (page 48) of Calculus, Volume 1.
