Unit 4

VICMath MethodsSyllabus dot point

How are hybrid (piecewise) functions and inverse functions defined, analysed and graphed in Unit 4?

Hybrid (piecewise-defined) functions, their continuity and differentiability conditions, inverse functions $f^{-1}$ where defined, and the reflection of $y = f(x)$ in the line $y = x$

A focused answer to the VCE Math Methods Unit 4 key-knowledge point on hybrid (piecewise) functions and inverse functions. Continuity and differentiability at join points, the inverse-function reflection in $y = x$, domain and range swapping, and a worked example for each.

Generated by Claude OpusReviewed by Better Tuition Academy9 min answer

Have a quick question? Jump to the Q&A page

What this dot point is asking

VCAA wants you to define and analyse hybrid (piecewise) functions, especially their continuity and differentiability at join points, and to find inverse functions, requiring a one-to-one domain restriction when necessary. The dot point combines algebraic skill (solving for the inverse), calculus skill (matching derivatives at joins) and graphical reasoning (reflection in y=xy = x).

Hybrid (piecewise) functions

A hybrid function is defined by different rules on different intervals of its domain. The general form:

f(x)={f1(x)if xI1f2(x)if xI2f(x) = \begin{cases} f_1(x) & \text{if } x \in I_1 \\ f_2(x) & \text{if } x \in I_2 \\ \vdots \end{cases}

Each piece fif_i has its own formula and its own interval IiI_i. The intervals partition the domain (no overlap, no gap).

Examples:

  • IMATH_7
  • Income tax brackets (different marginal rates on different income bands).
  • Heaviside step function: H(x)=0H(x) = 0 for x<0x < 0 and H(x)=1H(x) = 1 for x0x \geq 0.

Continuity at a join

A hybrid function is continuous at the join point x=ax = a if the left-hand value and right-hand value of ff agree at aa:

limxaf(x)=limxa+f(x)=f(a)\lim_{x \to a^-} f(x) = \lim_{x \to a^+} f(x) = f(a)

In practice: substitute x=ax = a into the left-piece formula and the right-piece formula, and require the two values to match.

Differentiability at a join

A hybrid function is differentiable at the join point x=ax = a if it is continuous at aa AND the left and right derivatives agree:

limxaf(x)=limxa+f(x)\lim_{x \to a^-} f'(x) = \lim_{x \to a^+} f'(x)

In practice: differentiate each piece, substitute x=ax = a, and require the two derivatives to match.

Continuity alone is not enough. For example, x\lvert x \rvert is continuous at x=0x = 0 (both pieces give 0) but not differentiable there (left derivative is 1-1, right derivative is +1+1).

Two-constant problems

Many Paper 1 hybrid questions give a hybrid function with two unknown constants in one piece, and ask to find the constants such that the function is continuous and differentiable at a specified join.

Procedure:

  1. Continuity equation. Substitute the join xx-value into both pieces; set the two expressions equal.
  2. Differentiability equation. Differentiate each piece; substitute the join xx-value into both derivatives; set the two expressions equal.
  3. Solve the simultaneous equations for the two constants.

The example in the 2024 past question above follows this exactly.

Inverse functions

The inverse of a function ff is a function f1f^{-1} that "undoes" ff:

f(f1(x))=x and f1(f(x))=xf(f^{-1}(x)) = x \text{ and } f^{-1}(f(x)) = x

(on appropriate domains).

When does f1f^{-1} exist?

A function has an inverse if and only if it is one-to-one (no two inputs map to the same output). Geometrically, the graph passes the horizontal line test: every horizontal line meets the graph in at most one point.

Functions that are not one-to-one (parabolas, sin\sin, cos\cos) can be made invertible by restricting the domain to an interval on which they are monotonic.

Finding f1f^{-1} algebraically

To find the inverse of y=f(x)y = f(x):

  1. Swap xx and yy. (Conceptually, you are looking at the inverse from the output side.)
  2. **Solve for yy** in terms of xx.
  3. **Write f1(x)=f^{-1}(x) = ** (the solved expression).

Domain and range swap

Under inversion:

  • Domain of f1f^{-1} = range of ff.
  • Range of f1f^{-1} = domain of ff.

If f:ABf: A \to B is one-to-one, then f1:BAf^{-1}: B \to A (with the swapped roles).

Graphical interpretation: reflection in IMATH_44

The graph of f1f^{-1} is the graph of ff reflected in the line y=xy = x.

This means:

  • If (a,b)(a, b) is on the graph of ff, then (b,a)(b, a) is on the graph of f1f^{-1}.
  • Intersection points of ff and f1f^{-1} lie on y=xy = x. To find them, solve f(x)=xf(x) = x.
  • The asymptotes swap: a horizontal asymptote y=cy = c of ff becomes a vertical asymptote x=cx = c of f1f^{-1}.

Worked example. Linear function

f(x)=3x7f(x) = 3x - 7 on R\mathbb{R}.

Swap. x=3y7x = 3y - 7.

Solve. y=(x+7)/3y = (x + 7) / 3.

So f1(x)=(x+7)/3f^{-1}(x) = (x + 7) / 3.

Check: f(f1(x))=3(x+7)/37=x+77=xf(f^{-1}(x)) = 3 \cdot (x + 7)/3 - 7 = x + 7 - 7 = x. Correct.

Worked example. Exponential

f(x)=exf(x) = e^x on R\mathbb{R}.

Swap. x=eyx = e^y.

Solve. y=ln(x)y = \ln(x).

So f1(x)=ln(x)f^{-1}(x) = \ln(x), with domain (0,)(0, \infty) and range R\mathbb{R}.

The graphs of exe^x and lnx\ln x are reflections of each other in y=xy = x, intersecting nowhere (asymptotic to opposite axes).

Worked example. Quadratic requiring restriction

f(x)=x2f(x) = x^2 on R\mathbb{R} has no inverse (not one-to-one; f(2)=f(2)=4f(-2) = f(2) = 4).

Restrict. f:[0,)[0,)f: [0, \infty) \to [0, \infty), f(x)=x2f(x) = x^2.

Now invertible. Swap: x=y2x = y^2. Solve: y=xy = \sqrt{x} (positive root, because the restricted range of f1f^{-1} is [0,)[0, \infty)).

f1(x)=xf^{-1}(x) = \sqrt{x} on [0,)[0, \infty).

Equivalent restriction. f:(,0][0,)f: (-\infty, 0] \to [0, \infty), f(x)=x2f(x) = x^2. Inverse: f1(x)=xf^{-1}(x) = -\sqrt{x}.

The choice of restriction determines which branch of the inverse you get.

Inverse of a hybrid function

A hybrid function is invertible only if it is one-to-one over its full domain. Each piece must be monotonic in the same direction (all increasing or all decreasing across the joins), and the joins must not produce overlapping outputs. In practice the question gives a hybrid that already satisfies these conditions.

To invert: invert each piece separately, taking care that the domain of each inverse piece is the range of the corresponding original piece.

Common errors

Confusing f1(x)f^{-1}(x) with 1/f(x)1 / f(x). The notation f1f^{-1} means functional inverse, not reciprocal. f1(x)1/f(x)f^{-1}(x) \neq 1 / f(x) in general.

Forgetting domain restriction. Asking for the inverse of x2x^2 on R\mathbb{R} has no answer. Restrict to make ff one-to-one before inverting.

Wrong root sign. When solving y=x2y = x^2 for xx, the answer is x=±yx = \pm \sqrt{y}. The correct sign depends on the domain restriction.

Domain and range not swapped. The inverse's domain is the original's range, and vice versa. Stating only the original domain misses the swap.

Continuity matched but differentiability ignored. "Continuous and differentiable" requires both conditions. If only continuity is checked, the function may have a kink.

Differentiability checked without first checking continuity. A function that is not continuous at a join cannot be differentiable there. Check continuity first.

In one sentence

A hybrid function is continuous at a join when the two pieces' values agree there and differentiable when the two pieces' derivatives also agree; the inverse f1f^{-1} of a one-to-one function ff is found by swapping xx and yy, solving for yy, and swapping the domain and range, with the graph being the reflection of ff in the line y=xy = x, and a domain restriction required when ff is not one-to-one.

Past exam questions, worked

Real questions from past VCAA papers on this dot point, with our answer explainer.

2024 VCAA Paper 14 marksThe hybrid function $f$ is defined by $f(x) = x^2$ for $x \leq 1$ and $f(x) = a x + b$ for $x > 1$. Find $a$ and $b$ such that $f$ is continuous and differentiable at $x = 1$.
Show worked answer →

Continuity at x=1x = 1. f(1)=12=1f(1^-) = 1^2 = 1, and f(1+)=a+bf(1^+) = a + b. For continuity, a+b=1a + b = 1.

Differentiability at x=1x = 1. f(1)=21=2f'(1^-) = 2 \cdot 1 = 2 (derivative of x2x^2). f(1+)=af'(1^+) = a. For differentiability, a=2a = 2.

Substituting into continuity: 2+b=12 + b = 1, so b=1b = -1.

Therefore a=2a = 2 and b=1b = -1, giving f(x)=2x1f(x) = 2x - 1 for x>1x > 1.

Markers reward the continuity condition (matched values at the join), the differentiability condition (matched derivatives), and explicit solving for both constants.

2023 VCAA Paper 14 marksLet $f: [0, \infty) \to \mathbb{R}$ where $f(x) = (x - 2)^2 + 1$. (a) Find $f^{-1}$ and state its domain and range. (b) Sketch $f$ and $f^{-1}$ on the same set of axes, showing the line $y = x$.
Show worked answer →

(a) Find f1f^{-1}. Note that ff is not one-to-one on [0,)[0, \infty) in general; check.

f(x)=(x2)2+1f(x) = (x - 2)^2 + 1. The graph is a parabola with vertex at (2,1)(2, 1), opening upward. On [0,)[0, \infty), ff decreases from f(0)=5f(0) = 5 to f(2)=1f(2) = 1 (the minimum), then increases.

For ff to have an inverse, restrict ff to a one-to-one piece. The natural choice is f:[2,)[1,)f: [2, \infty) \to [1, \infty) (the right half of the parabola).

Solve y=(x2)2+1y = (x - 2)^2 + 1 for xx: (x2)2=y1(x - 2)^2 = y - 1, x2=±y1x - 2 = \pm \sqrt{y - 1}. On [2,)[2, \infty), x20x - 2 \geq 0, so x=2+y1x = 2 + \sqrt{y - 1}.

Swap variables: f1(x)=2+x1f^{-1}(x) = 2 + \sqrt{x - 1}.

Domain of f1f^{-1}: [1,)[1, \infty) (range of ff).

Range of f1f^{-1}: [2,)[2, \infty) (restricted domain of ff).

(b) Sketching. ff is the right half of an upward parabola with vertex (2,1)(2, 1). f1f^{-1} is its reflection in y=xy = x, a sideways half-parabola starting at (1,2)(1, 2) and opening to the right. The two graphs intersect on y=xy = x where f(x)=xf(x) = x, i.e. (x2)2+1=x(x - 2)^2 + 1 = x, so x25x+5=0x^2 - 5x + 5 = 0, giving x=(5±5)/2x = (5 \pm \sqrt{5})/2.

Markers reward the domain restriction to make ff one-to-one, the correct f1f^{-1} formula, correct domain and range swap, and the symmetry-in-y=xy = x sketch.

Related dot points