extreme f(x)=x^4-4x^3+9
⚠ 4x is read as the product 4*x: for a power, write 4^x
1) Find the strict local extrema of x4 -4x3 + 9 on ℝ: the derivative must be zero and change sign
⇥1.1) Let's differentiate: ddx(x4 -4x3 + 9)
⇥ ddx(x4) + ddx(-4x3) + 0
⇥ℹddx(x4) = 4x3‖ddx(-4x3) = -4·ddx(x3)‖ddx(x3) = 3x2
⇥ 4x3 -4·3x2
⇥ 4x3 -12x2
⇥This expression can be factorized into: x2·(4x -12)
⇥1.2) Let's factor in ℝ: (4x -12)
⇥This expression can be factorized into: 4·(x -3)
⇥Factor found: (x -3)
⇥The first derivative is 4x2·(x -3)
⇥1.3) Let's solve in ℝ: 4x2·(x -3) = 0
⇥The expression can be simplified by: 4
⇥Let's solve in ℝ: x2 = 0
⇥Solution obtained: x = 0
⇥Let's solve in ℝ: x -3 = 0
⇥Solution found: x = 3
⇥1.4) Let's perform the differentiation: ddx(4x2·(x -3))
⇥ 4·ddx(x2·(x -3))
⇥For U1 = x2 and V2 = x -3, use the product/quotient rule: ddx(U1·V2) = ddx(U1)·V2 + U1·ddx(V2)
⇥1.5) Let's perform the differentiation U1: ddx(x2)
⇥ 2x
⇥1.6) Let's differentiate V2: ddx(x -3)
⇥ 1 + 0
⇥ 1
⇥1.7) You can evaluate the resulted derivative (U1·V2)': 2x·(x -3) + x2·1
⇥ 2x·(x -3) + x2
⇥ (2x2 -6x) + x2
⇥ 3x2 -6x
⇥1.8) Then you can continue the derivation:
⇥ 4·(3x2 -6x)
⇥ 12x2 -24x
⇥You can factorize this expression into: x·(12x -24)
⇥1.9) Let's factor in ℝ: (12x -24)
⇥You can write the expression in factored form: 12·(x -2)
⇥Factor identified: (x -2)
⇥The second derivative is 12x·(x -2)
2) At x = 0, calculate f''(0) = 12·0·(0 -2) = 0
The first nonzero derivative at this point has order 3 and value -24
At x = 0, the derivative has a zero of even order: it does not change sign, so this is not an extremum
3) At x = 3, calculate f''(3) = 12·3·(3 -2) = 36
At x = 3, the second derivative is positive: this is a strict local minimum
⇥ 34 -4·33 + 9
⇥ℹ34 = 81‖33 = 27
⇥ 81 -4·27 + 9
⇥ℹ-4·27 = -108‖81 + 9 = 90
⇥ 90 -108
⇥ -18
The y-coordinate is f(3) = -18
The polynomial tends to +∞ at both infinities: this unique local extremum is also global
▶Strict local extrema:   {(3, -18)}