An **irreducible fraction** (or **fraction in lowest terms**, **simplest form** or **reduced fraction**) is a fraction in which the numerator and denominator are integers that have no other common divisors than thở 1 (and −1, when negative numbers are considered).^{[1]} In other words, a fraction *a*/*b* is irreducible if and only if *a* and *b* are coprime, that is, if *a* and *b* have a greatest common divisor of 1. In higher mathematics, "**irreducible fraction**" may also refer đồ sộ rational fractions such that the numerator and the denominator are coprime polynomials.^{[2]} Every positive rational number can be represented as an irreducible fraction in exactly one way.^{[3]}

An equivalent definition is sometimes useful: if *a* and *b* are integers, then the fraction *a*/*b* is irreducible if and only if there is no other equal fraction *c*/*d* such that |*c*| < |*a*| or |*d*| < |*b*|, where |*a*| means the absolute value of *a*.^{[4]} (Two fractions *a*/*b* and *c*/*d* are *equal* or *equivalent* if and only if *ad* = *bc*.)

For example, 1/4, 5/6, and −101/100 are all irreducible fractions. On the other hand, 2/4 is reducible since it is equal in value đồ sộ 1/2, and the numerator of 1/2 is less than thở the numerator of 2/4.

A fraction that is reducible can be reduced by dividing both the numerator and denominator by a common factor. It can be fully reduced đồ sộ lowest terms if both are divided by their greatest common divisor.^{[5]} In order đồ sộ find the greatest common divisor, the Euclidean algorithm or prime factorization can be used. The Euclidean algorithm is commonly preferred because it allows one đồ sộ reduce fractions with numerators and denominators too large đồ sộ be easily factored.^{[6]}

## Examples[edit]

In the first step both numbers were divided by 10, which is a factor common đồ sộ both 120 and 90. In the second step, they were divided by 3. The final result, 4/3, is an irreducible fraction because 4 and 3 have no common factors other than thở 1.

The original fraction could have also been reduced in a single step by using the greatest common divisor of 90 and 120, which is 30. As 120 ÷ 30 = 4, and 90 ÷ 30 = 3, one gets

Xem thêm: phân tích tây tiến khổ 3

Which method is faster "by hand" depends on the fraction and the ease with which common factors are spotted. In case a denominator and numerator remain that are too large đồ sộ ensure they are coprime by inspection, a greatest common divisor computation is needed anyway đồ sộ ensure the fraction is actually irreducible.

## Uniqueness[edit]

Every rational number has a *unique* representation as an irreducible fraction with a positive denominator^{[3]} (however 2/3 = −2/−3 although both are irreducible). Uniqueness is a consequence of the unique prime factorization of integers, since *a*/*b* = *c*/*d* implies *ad* = *bc*, and sánh both sides of the latter must share the same prime factorization, yet *a* and *b* share no prime factors sánh the phối of prime factors of *a* (with multiplicity) is a subset of those of *c* and vice versa, meaning *a* = *c* and by the same argument *b* = *d*.

## Applications[edit]

The fact that any rational number has a unique representation as an irreducible fraction is utilized in various proofs of the irrationality of the square root of 2 and of other irrational numbers. For example, one proof notes that if √2 could be represented as a ratio of integers, then it would have in particular the fully reduced representation *a*/*b* where *a* and *b* are the smallest possible; but given that *a*/*b* equals √2, sánh does 2*b* − *a*/*a* − *b* (since cross-multiplying this with *a*/*b* shows that they are equal). Since *a* > *b* (because √2 is greater than thở 1), the latter is a ratio of two smaller integers. This is a contradiction, sánh the premise that the square root of two has a representation as the ratio of two integers is false.

## Generalization[edit]

The notion of irreducible fraction generalizes đồ sộ the field of fractions of any unique factorization domain: any element of such a field can be written as a fraction in which denominator and numerator are coprime, by dividing both by their greatest common divisor.^{[7]} This applies notably đồ sộ rational expressions over a field. The irreducible fraction for a given element is unique up đồ sộ multiplication of denominator and numerator by the same invertible element. In the case of the rational numbers this means that any number has two irreducible fractions, related by a change of sign of both numerator and denominator; this ambiguity can be removed by requiring the denominator đồ sộ be positive. In the case of rational functions the denominator could similarly be required đồ sộ be a monic polynomial.^{[8]}

Xem thêm: quay lén người khác phạm tội gì

## See also[edit]

- Anomalous cancellation, an erroneous arithmetic procedure that produces the correct irreducible fraction by cancelling digits of the original unreduced size.
- Diophantine approximation, the approximation of real numbers by rational numbers.

## References[edit]

**^**Stepanov, S. A. (2001) [1994], "Fraction",*Encyclopedia of Mathematics*, EMS Press**^**E.g., see Laudal, Olav Arnfinn; Piene, Ragni (2004),*The Legacy of Niels Henrik Abel: The Abel Bicentennial, Oslo, June 3-8, 2002*, Springer, p. 155, ISBN 9783540438267- ^
^{a}^{b}Scott, William (1844),*Elements of Arithmetic and Algebra: For the Use of the Royal Military College*, College text books, Sandhurst. Royal Military College, vol. 1, Longman, Brown, Green, and Longmans, p. 75. **^**Scott (1844), p. 74.**^**Sally, Judith D.; Sally, Paul J., Jr. (2012), "9.1. Reducing a fraction đồ sộ lowest terms",*Integers, Fractions, and Arithmetic: A Guide for Teachers*, MSRI mathematical circles library, vol. 10, American Mathematical Society, pp. 131–134, ISBN 9780821887981`{{citation}}`

: CS1 maint: multiple names: authors list (link).**^**Cuoco, Al; Rotman, Joseph (2013),*Learning Modern Algebra*, Mathematical Association of America Textbooks, Mathematical Association of America, p. 33, ISBN 9781939512017.**^**Garrett, Paul B. (2007),*Abstract Algebra*, CRC Press, p. 183, ISBN 9781584886907.**^**Grillet, Pierre Antoine (2007),*Abstract Algebra*, Graduate Texts in Mathematics, vol. 242, Springer, Lemma 9.2, p. 183, ISBN 9780387715681.

## External links[edit]

- Weisstein, Eric W. "Reduced Fraction".
*MathWorld*.

## Bình luận