Prem Gurung, Pokhara University Mean value theorem Prem Gurung Assistant Professor School of Engineering, Faculty of Science and Technology Pokhara University, Kaski Nepal Rolle's Theorem: Prem Gurung, Pokhara University Suppose that a function π(π₯) is continuous on the closed interval [π, π] and differentiable on the open interval (π, π). Then if π(π) = π(π), then there exists at least one point π in the open interval (π, π) for which π′(π) = 0. 30/01/2023 Prem Gurung, Pokhara University . 2 Prem Gurung, Proof: Pokhara University Since π(π₯) is continuous on closed interval π, π , then by extreme value theorem, π(π₯) has both a minimum and maximum on the interval [π, π]. Let π be the maximum and π be the minimum value on the interval [π, π]. Case I: If π = π, i.e. π π₯ is constant in [a, b]. Then obviously π′(π₯) = 0 at every point in the interval and π can be taken any real number in (a, b). That is theorem is true in this case. 30/01/2023 Prem Gurung, Pokhara University . 3 Prem Gurung, Pokhara University Case II: If π ≠ π then at least one of them is different from π π or π π . let f(c) is a maximum value of f(x) in (a, b). (i.e. f a ≠ π) we wish to show that π′ π = 0 for some π in (a, b). Suppose that π π = M, then π π − β ≤ π(π) and π π + β ≤ π π for all h > 0 So, [π π − β − π(π) ≤ 0)] and [π π + β − π(π) ≤ 0)] for all h > 0 30/01/2023 Prem Gurung, Pokhara University . 4 π π+β −π(π) β Prem Gurung, = −π£π +π£π ≤0 and π π−β −π(π) −β ≤0 and π π−β −π(π) −β β→π = −π£π −π£π ≥ 0 for all h > 0 Pokhara University π π+β −π(π) β β→π Hence lim lim ≥0 This shows that right hand derivative π′(π + ) ≤ 0 and left hand derivative π′(π − ) ≥ 0. Since π′(π₯) exists at every value of π₯ in (a, b) and so π′ π also exists. For this, above two limits must exist, and equal to zero. Hence π′ π = 0 for some π in (a, b). Case III: If π is different from π π or π π with π ≠ π we can similarly show that π′ π = 0 for some π in (a, b). 30/01/2023 Prem Gurung, Pokhara University . 5 Prem Gurung, Pokhara University Geometric interpretation Let π¦ = π(π₯) be a continuous function on the interval [a, b] and is differentiable at each point in (a, b) such that π(π) = π(π). Then, there exists at least a point π ∈ (π, π) where the tangent drawn to the curve is parallel to x-axis. i.e., π ′(π) = 0 as shown in figure. This means that tangent is parallel to x-axis at the point x = c in the interval (a, b). 30/01/2023 Prem Gurung, Pokhara University . 6 Remark: 1 Prem Gurung, 1. Rolle’s theorem guarantees the existence of at least one point c such that Pokhara University π′(π) = 0. It does not restrict the existence of more than one point such that the tangent is parallel to the x-axis. 2. If any of the conditions of Rolle's theorem fails for a given function, we cannot apply Rolle's theorem. For example, consider a function π(π₯) = |π₯|, π₯ ∈ [– 1, 1]. The function π(π₯) is continuous on [– 1, 1] and π(– 1) = π(1) = 1. But π′(0) does not exist at π = 0 and c ∈ (– 1, 1). So, π(π₯) is not differentiable at all points in (– 1, 1). Hence, we can not apply Rolle's theorem in this example. 30/01/2023 Prem Gurung, Pokhara University . 7 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 8 Prem Gurung, Pokhara University Solution. First of all, we need to check that the function f(x) satisfies all the conditions of Rolle's theorem. 1. f(x) is continuous in [−2,0] as a quadratic function; 2. It is differentiable everywhere over the open interval (−2,0); 3. Finally, 30/01/2023 Prem Gurung, Pokhara University . 9 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 10 Prem Gurung, Pokhara University Example 2. Given the function π(π₯) = π₯2 − 6π₯ + 5. Find all values of c in the open interval (2,4) such that π′(π) = 0. Solution. First we determine whether Rolle's theorem can be applied to π(π₯) on the closed interval [2,4]. The function is continuous on the closed interval [2,4]. The function is differentiable on the open interval (2,4). 30/01/2023 Prem Gurung, Pokhara University . 11 Its derivatives Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 12 Example 3. Let π(π₯) = π₯2 + 8π₯ + 14. Find all values of c in the interval (−6,−2) such that π′(π) = 0. Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 13 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 14 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 15 Lagrange's Mean Value Theorem (MVT) Prem Gurung, Pokhara University Lagrange's mean value theorem (MVT) states that if a function π(π₯) is continuous on a closed interval [a, b] and differentiable on the open interval (a, b), then there is at least one point π₯ = π on this interval, such that π′ π π −π π π = (π − π) Proof: Let us define a function πΉ π₯ = π π₯ + πΎπ₯ 30/01/2023 ………… (i) Prem Gurung, Pokhara University . 16 Where π(π₯) and πΎπ₯ are continuous in π, π and differentiable in (π, π). Prem Gurung, Pokhara University therefore, it follows that the sum of continuous functions is continuous and sum of differentiable functions is differentiable. So, πΉ π₯ is continuous in π, π and differentiable in (π, π). The πΎ is constant to determined so that πΉ π = πΉ π . i.e. , f π + πΎπ = π π + πΎπ or, πΎ(π– π) = π(π) – π(π) ∴ 30/01/2023 −πΎ = π π −π π π−π Prem Gurung, Pokhara University . 17 Prem Gurung, Pokhara University Thus F(x) satisfies all three conditions of Rolle’s Theorem. Hence there exist at least one point π in π, π such that πΉ′ π = 0 so from (i) …….. (ii) πΉ π₯ = π π₯ + πΎπ₯ Differentiate with respect to π₯ πΉ′ π₯ = π′ π₯ + πΎ or, πΉ′ π = π′ π + πΎ From (ii) π′ π = −πΎ ∴ π′ π = π π −π π π−π π<π<π Which proves the theorem 30/01/2023 Prem Gurung, Pokhara University . 18 Prem Gurung, Pokhara University Geometric interpretation of mean value theorem Let π(π₯) be continuous on [a, b] and differentiable on (a, b) as shown in the figure. Then the slope of the secant line joining A and B is m = π‘πππ = π π −π π π−π Also, the slope of tangent at π is π′(π). We see from the graph that the tangent drawn at C is parallel to secant line joining endpoints A and B, i.e., π ′(π) = π π −π π π−π Remark: There may be more than one point in (a, b) satisfying Lagrange's mean value theorem. 30/01/2023 Prem Gurung, Pokhara University . 19 Prem Gurung, Pokhara University Example 1. Check the validity of Lagrange's mean value theorem for the function π(π₯) = π₯2 − 3π₯ + 5 on the interval [1,4]. If the theorem holds, find a point c satisfying the conditions of the theorem. Solution. The given quadratic function is continuous and differentiable on the entire set of real numbers. Hence, we can apply Lagrange's mean value theorem. The derivative of the function has the form 30/01/2023 Prem Gurung, Pokhara University . 20 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 21 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 22 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 23 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 24 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 25 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 26 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 27 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 28 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 29 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 30 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 31 Prem Gurung, Pokhara University 30/01/2023 Prem Gurung, Pokhara University . 32 Any Questions…? Prem Gurung, Pokhara University Thank You VERY much 30/01/2023 Prem Gurung, Pokhara University . 33