3.3 Functions, Sequences & Custom Operations
Key Takeaways
- Function notation f(x) maps inputs to outputs; domain excludes division by zero and negative square root inputs.
- Composite function f(g(x)) evaluates inner function g(x) first, then passes that result into outer function f.
- Arithmetic sequence nth term is a_n = a_1 + (n-1)d and sum is S_n = (n/2)(a_1 + a_n).
- Geometric sequence nth term is a_n = a_1 * r^(n-1) with common ratio r.
- Defined symbol operations require strict template substitution of operands into the given custom formula.
3.3 Functions, Sequences & Custom Operations
Functions, sequences, and defined symbol operations test your ability to apply strict mathematical rules, work with input-output mappings, and recognize patterns. GRE questions often introduce unfamiliar notation; mastering the underlying principles allows you to execute these problems methodically.
1. Function Notation, Domain, and Range
A function $f$ is a rule that assigns to each input element $x$ in a set called the domain exactly one output element $f(x)$ in a set called the range.
Evaluating Functions
Evaluating $f(a)$ means substituting $a$ for every occurrence of $x$ in the function rule:
- Numerical input: If $f(x) = x^2 - 3x$, then $f(4) = 4^2 - 3(4) = 16 - 12 = 4$.
- Algebraic input: If $f(x) = x^2 - 3x$, then $f(a + 1) = (a + 1)^2 - 3(a + 1) = a^2 + 2a + 1 - 3a - 3 = a^2 - a - 2$.
Domain and Range Restrictions
On the GRE, unless otherwise specified, functions deal exclusively with real numbers.
| Restriction Cause | Algebraic Condition | Domain Requirement |
|---|---|---|
| Division by Zero | Fraction with variable denominator $\frac{P(x)}{Q(x)}$ | $Q(x) |
| eq 0$ | ||
| Square Root of Negative | Even radical $\sqrt{g(x)}$ | $g(x) \ge 0$ |
| Combined Fraction & Radical | Expression $\frac{1}{\sqrt{g(x)}}$ | $g(x) > 0$ |
2. Composite Functions
A composite function applies one function to the result of another. The notation $f(g(x))$ (read "$f$ of $g$ of $x$") means:
- First, evaluate the inner function $g(x)$.
- Second, substitute the output $g(x)$ into the outer function $f$.
Note: In general, function composition is not commutative: $f(g(x)) eq g(f(x))$.
Worked Example 3.3.1: Composite Function Evaluation
Let $f(x) = 3x - 5$ and $g(x) = x^2 + 2$. Evaluate $f(g(4))$ and $g(f(4))$.
Solution:
- Evaluate $f(g(4))$:
- Inner evaluation: $g(4) = 4^2 + 2 = 16 + 2 = 18$.
- Outer evaluation: $f(18) = 3(18) - 5 = 54 - 5 = 49$.
- Evaluate $g(f(4))$:
- Inner evaluation: $f(4) = 3(4) - 5 = 12 - 5 = 7$.
- Outer evaluation: $g(7) = 7^2 + 2 = 49 + 2 = 51$. Notice that $f(g(4)) = 49$, whereas $g(f(4)) = 51$.
3. Arithmetic Sequences & Series
An arithmetic sequence is a ordered list of numbers where the difference between consecutive terms is constant. This constant is called the common difference ($d$):
Formulas for Arithmetic Sequences
- nth Term Formula:
- Sum of the First $n$ Terms ($S_n$):
Worked Example 3.3.2: Arithmetic Sequence Sum
An arithmetic sequence has first term $a_1 = 7$ and common difference $d = 4$. Calculate the 20th term $a_{20}$ and the sum of the first 20 terms $S_{20}$.
Solution:
- Compute 20th term $a_{20}$:
- Compute sum $S_{20}$:
4. Geometric Sequences
A geometric sequence is a list of numbers where each term after the first is found by multiplying the previous term by a non-zero constant called the common ratio ($r$):
Formulas for Geometric Sequences
- nth Term Formula:
Worked Example 3.3.3: Finding a Term in a Geometric Sequence
A geometric sequence has first term $a_1 = 5$ and common ratio $r = 3$. Which term $n$ of the sequence is equal to $405$?
Solution:
- Set up equation using the nth term formula: $a_n = a_1 \cdot r^{n-1} \implies 405 = 5 \cdot 3^{n-1}$.
- Divide both sides by $5$: $\frac{405}{5} = 3^{n-1} \implies 81 = 3^{n-1}$.
- Express $81$ as a power of $3$: $81 = 3^4$.
- Equate exponents: $n - 1 = 4 \implies n = 5$. Therefore, $405$ is the 5th term of the sequence.
5. Defined Symbol / Custom Operations
GRE questions frequently define custom operations using non-standard symbols such as $\star, \diamond, \otimes, \Delta$. These are self-contained rule definitions.
How to Solve Custom Operator Problems
- Identify the Rule: Treat the symbol purely as an instruction template. For example, if $x \star y = 2x - y^2$, the left operand is doubled, and the square of the right operand is subtracted.
- Follow Standard Parentheses Order: Work from the innermost parentheses outward.
- Do NOT Invent Properties: Never assume commutative ($a \star b = b \star a$) or associative properties unless explicitly proven for that symbol.
Worked Example 3.3.4: Nested Custom Operator Evaluation
For all real numbers $a$ and $b$, let $a \star b = 2a - b^2$. Evaluate $(4 \star 3) \star 2$.
Solution:
- Evaluate inner parentheses $(4 \star 3)$: Here $a = 4$ and $b = 3$.
- Substitute result into outer operation $(-1) \star 2$: Here $a = -1$ and $b = 2$. The final value is $-6$.
6. GRE Function Tactics & Pitfalls
- Undefined Inputs Trap: When quantitative comparison options involve functions with denominators or square roots, check if variable choices create division by zero or negative square roots (making Quantity A or B undefined).
- Sequence Indexing Trap: Pay attention to whether a sequence starts at $n = 1$ ($a_1$) or $n = 0$ ($a_0$). On the GRE, standard indexing starts at $a_1$.
If f(x) = 3x - 5 and g(x) = x² + 2, what is the value of f(g(4))?
An arithmetic sequence has a first term a_1 = 7 and a common difference d = 4. What is the sum of the first 20 terms (S_20)?
A geometric sequence has a first term a_1 = 5 and a common ratio r = 3. Which term of the sequence is equal to 405?
For all real numbers a and b, the operation ★ is defined by a ★ b = 2a - b². What is the value of (4 ★ 3) ★ 2?