Turn an equation into a function when possible

Picture a total made of two contributions. If you choose n, the amount 2n is already known, and the remaining total tells you 6p. Remove the known contribution, then divide the remainder into six equal groups to find p. That is what isolating the output means: p stands alone on one side of the equation. The other side uses the input n, so the formula gives the output directly without needing to solve a new equation each time.

• With n as input and p as output, 2n + 6p = 12 becomes p = 12 − 2n6$\frac{12-2n}{6}$ = 2 − 13$\frac{1}{3}$n.
• Write p = f(n) = 2 − 13$\frac{1}{3}$n. This is an explicit rule, also called an explicit formula. It gives the function in algebraic form.
• There are no root or variable-denominator restrictions here, so every real n is allowed.

Imagine a round hoop centered at the crossing of two number lines. Fix a position left or right, and there may be two points on the hoop, one above and one below. The equation x²$x^2$ + y²$y^2$ = 1 describes this circle. At many inputs x, its two output heights y are opposites. The square root symbol selects a nonnegative number, but solving a squared equation must consider both signs. Choosing only the upper half makes a different relation with one output for each allowed input.

• Subtract x²$x^2$ to get y²$y^2$ = 1 − x²$x^2$. The symbol ± is read plus or minus: y = ±1 − x²$\sqrt{1-x^2}$ includes both signs of the root. At x = 0, it gives y = 1 or y = −1.
• At x = 0, the outputs 1 and −1 are different, so the whole circle does not define y as a function of x.
• At x = −1 or x = 1, both signs give 0. One output at those two inputs does not repair the failures elsewhere.
• The upper branch y = 1 − x²$\sqrt{1-x^2}$ alone is a function with domain [−1, 1]. The lower branch y = −1 − x²$\sqrt{1-x^2}$ alone is also a function.
• Only −1 ≤ x ≤ 1 can work. If x is farther than 1 from zero, x²$x^2$ exceeds 1 and y²$y^2$ = 1 − x²$x^2$ would be negative. For example, x = 2 gives y²$y^2$ = −3, and no real square is negative.

Imagine knowing how many blocks fill a cube and working backward to its side. A cube root undoes three copies multiplied together. For x − 64y³$y^3$ = 0, choose x as the input and y as the output. First move 64y³$y^3$ to the other side, then divide by 64. Taking the cube root gives one y, including when x is negative. A cube root has no plus-or-minus choice because opposite numbers have opposite cubes.

• x − 64y³$y^3$ = 0 gives 64y³$y^3$ = x, then y³$y^3$ = x64$\frac{x}{64}$.
• y = ∛(x64$\frac{x}{64}$) = ³x4$\frac{\sqrt[3]{x}}{4}$, because 4³$4^3$ = 64. Cubing ³x4$\frac{\sqrt[3]{x}}{4}$ gives x64$\frac{x}{64}$.
• Every real x has one real cube root, so this defines y = f(x) = ³x4$\frac{\sqrt[3]{x}}{4}$.
• For comparison, x − y²$y^2$ = 0 gives y²$y^2$ = x. At x = 9 it permits y = 3 and y = −3, so that squared relation is not a function of x.

A recipe may identify one result while leaving the ingredients mixed together. In x = y + 2^y$2^y$, y is mixed into both pieces on the right, so the output is not isolated. Read this as an example of an implicit rule, not a formula you need to memorize or learn to solve here.

• The symbol 2^y$2^y$ is a power with base 2. At the values used here, 2²$2^2$ = 4 and 2¹ = 2. Decreasing the exponent by one divides the total by 2: 4 ÷ 2 = 2, then 2 ÷ 2 = 1. Continuing that same pattern gives 2⁰ = 1. Thus the correct check 2 ÷ 2 = 2^{1 − 1}$2^{1-1}$ = 2⁰ = 1 follows the descending pattern rather than requiring a new exponent rule. More generally, a nonzero number to power 0 is 1; descending one step from its first power divides it by itself.
• A negative exponent means a reciprocal, not a negative result: 2⁻¹$2^{-1}$ = 12$\frac{1}{2}$ and 2⁻²$2^{-2}$ = 14$\frac{1}{4}$. Multiplying by 2 once moves 14$\frac{1}{4}$ to 12$\frac{1}{2}$, then to 1, then to 2. This extends the same doubling pattern to negative exponents.
• If y = 0, x = 0 + 1 = 1. If y = 1, x = 1 + 2 = 3. If y = 2, x = 2 + 4 = 6.
• As y grows, both y and 2^y$2^y$ grow, so their total cannot give the same x twice. This proves at most one y for a given x. There are also no gaps in the totals: both pieces change without jumping over any in-between value as y changes. Far to the left, 2^y$2^y$ shrinks toward zero while y becomes as negative as needed; far to the right, y and 2^y$2^y$ grow without bound. The totals therefore pass through every real x. Existence, meaning an answer is reached, together with uniqueness, meaning it is the only answer, gives exactly one y for each x. The algebra taught here does not provide a short formula with y alone.
• You can have a function without having its output written as an explicit formula. The one-output promise decides.

An equation can identify one answer without handing you a direct recipe. In y³$y^3$ + y = x, choose input x and look for the output y that makes the total match. As y grows, its cube grows and y itself grows, so their sum cannot give the same x twice. The examples below first show exact matches. The final comparison is an optional way to locate an unfamiliar output between two tested values. You can read it after the main function skills; it is a further explanation, not a formula to memorize.

• The equation y³$y^3$ + y = x defines y as a function of x even while y remains mixed into the equation.
• Cubing keeps the order for all real inputs. Larger positive inputs have larger positive cubes. Among negative inputs, the one farther left has a larger positive magnitude; cubing that magnitude and restoring the minus makes a smaller cube. A negative cube, zero and a positive cube cannot agree.
• Adding y to its cube keeps the total increasing: a larger y raises both pieces, so two different y values cannot give the same total x.
• There are no gaps in the totals: addition and multiplication vary without jumps, and the sum goes indefinitely negative and indefinitely positive. Every real x has a matching y.
• This is an implicit description. A function does not have to arrive with a short explicit formula using the algebra skills taught here.
• As y grows, y³$y^3$ grows and y grows. Adding two growing quantities keeps the total growing. A fixed total x can therefore be reached only once.
• For input x = 1, y = 12$\frac{1}{2}$ produces total 58$\frac{5}{8}$, which is too small, while y = 1 produces 2, which is too large. The matching y lies between them. You can keep testing values inside the interval to locate it more closely without isolating y first.