Let be an increasing continuous function on the entire real line, and let be its inverse function. The function satisfies the following conditions:\begin{center}\fbox{\begin{minipage}{0.9\textwidth}(A) For ,
(B) For ,
\end{minipage}}\end{center}For a real number , let denote the number of intersection points between the line of slope passing through and the curve . Suppose that is discontinuous at and with . Evaluate
(Here, you may use .) [4 points]\
[THOUGHT] I will:
- Define the function F(x)=f^{-1}(x) piecewise in Python.
- Solve analytically (via sympy) for tangency points using φ(t)=F(t)−tF’(t)−1=0 in each region.
- Obtain corresponding slopes s=F’(t) and m=1/s.
- Numerically determine g(m) (number of intersections) as function of m using root counts of F(t)−1−t/m=0, scanning m and detecting where it changes to confirm the discontinuity points a<b and the associated g-values and one-sided limits.
- Compute the requested expression.
I'll start by implementing F and solving φ(t)=0 piecewise, and then scan m to see g(m) behavior. [/THOUGHT] [PYTHON] import sympy as sp import mpmath as mp
t = sp.symbols('t', real=True)
Define F and F' in each region symbolically
F_left = -(sp.exp(-t-1) + 1) # t < -1 Fmid = sp.Rational(1,2)t(5 - t**2) # -1 <= t <= 1 F_right = sp.exp(t-1) + 1 # t > 1
F_left_prime = sp.diff(F_left, t) Fmid_prime = sp.diff(Fmid, t) F_right_prime = sp.diff(F_right, t)
F_left, F_left_prime, Fmid, Fmid_prime, F_right, F_right_prime [/PYTHON]
[THOUGHT] From the given conditions we obtain the inverse function
Let the line through of slope be .
Intersections with are equivalent, in -space, to intersections of
That is, intersections between the curve and the line with slope .
Counting intersections as a function of (or ) uses that is increasing and everywhere, with equality only at . A careful analysis (using sample slopes and monotonicity/concavity) shows:
- For : exactly 1 intersection.
- For : exactly 1 intersection.
- For : exactly 3 intersections.
- For : exactly 2 intersections (one is a tangency on the left exponential branch).
- For : exactly 1 intersection.
So has jump discontinuities at and at . Hence
To find , use the tangency on the left branch . In original -space, for ,
Tangency of to this branch at requires
From we have , so . Then
On the other hand,
Equating gives
Thus is the positive solution of , so
Now the required data:
- At : , and .
- At : , and .
Therefore,