Skip to main content
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 f1f^{-1} where defined, and the reflection of y=f(x)y = f(x) in the line y=xy = 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=xy = x, domain and range swapping, and a worked example for each.

Generated by Claude Opus 4.89 min answer

Reviewed by: AI editorial process; not yet individually human-reviewed

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

Jump to a section
  1. What this dot point is asking
  2. Hybrid (piecewise) functions
  3. Inverse functions
  4. Inverse of a hybrid function
  5. Examples in context
  6. Try this

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:

  • x={xif x<0xif x0\lvert x \rvert = \begin{cases} -x & \text{if } x < 0 \\ x & \text{if } x \geq 0 \end{cases}
  • 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 y=xy = x

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.

Examples in context

Example 1. A piecewise pricing rule. A car park charges a flat \5forthefirsthourandthen for the first hour and then \33 per hour after, so the cost is C(t)=5C(t) = 5 for 0<t10 < t \le 1 and C(t)=5+3(t1)C(t) = 5 + 3(t - 1) for t>1t > 1. At the join t=1t = 1, both pieces give C=5C = 5, so the cost is continuous. But the left rate is 00 and the right rate is 33, so CC is not differentiable at t=1t = 1 (a kink where the charging rate jumps).

Example 2. Inverting a temperature model. A probe's reading is f(x)=(x1)2+2f(x) = (x - 1)^2 + 2 on the restricted domain x1x \ge 1 (so it is one-to-one and increasing). To recover xx from a reading yy: (x1)2=y2(x - 1)^2 = y - 2, and since x1x \ge 1, x=1+y2x = 1 + \sqrt{y - 2}. Thus f1(x)=1+x2f^{-1}(x) = 1 + \sqrt{x - 2}, with domain x2x \ge 2 (the range of ff) and range x1x \ge 1.

Try this

Q1. A hybrid function has f(x)=3xf(x) = 3x for x2x \le 2 and f(x)=x+cf(x) = x + c for x>2x > 2. Find cc so ff is continuous at x=2x = 2. [2 marks]

  • Cue. 3(2)=2+cc=43(2) = 2 + c \Rightarrow c = 4.

Q2. For the same join, is ff differentiable at x=2x = 2 when c=4c = 4? Justify. [2 marks]

  • Cue. Left derivative 33, right derivative 11; not equal, so not differentiable (a kink).

Q3. Find the inverse of f(x)=(x+2)2f(x) = (x + 2)^2 on x2x \ge -2. [3 marks]

  • Cue. x=(y+2)2y=2+xx = (y + 2)^2 \Rightarrow y = -2 + \sqrt{x} (positive branch); f1(x)=x2f^{-1}(x) = \sqrt{x} - 2, domain x0x \ge 0.

Exam-style practice questions

Practice questions written in the style of VCAA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

2024 VCAA Paper 14 marksThe hybrid function ff is defined by f(x)=x2f(x) = x^2 for x1x \leq 1 and f(x)=ax+bf(x) = a x + b for x>1x > 1. Find aa and bb such that ff is continuous and differentiable at x=1x = 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,)Rf: [0, \infty) \to \mathbb{R} where f(x)=(x2)2+1f(x) = (x - 2)^2 + 1. (a) Find f1f^{-1} and state its domain and range. (b) Sketch ff and f1f^{-1} on the same set of axes, showing the line y=xy = 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