Porisma

Worked solution

Use a restricted quadratic, reflection and a fixed-point condition

The function ff is defined by f:x↦(ax+b)2f:x\mapsto(ax+b)^2, x∈Rx\in\mathbb R, x≥−bax\geq-\dfrac ba where aa and bb are positive constants.

(i) Show that f−1f^{-1} exists. marks

(ii) State the geometrical relationship between the graphs of ff and f−1f^{-1}. Given that the graphs of ff and f−1f^{-1} intersect, show that a≤14ba\leq\dfrac1{4b}. marks

(iii) Show that the composite function ffff is defined. marks

(iv) Solve the equation ff(2)=b2ff(2)=b^2. marks

[2010/TJC/Promo/12]

CJC · Review Problems · Question 5

Answer

(i) Inverse exists. (ii) Reflection in y=xy=x and a≤1/(4b)a\leq1/(4b). (iii) Rf⊆DfR_f\subseteq D_f. (iv) No solution for positive a,ba,b.

(i)

The retained right-hand branch of the parabola has vertex (−b/a,0)(-b/a,0) and is strictly increasing on [−b/a,∞)[-b/a,\infty). Every horizontal line cuts it at most once, so it is one-to-one and f−1f^{-1} exists.

How did this part go?

(ii)

The two graphs are reflections of one another in y=xy=x. Since ff is increasing, their common points lie on that line: f(x)=xf(x)=x. Thus (ax+b)2=x(ax+b)^2=x, or a2x2+(2ab−1)x+b2=0a^2x^2+(2ab-1)x+b^2=0. An intersection requires real roots, so (2ab−1)2−4a2b2=1−4ab≥0(2ab-1)^2-4a^2b^2=1-4ab\geq0. As b>0b>0, this yields a≤14ba\leq\dfrac1{4b}.

How did this part go?

(iii)

The range Rf=[0,∞)R_f=[0,\infty) lies inside the domain Df=[−b/a,∞)D_f=[-b/a,\infty), since a,b>0a,b>0. Therefore ffff is defined on the whole stated domain of ff.

How did this part go?

(iv)

The equation becomes [a(2a+b)2+b]2=b2\left[a(2a+b)^2+b\right]^2=b^2. The quantity inside the square brackets is positive because a,b>0a,b>0, so it must equal bb. Therefore a(2a+b)2=0a(2a+b)^2=0, and since a>0a>0 this would require 2a+b=02a+b=0, or b=−2ab=-2a. This contradicts positivity of both constants. Thus there is no solution. Equivalently, the inner quantity is strictly larger than bb, so its square is strictly larger than b2b^2.

How did this part go?

Compare your sketch

Expand diagram

Use the scrollbars or arrow keys to inspect details.

The retained right-hand branch y=(ax+b)² starts at the included vertex (−b/a,0), passes through (0,b²), increases and is unbounded. A sample horizontal line meets it once. The drawing uses illustrative a=b=1/2; the inverse-existence argument applies to every positive a,b.
The retained right-hand branch y=(ax+b)² starts at the included vertex (−b/a,0), passes through (0,b²), increases and is unbounded. A sample horizontal line meets it once. The drawing uses illustrative a=b=1/2; the inverse-existence argument applies to every positive a,b.
The retained right-hand branch y=(ax+b)² starts at the included vertex (−b/a,0), passes through (0,b²), increases and is unbounded. A sample horizontal line meets it once. The drawing uses illustrative a=b=1/2; the inverse-existence argument applies to every positive a,b.

Common mistakes

The conclusion in (iv) is no admissible positive-parameter solution; b=−2a violates the given assumptions.

Solution notes

The graph uses a=b=1/2 solely as an illustration; the question retains general positive a,b.

Read the hint