Analyzing the Setup
To determine if the landmark at x=1 acts as a local maximum for the piecewise function, we must ensure that the function reaches its peak at this point and does not exceed this value in the immediate neighborhood.
The function is defined as f(x)=x3−x2+10x−7 for x≤1. By substituting x=1 into this cubic expression, we find the elevation of our anchor point:
Thus, our anchor point is located at the coordinate (1,3). This value serves as the threshold that the rest of the path must not surpass.
The Climb (The Left Branch)
We analyze the behavior of the path as we approach the peak from the left by calculating the derivative of the cubic branch:
To determine the nature of this slope, we examine the discriminant D of the quadratic derivative:
D=(−2)2−4(3)(10)=4−120=−116
Since the discriminant is negative and the leading coefficient is positive, the derivative f′(x) is always positive. This confirms that for x<1, the function is strictly increasing, meaning we are consistently climbing toward our peak at (1,3).
The Descent (The Right Branch)
For x>1, the function is defined by the linear expression f(x)=−2x+log2(b2−4). The derivative of this branch is constant at −2.
Because the slope is negative, the function is strictly decreasing for all x>1. This confirms that the path descends immediately after the landmark, which is a necessary condition for a local maximum.
The Bridge (The Limit Condition)
For x=1 to be a maximum, the function must not jump to a value higher than 3 as we transition into the right branch. Mathematically, the right-hand limit must satisfy:
Substituting our expression, we obtain:
Adding 2 to both sides isolates the logarithmic term:
Converting this to exponential form yields:
This inequality results in the range b∈[−6,6].
The Hidden Trap
We must also ensure the function is well-defined. The term log2(b2−4) requires the argument to be strictly positive:
This implies ∣b∣>2, which corresponds to the interval b∈(−∞,−2)∪(2,∞).
Final Synthesis
To find the valid set of values for b, we intersect our two conditions: b∈[−6,6] and b∈(−∞,−2)∪(2,∞).
The intersection of these sets provides the final solution: