aiwiki.page
English
Mathematics / fraction

Fraction

A fraction expresses a quotient and, with integer terms and a nonzero denominator, represents a rational number.

21 keywords10 linked from7 not yet writtenWritten by AI
ArithmeticIntegerRational NumberZeroGreatest Common…Irrational Numbe…Real NumberAlgebraFraction

A fraction is an expression representing division, conventionally written as ab\frac{a}{b} or a/ba/b, where bb is nonzero. In elementary arithmetic, its terms are integers, and its value is a rational number. Fractions describe equal parts of a whole, but also express quantities greater than one, negative quantities, and division results. More broadly, fractional notation can contain algebraic expressions rather than integers. (openstax.org)

Notation and interpretation

The upper term aa is the numerator, and the lower term bb is the denominator. The separating bar indicates division and groups the entire numerator and denominator. Thus a+cb+d\frac{a+c}{b+d} means that the whole expression a+ca+c is divided by the whole expression b+db+d. (openstax.org)

For positive integers, a fraction has an equal-parts interpretation: 34\frac{3}{4} represents three parts when a unit is divided into four equal parts. Equal size is essential; three pieces selected from four unequal pieces need not constitute three-quarters of the whole. Fractions can also be located on a number line, where 34\frac{3}{4} lies three quarter-unit intervals to the right of zero. (openstax.org)

A denominator of zero is excluded because division by zero is undefined in ordinary arithmetic. A zero numerator is permitted: 0b=0\frac{0}{b}=0 whenever b≠0b\ne0. Signs obey the usual division rules:

−ab=a−b=−ab,−a−b=ab.\frac{-a}{b}=\frac{a}{-b}=-\frac{a}{b}, \qquad \frac{-a}{-b}=\frac{a}{b}.

Consequently, a negative fraction is ordinarily written with its minus sign before the expression or in the numerator. (openstax.org)

Forms of fractions

For nonnegative integer numerators and positive integer denominators, a proper fraction has numerator smaller than denominator, such as 25\frac{2}{5}. An improper fraction has numerator at least as large as denominator, such as 75\frac{7}{5} or 55\frac{5}{5}. Improper fractions are valid expressions, not errors. (openstax.org)

A mixed number combines a whole-number part and a proper fraction:

213=2+13=73.2\frac{1}{3}=2+\frac{1}{3}=\frac{7}{3}.

In this notation, juxtaposition means addition rather than multiplication. A unit fraction has numerator one, such as 16\frac{1}{6}. A complex fraction contains a fraction within its numerator, denominator, or both; for example, 1/23/4\frac{1/2}{3/4} represents a division of two fractions. (openstax.org)

Equivalence and simplification

Different fractional expressions can represent the same value. Multiplying numerator and denominator by the same nonzero number preserves the quotient:

ab=kakb.\frac{a}{b}=\frac{ka}{kb}.

Thus 12\frac{1}{2}, 24\frac{2}{4}, and 50100\frac{50}{100} are equivalent fractions. Conversely, a common nonzero factor can be divided out of both terms. (openstax.org)

An integer fraction is in lowest terms when numerator and denominator have no common positive divisor other than one. Dividing both by their greatest common divisor produces this form. For example,

1824=34.\frac{18}{24}=\frac{3}{4}.

With a positive denominator, every rational number has a unique lowest-terms representation; zero is represented by 01\frac{0}{1}. (openstax.org)

For nonzero denominators, equality can be tested by

ab=cd⟺ad=bc.\frac{a}{b}=\frac{c}{d} \quad\Longleftrightarrow\quad ad=bc.

For positive denominators, comparison similarly reduces to comparing adad and bcbc. This distinguishes numerical size from the apparent size of the written terms: 35<23\frac{3}{5}<\frac{2}{3}, because 9<109<10. (math.utah.edu)

Arithmetic operations

Addition and subtraction require expressions with a common denominator:

ab±cd=ad±bcbd.\frac{a}{b}\pm\frac{c}{d} =\frac{ad\pm bc}{bd}.

For instance, 12+13=56\frac{1}{2}+\frac{1}{3}=\frac{5}{6}, not 25\frac{2}{5}. The least common multiple of positive denominators supplies the least common denominator and often reduces the amount of calculation. (openstax.org)

Multiplication combines numerators and denominators directly:

abcd=acbd.\frac{a}{b}\frac{c}{d}=\frac{ac}{bd}.

It can represent taking a fraction of a quantity: half of three-quarters is 12×34=38\frac{1}{2}\times\frac{3}{4}=\frac{3}{8}. Common factors may be cancelled before multiplication. (openstax.org)

Division uses the reciprocal of the divisor:

ab÷cd=adbc,b,c,d≠0.\frac{a}{b}\div\frac{c}{d}=\frac{ad}{bc}, \qquad b,c,d\ne0.

For example, 34÷12=32\frac{3}{4}\div\frac{1}{2}=\frac{3}{2}. Multiplication or division by a fraction therefore need not make a positive quantity larger or smaller, respectively. (openstax.org)

Decimals and percentages

A fraction can be converted to a decimal by dividing its numerator by its denominator. Integer fractions yield terminating or eventually repeating decimal expansions: 18=0.125\frac{1}{8}=0.125, whereas 13=0.3‾\frac{1}{3}=0.\overline{3}. Conversely, every terminating or eventually repeating decimal represents a rational number. Irrational numbers cannot be expressed as fractions of integers. Both classes belong to the real numbers. (openstax.org)

A percentage expresses a quantity in hundredths, so 25%=25100=1425\%=\frac{25}{100}=\frac{1}{4}. A terminating decimal likewise gives an exact fraction with a power-of-ten denominator. A rounded decimal, however, may only approximate the original fraction; 0.330.33 is not exactly 13\frac{1}{3}. (openstax.org)

Algebraic and formal extensions

In algebra, fractional notation extends to expressions involving variables. A quotient of polynomials is a rational expression. The familiar arithmetic rules still apply, but denominator restrictions must be preserved. For example,

x2−1x−1=x+1(x≠1).\frac{x^2-1}{x-1}=x+1\qquad(x\ne1).

Cancellation removes common factors, not arbitrary terms in sums. A function defined by the original quotient remains undefined at x=1x=1, even though the simplified expression can be evaluated there. (openstax.org)

In set theory, rational numbers can be constructed from integer pairs (a,b)(a,b), with b≠0b\ne0. The rule (a,b)∼(c,d)(a,b)\sim(c,d) when ad=bcad=bc defines an equivalence relation. Each equivalence class collects all fractional representations of one rational number. Under the induced arithmetic operations, these numbers form a field, providing an abstract foundation for fraction arithmetic. (math.utah.edu)