Formula (Algebra)

Pre-Algebra

An algebraic formula is a rule expressed as an equation that shows how variables are related, allowing you to calculate one quantity when others are known.

Definition

A formula is a math rule written with letters and symbols that shows how to calculate something. You plug in the values you know to find the value you want.

Example

Area of a rectangle: $A = l \times w$. If the length is $8$ and the width is $5$, then $A = 8 \times 5 = 40$ square units.

Key Insight

Formulas save you from having to re-derive the same rule every time. Once you know the formula, you can solve many problems quickly.

Definition

A formula is an equation expressing a relationship among variables that can be used to compute one variable given the others. Formulas are a type of literal equation. Common examples include area, perimeter, distance, and interest formulas.

Example

Distance formula: $d = rt$ (distance = rate $\times$ time). If $r = 60$ mph and $t = 2.5$ hours, then $d = 60 \times 2.5 = 150$ miles. Rearranging for time: $t = d/r$.

Key Insight

Every science formula is a literal equation that can be rearranged to solve for any variable. Mastering literal equations means you can always rearrange formulas rather than memorizing new ones.

Definition

A formula in the algebraic sense is an equation in multiple variables (a literal equation) that encodes a functional relationship. Formulas are special cases of identities (true for all values in a domain) or equations defining implicit functions. In mathematical logic, a formula is a well-formed expression in a formal language that evaluates to true or false.

Example

The quadratic formula $x = (-b \pm \sqrt{b^2-4ac})/(2a)$ is derived by completing the square on $ax^2 + bx + c = 0$ and is valid for all $a \neq 0$ over $\mathbb{R}$ (or $\mathbb{C}$).

Key Insight

Formulas encode compressed knowledge. The quadratic formula contains the complete theory of solutions for degree-$2$ polynomials: the discriminant $b^2 - 4ac$ determines the number and type of roots without even computing them.