Calculus proof
Objective. Use monotonicity, convexity and integration in rigorous arguments.
- 1. Learn
- 2. Worked example
- 3. Practice
- 4. Feedback
- 5. Continue
Learn: the key idea
Calculus proof uses properties such as monotonicity (where a function is strictly increasing or decreasing, determined by the sign of its derivative), convexity (determined by the sign of the second derivative), and integration to construct rigorous mathematical arguments rather than numerical checks. For instance, to prove an inequality like eˣ ≥ 1+x for all real x, one can show f(x)=eˣ−1−x has f(0)=0, f'(x)=eˣ−1 which is negative for x<0 and positive for x>0, so f has a minimum at x=0 where f(0)=0, proving f(x)≥0 everywhere. This technique of analysing a difference function's derivative is a standard tool for proving inequalities.
Worked example
Prove that ln x ≤ x − 1 for all x > 0, using properties of the derivative of a suitable function.
- 1Let f(x) = x − 1 − ln x for x > 0
- 2Differentiate: f'(x) = 1 − 1/x, which is zero at x=1, negative for 0<x<1, positive for x>1
- 3So f has a minimum at x=1, where f(1) = 1 − 1 − ln 1 = 0
- 4Since the minimum value of f is 0, f(x) ≥ 0 for all x>0, so ln x ≤ x − 1
Answer: Proved: ln x ≤ x − 1 for all x > 0
Concept mastery
Based on your past attempts at this lesson — the question types to practise again come first.
Complete a practice set to see your concept breakdown here.
Practice
Practice happens on its own screen, one question at a time. Answers stay hidden until you submit yours, and you can stop and pick up at the same question later.
Start practisingCommon mistake. Students 'prove' an inequality by checking a few numerical values rather than analysing the sign of a derivative over the whole domain. A proof must hold for every value in the stated range, which requires calculus reasoning, not spot-checks.
Your progress
Tick each step as you finish it. Your exact reading position is saved automatically, so Continue drops you back on the same line.
0 of 5 steps complete
Your place saves automatically as you read.