Porisma

Original question & working

Compose through a restricted range, then use symmetry for area · source reference

[2010/TJC/Prelim/II/3] · Question pp. 6 · Working pp. 23, 24

Open the interactive lesson

The working and teaching notes are included in the interactive lesson.

Source discrepancy: the question uses ℝ₀⁺ but the solution uses x>0. The inclusion of 2a in the inverse domain awaits clarification.

View source review notes
Full original question, working & notes

Printed question

(a) Functions f:x↦(x−2)(x−4) f:x\mapsto(x-2)(x-4) for x∈Rx\in\mathbb R, x<4 x<4; g:x↦x/(x+3) g:x\mapsto x/(x+3) for x∈Rx\in\mathbb R, x≠−3 x\ne-3.

Determine if ff is one-one, justifying your answer. [1]

Only one of fgfg and gfgf exists. Give a definition (including domain) of the composite that exists, and explain why the other does not exist. Find the range of the composite that exists. [6]

(b) h:x↦a(1+e−x) h:x\mapsto a(1+e^{-x}), x∈R0+ x\in\mathbb R_0^+, where aa is positive. Find h−1(x) h^{-1}(x) and its domain. [3]

Given that hh and h−1 h^{-1} intersect where x=bx=b, and ∫0bh(x) dx=I\int_0^b h(x)\, dx=I , find the area bounded by h,h−1 h, h^{-1} and the axes in terms of I,bI, b. [2]

[2010/TJC/Prelim/II/3]

Printed working

(a) Horizontal line y=−0.5 y=-0.5 cuts the graph of ff twice ⇒ ff is not one-one.

Rg=(−∞,1)∪(1,∞) R_g=(-\infty, 1)\cup(1, \infty), Df=(−∞,4) D_f=(-\infty, 4). Since Rg⊈DfR_g\nsubseteq D_f, fgfg does not exist.

Rf=[−1,∞) R_f=[-1, \infty), Dg=(−∞,−3)∪(−3,∞) D_g=(-\infty, -3)\cup(-3, \infty). Since Rf⊆DgR_f\subseteq D_g, gfgf exists.

gf(x)=(x−2)(x−4)(x−2)(x−4)+3=x2−6x+8x2−6x+11.gf(x)=\frac{(x-2)(x-4)}{(x-2)(x-4)+3}=\frac{x^2-6x+8}{x^2-6x+11}.

Definition gf:x↦(x2−6x+8)/(x2−6x+11) gf:x\mapsto(x^2-6x+8)/(x^2-6x+11) for x∈Rx\in\mathbb R, x<4 x<4.

The source flow diagram prints Df=(−∞,4)→fRf=[−1,∞)→gRgf=[−1,1) D_f=(-\infty, 4)\xrightarrow f R_f=[-1, \infty)\xrightarrow g R_{gf}=[-1, 1), then immediately concludes Rgf=[−1/2,1) R_{gf}=[-1/2, 1). The intermediate −1-1 is a source typo: g(−1)=−1/2 g(-1)=-1/2, and correct range is [−1/2,1)[-1/2, 1).

(b) The solution uses x>0 x>0: let y=a(1+e−x) y=a(1+e^{-x}) ⇒ y/a−1=e−x y/a-1=e^{-x} ⇒ x=−ln⁡(y/a−1) x=-\ln(y/a-1). Thus h−1(x)=−ln⁡(x/a−1) h^{-1}(x)=-\ln(x/a-1), Dh−1=Rh=(a,2a) D_{h^{-1}}=R_h=(a, 2a) under that interpretation.

Endpoint qualification

The question prints R0+\mathbb R_0^+, normally including0, while solution explicitly uses x>0 x>0 and open endpoint (a,2a)(a, 2a). If0 is included, inverse domain is (a,2a](a, 2a] and h−1(2a)=0 h^{-1}(2a)=0. Both interpretations retain the same area formula.

Area bounded by h,h−1 h, h^{-1} and axes

=2×(area bounded by h and y=x)by symmetry about y=x=2×(shaded area I−blue right-angled triangle area)=2(I−12b2)=2I−b2.\begin{aligned}&=2\times(\text{area bounded by }h\text{ and }y=x)\quad\text{by symmetry about }y=x\\ &=2\times(\text{shaded area }I-\text{blue right-angled triangle area})\\ &=2(I-\tfrac12b^2)=2I-b^2.\end{aligned}

Teacher notes

The horizontal-line test must include the whole printed domain x<4 x<4.

Use symmetry about y=xy=x for inverse-curve areas; subtract the triangle with base and height bb from II before doubling. Figure has point (b,b)(b, b), open endpoint 2a2a , and asymptotes y=ay=a, x=ax=a.

Answer key

(a) No; Rg⊈DfR_g\nsubseteq D_f; gf:x↦(x2−6x+8)/(x2−6x+11) gf:x\mapsto(x^2-6x+8)/(x^2-6x+11), x<4 x<4; Rgf=[−1/2,1) R_{gf}=[-1/2, 1). (b) inverse −ln⁡(x/a−1)-\ln(x/a-1); printed domain (a,2a)(a, 2a); area 2I−b22I-b^2.

Native diagrams

Parabola, open (4, 0), (3, −1), 2 and4, and horizontal line −0.5. Rational g, pole−3, asymptote1, input Rf and output Rgf. h exponential with open (0, 2a) and y=a. h and inverse, line y=x, (b, b), x=a, y=a, endpoints2a, shaded I and blue triangle.