Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 $$

share|improve this question
    
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 –  mba Jul 31 at 15:38
    
What is actually meant by "(not in the geometric way)"? –  mvw Jul 31 at 16:04

4 Answers 4

up vote 6 down vote accepted

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$$

share|improve this answer

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} $$

share|improve this answer

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$.

share|improve this answer

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.

share|improve this answer
    
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

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.