Consider that `( ( f ( x ) ) ^ 2 ) ' = 2 f ( x ) f ' ( x ) , ` which is given to be non-negative. Let's integrate this function from some negative `x ` to zero:

`int_( x )^( 0 ) ( 2 f ( x ) f ' ( x ) ) dx = int_( x )^( 0 ) ( ( ( f ( x ) ) ^ 2 ) ' ) dx = f ( ( 0 ) ) ^ 2 - ( f ( x ) ) ^ 2 = - ( f ( x ) ) ^ 2 .`

But the expression from which we started, `int_( x )^( 0 ) ( 2 f ( x ) f ' ( x ) ) dx , ` is non-negative because the function under the integral is non-negative. On the other hand, the last expression, `- ( f ( x ) ) ^ 2 , ` is obviously non-positive.

This situation has only one resolution—that both quantities are zero. It is what we need to prove, because `- ( f ( x ) ) ^ 2 = 0 ` for any `x lt 0 ` implies `f ( x ) = 0 ` for any `x lt 0 .`

If you need proof that the integral of a non-negative function is non-negative, consider integral sums.

## We’ll help your grades soar

Start your 48-hour free trial and unlock all the summaries, Q&A, and analyses you need to get better grades now.

- 30,000+ book summaries
- 20% study tools discount
- Ad-free content
- PDF downloads
- 300,000+ answers
- 5-star customer support

Already a member? Log in here.

Are you a teacher? Sign up now