# Arc Length of a Curve

Let $f:[a,b]\to \mathbb{R}$ be a continuous function, how can you prove (not in the geometric way): $$\sqrt{\left(f(b)-f(a)\right)^2+\left(b-a\right)^2}\le\int_a^b \sqrt{1+f'(x)^2}dx$$

-
If $f$ rectifiable? –  Shine Jul 31 at 15:34
Presumably, you need at least differentiable :) –  Thomas Andrews Jul 31 at 15:35
at least the function f must be absolutely continuous until above statement has meaning –  shi'looo Jul 31 at 15:38
What is actually meant by "(not in the geometric way)"? –  mvw Jul 31 at 16:04

Apply Cauchy–Schwarz on the vectors $u=(f'(x),1)$ and $v=(f(b)-f(a),b-a)$ to find

$$f'(x)(f(b)-f(a)) + (b-a) \leq \sqrt{f'(x)^2 + 1} \sqrt{\left(f(b)-f(a)\right)^2 + \left(b-a\right)^2}$$

Now integrate the inequality over $[a,b]$ to obtain the result

$$\sqrt{\left(f(b)-f(a)\right)^2 + \left(b-a\right)^2} \leq \int_a^b\sqrt{f'(x)^2 + 1}dx$$

${\bf Addendum}$: By considering $u=(f_1'(x),f_2'(x),\ldots,f_n'(x))$ and $v=(f_1(b)-f_1(a),\ldots,f_n(b)-f_n(a))$ the result easily generalizes to

$$\sqrt{\sum_{i=1}^n\left(f_i(b)-f_i(a)\right)^2} \leq \int_a^b\sqrt{\sum_{i=1}^n f_i'(x)^2}dx$$

-

Hint: $$\sqrt{\left(f(b)-f(a)\right)^2+\left(b-a\right)^2} = (b-a)\sqrt{\left(\frac{f(b)-f(a)}{b-a}\right)^2+1}$$

-

More generally you can proof that $\sqrt {\left( \int_a^b f\right)^2+\left( \int_a^b g\right)^2}\leq \int_a^b\sqrt{f^2+g^2}$ differentiating by b.

In fact you obtaine $$\frac{f\int_a^b f+g\int_a^b g}{\sqrt{\left(\int_a^b f \right)^2+\left(\int_a^b g\right)^2}}\stackrel{?}{\leq} \sqrt{f^2+g^2}$$

that is $0\stackrel{?}{\leq} \left( f \int_a^b g- g \int_a^bf \right)^2$.

-

Hint

The lhs is the distance between points $[a,f(a)]$ and $[b,f(b)]$ along the line which joins them. And since the shortest distance between two points is ...

I am sure that you can take from here.

-
Did you not argue it the very geometric way? –  mvw Jul 31 at 15:51
@mvw. You are totally right but is it really geometry or definition of some algebraic property ? I would really enjoy to discuss this with you. Thanks for making the point. Cheers :-) –  Claude Leibovici Jul 31 at 15:53
That would bend my mind and shuffle its geodesics. –  mvw Jul 31 at 16:03