Fraction (mathematics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Olier Raby
(→‎Division: Shorter.)
mNo edit summary
 
(114 intermediate revisions by 9 users not shown)
Line 1: Line 1:
In [[mathematics]], a '''fraction''' is a concept used to convey a proportional relation between a part and the whole. It consists of a [[numerator]] (an [[integer]] - the part) and a [[denominator]] (a [[natural number]] - the whole). For instance, the fraction <math> \scriptstyle \frac{3}{5} </math> can represent three equal parts of a whole object, if the object is divided into five equal parts. A fraction with equal numerator and denominator is equal to one (e.g., <math> \scriptstyle \frac{5}{5} = 1 </math>). We can represent all [[rational number]]s with fractions.
{{subpages}}
In [[mathematics]], a '''fraction''' (from the [[Latin]] ''fractus'', meaning broken) is a concept used to convey a proportional relation between a part and the whole. It consists of a [[numerator]] (an [[integer]] the part) and a [[denominator]] (a [[natural number]] the whole). For instance, the fraction <math> \scriptstyle \frac{3}{5} </math> can represent three equal parts of a whole object, if the object is divided into five equal parts. Any [[rational number]] can be written as a fraction.


Fractions are a special case of [[ratio]]s. For instance, <math> \scriptstyle \frac{e}{\pi} </math> is a valid ratio, but it is not a fraction since we cannot compute an equivalent fraction with integer numerator and integer denominator.
Fractions are a special case of [[ratio]]s. For instance, <math> \scriptstyle \frac{e}{\pi} </math> is a valid ratio, but it is not a fraction since we cannot compute an [[#Equivalent fractions|equivalent fraction]] with an integer numerator and a natural number denominator. A fraction with equal numerator and denominator is equal to one (e.g., <math> \scriptstyle \frac{5}{5} = 1 </math>). Because the [[division by zero]] is undefined, zero should never be the denominator of a fraction.


Since we can compute the quotient from a fraction, we can represent any fraction with a [[decimal number]] (e.g., <math> \scriptstyle \frac{3}{5} = 0.6 </math>). However, because the [[division by zero]] is undefined, zero should never be the denominator of a fraction.
Due to tradition and conventions, there are at least two ways to write a fraction. The numerator and the denominator may be separated by a slash (e.g., 3/4), or by a vinculum (e.g., <math> \scriptstyle \frac{3}{4}</math>). Since we can compute the quotient from a fraction, we can represent any fraction with a [[decimal numeral]] (e.g., <math> \scriptstyle \frac{3}{5} = 3 \div 5 = 0.6 </math>).


Due to tradition and conventions, there are at least two ways to write a fraction. The numerator and the denominator may be separated by a slash (a slanted line : 3/4), or by a vinculum (an horizontal line : <math> \scriptstyle \frac{3}{4}</math>).
In higher mathematics, a fraction is viewed as an element of a [[field of fractions]], the smallest [[field (mathematics)|field]] of the [[integral domain]].
{{TOC|right}}


== Basic operations ==
== Forms ==
A '''vulgar fraction''' (or '''common fraction''') simply refers to a numerator divided  by a denominator (e.g., <math> \scriptstyle \frac{5}{11}</math> and <math> \scriptstyle \frac{4}{3}</math>). It is said to be a '''proper fraction''' if the [[absolute value]] of the numerator is less than the absolute value of the denominator (e.g. <math> \scriptstyle \frac{-5}{11}</math>). An '''improper fraction''' (in the [[United Kingdom]], '''top-heavy fraction''') is said if the absolute value of the numerator is greater than or equal to the absolute value of the denominator (e.g. <math> \scriptstyle \frac{4}{3}</math>). All integers different from -1, 0, and 1 can be represented by an improper fraction, since for example <math> \scriptstyle 7 \div 1 = \frac{7}{1}</math>. The 1 at the denominator is sometimes called an "invisible denominator".


The most common operations done on fractions are addition, substraction, multiplication, and division. In order to perform the addition and the substraction, we must frequently compute the equivalent fractions. We may need the [[multiplicative inverse]] when dividing.
A '''mixed number''' is the sum of an integer and a proper fraction (e.g., <math> \scriptstyle 2 \frac{3}{4} = 2 + \frac{3}{4}</math>). An improper fraction can be [[#Improper fraction to mixed number|transformed into a mixed number]] and [[#Mixed number to improper fraction|vice-versa]].


The end result must be an irreducible fraction.
== Special cases ==
* A vulgar fraction with a numerator of 1, e.g. <math> \scriptstyle \frac{1}{7}</math>, is a '''unit fraction'''.
* An '''Egyptian fraction''' is the sum of distinct unit fractions, e.g. <math> \scriptstyle \frac{7}{10} = \frac{1}{2} + \frac{1}{5}</math>.
* A '''decimal fraction''' is a vulgar fraction in which the denominator is a power of ten, e.g. <math> \scriptstyle \frac{1}{1000}</math>.
* A '''dyadic fraction''' is a vulgar fraction in which the denominator is a power of two, e.g. <math> \scriptstyle \frac{1}{16}</math>.
* An expression that has the form of a fraction but actually represents division by or into an irrational number is sometimes called an "irrational fraction". A common example found in [[Trigonometric function|trigonometry]] is <math>\textstyle{\frac{\pi}{2}}</math>, the measure of a right angle in [[radian]]s.
* A '''complex fraction''' (or '''compound fraction''') is a fraction in which the numerator and denominator contain a fraction (e.g., <math>\cfrac{\frac{1}{2}}{\frac{1}{3}}</math>). To simplify, [[#Division|divide the numerator by the denominator]].
* A '''[[continued fraction]]''' is an expression such as <math>a_0 + \frac{3}{a_1 + \frac{5}{a_2 + ...}} </math>, where the <math>a_i\,</math> are integers.


In this section, <math>a, b, c, d \in \mathbb{Z} </math> and <math>b \neq 0 \,</math>, <math>d \neq 0 \,</math>.
* '''[[Rational function]]s''' are represented in the form of a fraction, where the numerator and denominator are [[polynomial]]s. They are the [[quotient field]] of the polynomials.
* In algebra, some rational expressions (a fraction with an algebraic expression in the denominator) are written as the sum of other rational expressions with denominators of lesser degree. For instance, the rational expression <math>\textstyle{2x \over (x^2-1)}</math> can be rewritten as the sum of two fractions : <math>\textstyle{1 \over (x+1)}</math> and <math>\textstyle{1 \over (x-1)}</math>. The decomposition is made of '''[[partial fraction]]s'''.
 
== Notation ==
{{Image|504px-Cake_quarters.png|right|150px|A cake with one quarter removed. There is a proportional relation between the removed quarter and the whole cake.}}
 
There are many equivalent notations for a fraction.
 
The numerator and the denominator may be separated by a slanted line, the slash or the solidus (e.g., 3/4), or by an horizontal line, the vinculum (e.g., <math> \scriptstyle \frac{3}{4}</math>). In some contexts (like [[road sign]]s in some countries), it is clear that two numerals are the numerator and the denominator. They are written without any separator : <sup>a</sup> <small>b</small> (e.g., <sup>3</sup> <small>4</small>). The colon separator is usually found in written [[ratio]]s (e.g., 1.5 : 2 = 3 : 4). The "÷" symbol is sometimes used to express a fraction (e.g., 3 ÷ 4), but should not.
 
Percentages ("%") allow to write a numeral as a fraction, the denominator being implicitly 100 (e.g., 14.5% = <math> \scriptstyle \frac{14.5}{100} </math>). Per mills ("‰") allow to write a numeral as a fraction, the denominator being implicitly 1,000 (e.g., 22.3‰ = <math> \scriptstyle \frac{22.3}{1000} </math>). Per cent mille (pcm) allow to write a numeral as a fraction, the denominator being implicitly 100,000 (e.g., 78.7 pcm = <math> \scriptstyle \frac{78.7}{100000} </math>). Parts per million (ppm), parts per billion (ppb) and parts per trillion (ppt) are others way to write a numeral as a fraction with the implicit denominators 1&nbsp;million, 1&nbsp;billion, and 1&nbsp;trillion.
 
In [[pie chart]]s, any portion convey the proportional relation between a part and the whole.
 
<!-- Link text and picture. -->
<table >
    <tr>
<td>
 
A fraction is sometimes represented by a rectangular grid. We could represent <math> \scriptstyle \frac{7}{12} </math> by this grid :
 
</td>
<td>
 
<table border="1px" cellpadding="0px" cellspacing="0px" width="84px;">
    <tr>
        <td style="background-color:black;">&nbsp;</td>
        <td style="background-color:black;">&nbsp;</td>
        <td style="background-color:black;">&nbsp;</td>
        <td style="background-color:black;">&nbsp;</td>
    </tr>
    <tr>
        <td style="background-color:black;">&nbsp;</td>
        <td style="background-color:black;">&nbsp;</td>
        <td style="background-color:black;">&nbsp;</td>
        <td style="background-color:white;">&nbsp;</td>
    </tr>
    <tr>
        <td style="background-color:white;">&nbsp;</td>
        <td style="background-color:white;">&nbsp;</td>
        <td style="background-color:white;">&nbsp;</td>
        <td style="background-color:white;">&nbsp;</td>
    </tr>
</table>
 
</td>
    </tr>
</table>
 
== Arithmetic operations ==
The most common arithmetic operations on fractions are [[addition]], [[subtraction]], [[multiplication]], and [[division (arithmetic)|division]]. When adding and subtracting, we must often compute the equivalent fractions. When dividing, we usually compute the [[multiplicative inverse]]. After any computation, the end result should be an irreducible fraction.
 
In this section, each subsection builds upon knowledge acquired in previous subsections. For instance, the addition subsection does not come before the multiplication subsection, since fraction addition usually involves fraction multiplication.
 
Any integer can be represented by a fraction (e.g., <math> \scriptstyle 7 = 7 \div 1 = \frac{7}{1}</math> and <math> \scriptstyle 0 = \frac{0}{1} = \frac{0}{2} = \ldots </math>). Thus, if an operation is applied to an integer and a fraction, convert the integer into a fraction and apply the appropriate algorithm.
 
For the remainder of this section, it is understood that <math>a, b, c, d \in \mathbb{Z} </math> and <math>b \neq 0, c \neq 0, d \neq 0 \,</math>.


=== Equivalent fractions ===
=== Equivalent fractions ===
Multiplying (or integer dividing) the numerator and the denominator of a fraction by the same non-zero integer results in a new fraction that is said to be equivalent to the original fraction. For instance, <math> \scriptstyle \frac{4}{20} </math> and <math> \scriptstyle \frac{1}{5} </math> are equivalent, since <math> \scriptstyle \frac{4 \div 4}{20 \div 4} = \frac{1}{5} </math>.
A fraction where the numerator and the denominator do not have any common factor, 1 excepted, is said irreducible (or in its lowest terms). If it is not the case, then divide its numerator and its denominator by their [[greatest common divisor|gcd]]. For instance, <math> \scriptstyle \tfrac{4}{20} </math> is not in lowest terms because both 4 and 20 can be exactly divided by 4, giving <math> \scriptstyle \tfrac{1}{5} </math>. In contrast, <math> \tfrac{3}{5} </math> is in lowest terms.
=== Comparison ===
To compare fractions with different denominators, find their equivalent fraction with the same denominator. The fraction with highest numerator in absolute value is the greatest.
For instance, is <math> \scriptstyle \frac{2}{3} </math> greater than <math> \scriptstyle \frac{1}{2}</math> ?
:<math>\frac{2}{3} \vee \frac{1}{2}</math>
:<math>\frac{4}{6} > \frac{3}{6}</math>
The "cross-multiply" method say to multiply the top and bottom numbers crosswise. The product of the denominators is used as a common (but not necessary the least common) denominator. The highest numerator identifies the largest fraction. Since both denominators are the same, they can be dropped.
For instance, is <math> \scriptstyle \frac{5}{18}</math> greater than <math> \scriptstyle \frac{4}{17}</math> ?
:<math> \frac{5}{18} \vee \frac{4}{17} </math>
:<math> 5 \times 17 \vee 4 \times 18 </math>
:<math> 85 > 72 \, </math>
=== Multiplication ===
Formally, apply this algorithm to multiply the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math>:
# <math> e = gcd(ac, bd) \,</math>
# <math> \frac{a}{b} \times \frac{c}{d} = \frac{ac \div e }{ bd \div e}</math>


A fraction where the numerator and the denominator do not have any common factor, 1 excepted, is said irreducible (or in its lowest terms). If it is not the case, then we divide its numerator and its denominator by their [[greatest common divisor|gcd]].
By hands, the multiplication is done like this.  
# For the resulting fraction,
## Set its numerator to the product of both numerators.
## Set its numerator to the product of both denominators.
# Reduce the resulting fraction if you need to.
 
For instance, what is the result of <math> \scriptstyle \frac{4}{5} \times \frac{1}{6} </math> ?
 
:<math> \frac{4}{5} \times \frac{1}{6} = \frac{4 \times 1}{5 \times 6} </math>


Multiplying (or integer dividing) the numerator and the denominator of a fraction by the same non-zero integer results in a new fraction that is said to be equivalent to the original fraction. For instance, <math> \scriptstyle \tfrac{4}{20} </math> is not in lowest terms because both 4 and 20 can be exactly divided by 4, giving <math> \scriptstyle \tfrac{1}{5} </math> (the quotient of both fractions is 0.2). In contrast, <math> \tfrac{3}{5} </math> is in lowest terms.
:<math> = \frac{4}{30} </math>


=== Inverses ===
Since the result is not an irreducible fraction, we may reduce it. We divide the numerator and the denominator by their [[gcd]], 2 :
The [[additive inverse]] of a fraction is :


:<math> - \left( \frac{a}{b} \right) = \frac{-a}{b} = \frac{a}{-b} </math>
:<math> \frac{4 \div 2}{30 \div 2} = \frac{2}{15} </math>.


=== Multiplicative inverse ===
The [[multiplicative inverse]] of a fraction is :
The [[multiplicative inverse]] of a fraction is :
:<math> \left(\frac{a}{b}\right)^{-1} = \frac{b}{a} \mbox{ if } a \neq 0</math>.
:<math> \left(\frac{a}{b}\right)^{-1} = \frac{b}{a} \mbox{ if } a \neq 0</math>.
=== Division ===
Dividing by a fraction is the same as multiplying by its inverse.
Formally, apply this algorithm to divide the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math> :
# <math> e = gcd(ad, bc) \,</math>
# <math> \frac{a}{b} \div \frac{c}{d} = \frac{ad \div e }{ bc \div e}</math>
By hands, the division is done like this.
# Exchange the numerator and the denominator in the second fraction (equivalent to computing the [[#Multiplicative inverse|multiplicative inverse]]).
# For the resulting fraction,
## Set its numerator to the product of both numerators.
## Set its numerator to the product of both denominators.
# Reduce the resulting fraction if you need to.
For instance, what is the result of <math> \scriptstyle \frac{3}{5} \div \frac{1}{4} </math> ?
:<math> \frac{3}{5} \div \frac{1}{4} = \frac{3}{5} \times \frac{4}{1} = \frac{3 \times 4}{5 \times 1} </math>
:<math> = \frac{12}{5} </math>
The result is an irreducible fraction.
=== Additive inverse ===
The [[additive inverse]] of a fraction is :
:<math> - \left( \frac{a}{b} \right) = \frac{-a}{b} = \frac{a}{-b} </math>


=== Addition ===
=== Addition ===
 
Formally, apply this algorithm to add the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math> :
Formally, apply this algorithm to add two fractions :
# <math> \frac{a}{b} + \frac{c}{d} = \frac{ad+bc}{bd}</math>
# <math> e = gcd(ad+bc, bd) \,</math>
# <math> e = gcd(ad+bc, bd) \,</math>
# <math> \frac{a}{b} + \frac{c}{d} = \frac{(ad+bc) \div e }{ bd \div e}</math>
# <math> \frac{a}{b} + \frac{c}{d} = \frac{(ad+bc) \div e }{ bd \div e}</math>
Line 47: Line 173:
Let's find a number that both denominators will divide : It is 12. We are ready to compute the equivalent fractions :
Let's find a number that both denominators will divide : It is 12. We are ready to compute the equivalent fractions :


:<math> \frac{3}{4} + \frac{1}{3} </math>
:<math> \frac{3}{4} + \frac{1}{3} = \frac{3 \times 3}{4 \times 3} + \frac{1 \times 4}{3 \times 4} = \frac{9}{12} + \frac{4}{12} </math>
 
:<math> = \frac{3 \times 3}{4 \times 3} + \frac{1 \times 4}{3 \times 4} </math>
 
:<math> = \frac{9}{12} + \frac{4}{12} </math>


:<math> = \frac{13}{12} </math>
:<math> = \frac{13}{12} </math>
Line 57: Line 179:
This is the final answer since it is an irreducible fraction.
This is the final answer since it is an irreducible fraction.


=== Substraction ===
=== Subtraction ===
 
Formally, apply this algorithm to subtract the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math> :
Formally, apply this algorithm to substract two fractions :
# <math> \frac{a}{b} - \frac{c}{d} = \frac{ad-bc}{bd}</math>
# <math> e = gcd(ad-bc, bd) \,</math>
# <math> e = gcd(ad-bc, bd) \,</math>
# <math> \frac{a}{b} - \frac{c}{d} = \frac{(ad-bc) \div e }{ bd \div e}</math>
# <math> \frac{a}{b} - \frac{c}{d} = \frac{(ad-bc) \div e }{ bd \div e}</math>


By hands, the substraction is done like this.  
By hands, the subtraction is done like this.  
# Compute an equivalent fraction of <math> \scriptstyle \frac{a}{b} </math> and <math> \scriptstyle \frac{c}{d} </math>, making sure both have the same denominator.
# Compute an equivalent fraction of <math> \scriptstyle \frac{a}{b} </math> and <math> \scriptstyle \frac{c}{d} </math>, making sure both have the same denominator.
# For the resulting fraction,
# For the resulting fraction,
## Set its numerator to the substraction of the numerators.
## Set its numerator to the subtraction of the numerators.
## Set its denominator to the computed denominator (the three fractions have the same denominator).
## Set its denominator to the computed denominator (the three fractions have the same denominator).
# Reduce the resulting fraction if you need to.
# Reduce the resulting fraction if you need to.
Line 73: Line 193:
Since this algorithm is very similar to the addition algorithm, we do not give any example.
Since this algorithm is very similar to the addition algorithm, we do not give any example.


=== Multiplication ===
== Mixed numerals ==
A mixed numeral has the form <math> \scriptstyle A \frac{b}{c}</math>, where ''A'' is the integer part and <math> \scriptstyle \frac{b}{c}</math> is the fractional part.  Implicitly, there is a plus symbol between the parts (e.g., <math> \scriptstyle 2 \frac{3}{4} = 2 + \frac{3}{4} </math>).
 
Just like any fraction, we can add, subtract, multiply, and divide mixed numerals. However, before applying the operation, [[#Mixed numeral to improper fraction|convert the mixed numeral to improper fraction]], or there can be wrong results.
 
For instance, what is the sum of <math> \scriptstyle \frac{1}{3}</math> and <math> \scriptstyle -2 \frac{3}{4}</math> ? The minus sign applies to the fractional part <math> \scriptstyle \frac{3}{4}</math> : <math> \scriptstyle -2 \frac{3}{4} = -\left(2 \frac{3}{4}\right) = -\left(2 + \frac{3}{4}\right) = -2 - \frac{3}{4} </math>. The answer is <math> \scriptstyle -\frac{29}{12}</math> or <math> \scriptstyle -2 \frac{5}{12}</math>.
 
=== Mixed numeral to improper fraction ===
A mixed numeral can be converted to an improper fraction with this algorithm :
# Insert a plus symbol between the integer and the fraction.
# Replace the integer with its equivalent fraction on 1.
# [[#Addition|Add both fractions]].
 
For instance, transform <math> \scriptstyle 2 \frac{3}{4} </math> to an improper fraction.
 
:<math> 2 \frac{3}{4} = 2 + \frac{3}{4}</math>
 
:<math> = \frac{2}{1} + \frac{3}{4}</math>
 
:<math> = \frac{2 \times 4}{1 \times 4} + \frac{3}{4}</math>
 
:<math> = \frac{8}{4} + \frac{3}{4}</math>
 
:<math> = \frac{11}{4}</math>
 
=== Improper fraction to mixed numeral ===
An improper fraction can be converted to a mixed numeral with this algorithm :
# Integer divide the numerator by the denominator.
# The quotient becomes the whole part and the remainder becomes the numerator of the fractional part.
# The fraction has the same denominator.
 
For instance, transform <math> \scriptstyle \frac{11}{4} </math> to a mixed number.
 
:<math> 11 = 2 \times 4 + 3 = 8 + 3 \,</math>
 
:<math> \frac{11}{4} = \frac{8}{4} + \frac{3}{4}</math>
 
:<math> = 2 + \frac{3}{4}</math>


Formally, apply this algorithm to multiply two fractions :
:<math> = 2 \frac{3}{4}</math>
# <math> \frac{a}{b} \times \frac{c}{d} = \frac{a \times c}{b \times d}</math>
# <math> e = gcd(ac, bd) \,</math>
# <math> \frac{a}{b} \times \frac{c}{d} = \frac{ac \div e }{ bd \div e}</math>


By hands, the multiplication is done like this.
== Decimal numerals ==
# For the resulting fraction,
## Set its numerator to the product of both numerators.
## Set its numerator to the product of both denominators.
# Reduce the resulting fraction if you need to.


For instance, what is the result of <math> \scriptstyle \frac{3}{5} \times \frac{1}{3} </math> ?
A [[decimal numeral]] has the form <math> \scriptstyle ...a_3a_2a_1a_0.a_{-1}a_{-2}a_{-3}... </math>, where the <math> \scriptstyle a_i </math> are base ten digits (0, 1, 2,... 9).


:<math> \frac{3}{5} \times \frac{1}{3} </math>
=== Fraction to decimal numeral ===
To get the equivalent decimal numeral of a fraction, divide the numerator by the denominator (e.g., <math> \scriptstyle \frac{3}{7} = 3 \div 7 = 0.\overline{428571}</math>).


:<math> = \frac{3 \times 1}{5 \times 3} </math>
=== Decimal numeral to fraction ===
In many cases, it is easier to work with [[decimal numeral]]s, but they lack precision compared to fractions. Sometimes an infinite number of decimals is required to convey the same precision. Thus, it is often useful to convert decimal numerals into fractions.


:<math> = \frac{3}{15} </math>
Before going any further in this section, we need to observe a property of the decimal numerals. For instance, <math> \scriptstyle \frac{1}{3} = 0.3333... = 0.\overline{3}</math> The infinite expansion is composed of 3s. For square root of 2, we have <math> \scriptstyle \sqrt{2} = 1.4142...</math>. The infinite expansion is composed of different digits without any repeated pattern. For 4.35, we have <math> \scriptstyle 4.35000... = 4.35\overline{0}</math> The infinite expansion is composed of zeroes, but they are not written down by convention. Thus, all numbers written in decimal notation have an infinite decimal expansion.


Since the result is not an irreducible fraction, we must reduce it. We divide the numerator and the denominator by 3 :
Because of this observation, we only need to use two algorithms to convert decimal numerals to fractions. In order to choose the appropriate algorithm, we need to find if there is a repeating pattern, or not, in the decimal expansion.


:<math> \frac{3 \div 3}{15 \div 3} = \frac{1}{5} </math>.
==== Repeating pattern algorithm ====
The idea behind the following algorithm is to compute two different multiples of the same number in such a way as to align the repeated pattern after the decimal separator.


=== Division ===
# Excluding any repeated pattern, count the number of digits after the decimal separator (''p'') in the decimal numeral ''n''.
# Compute <math> \scriptstyle 10^p \times n \,</math>
# Including the first repeated pattern, count the number of digits after the decimal separator (''q'') in the decimal numeral ''n''.
# Compute <math> \scriptstyle 10^q \times n \,</math>
# Write the equation <math> \scriptstyle 10^q \times a - 10^p \times a = 10^q \times n - 10^p \times n \,</math>, where ''a'' is unknown.
# Isolate ''a'', the fraction to find.


Dividing by a fraction is the same as multiplying by its inverse.  
For instance, convert 7.85'''891'''891891... to a fraction.


Formally, apply this algorithm to divide two fractions :
: ''m'' is equal to 2
# <math> \frac{a}{b} \div \frac{c}{d} = \frac{a}{b} \times \frac{d}{c} = \frac{a \times d}{b \times c} </math>
: 10<sup>2</sup> = 100
# <math> e = gcd(ad, bc) \,</math>
: 7.85'''891'''891891... &times; 100 = 785.'''891'''891891...
# <math> \frac{a}{b} \div \frac{c}{d} = \frac{ad \div e }{ bc \div e}</math>
: ''n'' is equal to 5
: 10<sup>5</sup> = 100000
: 7.85'''891'''891891... &times; 100000 = 785'''891'''.891891...
: 100000 &times; a - 100 &times; a = 785'''891'''.891891... - 785.'''891'''891891...
: 99900 &times; a = 785106
: <math> \scriptstyle a = \frac{785106}{99900}</math>
: ...


By hands, the division is done like this.
For instance, convert 4.37 to a fraction.
# Compute the [[multiplicative inverse]] of the second fraction (exchange the numerator and the denominator).
# For the resulting fraction,
## Set its numerator to the product of both numerators.
## Set its numerator to the product of both denominators.
# Reduce the resulting fraction if you need to.


For instance, what is the result of <math> \scriptstyle \frac{3}{5} \div \frac{1}{4} </math> ?
: ''m'' is equal to 2.
: 10<sup>2</sup> = 100
: 4.37'''0'''00... &times; 100 = 437.'''0'''00...
: ''n'' is equal to 3.
: 10<sup>3</sup> = 1000
: 4.37'''0'''00... &times; 1000 = 437'''0'''.00...
: 1000 &times; a - 100 &times; a = 437'''0'''.00... - 437.'''0'''00...
: 900 &times; a = 3933
: <math> \scriptstyle a = \frac{3933}{900}</math>
: ...


:<math> \frac{3}{5} \div \frac{1}{4} </math>
==== Non-repeating pattern algorithm ====
The conversion is done using observation and needs.


:<math> = \frac{3}{5} \times \frac{4}{1} </math>
If the decimal numeral ''n'' is a multiple of <math>3.14159</math> (a truncated value of <math>\pi</math>), then solve <math>n = k \times 3.14159</math>, where ''k'' is the multiple to find. If the constant is unknown, then truncate the decimal expansion to needed precision. Convert the new numeral using [[#Repeating pattern algorithm|repeating pattern algorithm]].


:<math> = \frac{3 \times 4}{5 \times 1} </math>
== History ==
[[Ancient Egypt|Ancient Egyptians]] used what is called today [[Egyptian fraction]]s. In China, they were in use around the first century of our era.


:<math> = \frac{12}{5} </math>
Some problems from [[Antiquity]] explicitly request fraction use :
# I found a stone, but I did not weigh it. After adding a seventh of its weight and added the eleventh of the new result, it weighs 1 ma-na [mass unit]. What is the stone weight ? ([[Babylon]]ian problem, tablet YBC 4652, problem 7)
# A number added to its seventh gives 19. What is the number ? ([[Rhind Mathematical Papyrus]], problem 24)
# A number added to its quarter gives 15. What is the number ? ([[Rhind Mathematical Papyrus]], problem 26)
# Suppose we have 9 golden rods and 11 white silver rods which, when they are weighed, have exactly the same weight. If we replace one golden rod with one white silver rod, gold is lighter by 13 ''liang'' [mass unit]. What is the weight of one golden rod and of one white silver rod ? (''[[The Nine Chapters on the Mathematical Art]]'', problem 7.17)


The result is an irreducible fraction.
Historically, any numeral that did not represent a whole number was called a "fraction". The numerals that we now call "decimals" were originally called "decimal fractions"; the numeral we now call "fractions" were called "vulgar fractions", meaning a "commonplace fraction".


== See also ==
== See also ==
Line 130: Line 304:
* [[Rational function]]
* [[Rational function]]
* [[Partial fraction]]
* [[Partial fraction]]
* [[Field of fractions]]
* [[Field of fractions]][[Category:Suggestion Bot Tag]]
 
[[Category:CZ Live]]
[[Category:Mathematics Workgroup]]

Latest revision as of 06:01, 18 August 2024

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematics, a fraction (from the Latin fractus, meaning broken) is a concept used to convey a proportional relation between a part and the whole. It consists of a numerator (an integer — the part) and a denominator (a natural number — the whole). For instance, the fraction can represent three equal parts of a whole object, if the object is divided into five equal parts. Any rational number can be written as a fraction.

Fractions are a special case of ratios. For instance, is a valid ratio, but it is not a fraction since we cannot compute an equivalent fraction with an integer numerator and a natural number denominator. A fraction with equal numerator and denominator is equal to one (e.g., ). Because the division by zero is undefined, zero should never be the denominator of a fraction.

Due to tradition and conventions, there are at least two ways to write a fraction. The numerator and the denominator may be separated by a slash (e.g., 3/4), or by a vinculum (e.g., ). Since we can compute the quotient from a fraction, we can represent any fraction with a decimal numeral (e.g., ).

In higher mathematics, a fraction is viewed as an element of a field of fractions, the smallest field of the integral domain.

Forms

A vulgar fraction (or common fraction) simply refers to a numerator divided by a denominator (e.g., and ). It is said to be a proper fraction if the absolute value of the numerator is less than the absolute value of the denominator (e.g. ). An improper fraction (in the United Kingdom, top-heavy fraction) is said if the absolute value of the numerator is greater than or equal to the absolute value of the denominator (e.g. ). All integers different from -1, 0, and 1 can be represented by an improper fraction, since for example . The 1 at the denominator is sometimes called an "invisible denominator".

A mixed number is the sum of an integer and a proper fraction (e.g., ). An improper fraction can be transformed into a mixed number and vice-versa.

Special cases

  • A vulgar fraction with a numerator of 1, e.g. , is a unit fraction.
  • An Egyptian fraction is the sum of distinct unit fractions, e.g. .
  • A decimal fraction is a vulgar fraction in which the denominator is a power of ten, e.g. .
  • A dyadic fraction is a vulgar fraction in which the denominator is a power of two, e.g. .
  • An expression that has the form of a fraction but actually represents division by or into an irrational number is sometimes called an "irrational fraction". A common example found in trigonometry is , the measure of a right angle in radians.
  • A complex fraction (or compound fraction) is a fraction in which the numerator and denominator contain a fraction (e.g., ). To simplify, divide the numerator by the denominator.
  • A continued fraction is an expression such as , where the are integers.
  • Rational functions are represented in the form of a fraction, where the numerator and denominator are polynomials. They are the quotient field of the polynomials.
  • In algebra, some rational expressions (a fraction with an algebraic expression in the denominator) are written as the sum of other rational expressions with denominators of lesser degree. For instance, the rational expression can be rewritten as the sum of two fractions : and . The decomposition is made of partial fractions.

Notation

A cake with one quarter removed. There is a proportional relation between the removed quarter and the whole cake.

There are many equivalent notations for a fraction.

The numerator and the denominator may be separated by a slanted line, the slash or the solidus (e.g., 3/4), or by an horizontal line, the vinculum (e.g., ). In some contexts (like road signs in some countries), it is clear that two numerals are the numerator and the denominator. They are written without any separator : a b (e.g., 3 4). The colon separator is usually found in written ratios (e.g., 1.5 : 2 = 3 : 4). The "÷" symbol is sometimes used to express a fraction (e.g., 3 ÷ 4), but should not.

Percentages ("%") allow to write a numeral as a fraction, the denominator being implicitly 100 (e.g., 14.5% = ). Per mills ("‰") allow to write a numeral as a fraction, the denominator being implicitly 1,000 (e.g., 22.3‰ = ). Per cent mille (pcm) allow to write a numeral as a fraction, the denominator being implicitly 100,000 (e.g., 78.7 pcm = ). Parts per million (ppm), parts per billion (ppb) and parts per trillion (ppt) are others way to write a numeral as a fraction with the implicit denominators 1 million, 1 billion, and 1 trillion.

In pie charts, any portion convey the proportional relation between a part and the whole.

A fraction is sometimes represented by a rectangular grid. We could represent by this grid :

       
       
       

Arithmetic operations

The most common arithmetic operations on fractions are addition, subtraction, multiplication, and division. When adding and subtracting, we must often compute the equivalent fractions. When dividing, we usually compute the multiplicative inverse. After any computation, the end result should be an irreducible fraction.

In this section, each subsection builds upon knowledge acquired in previous subsections. For instance, the addition subsection does not come before the multiplication subsection, since fraction addition usually involves fraction multiplication.

Any integer can be represented by a fraction (e.g., and ). Thus, if an operation is applied to an integer and a fraction, convert the integer into a fraction and apply the appropriate algorithm.

For the remainder of this section, it is understood that and .

Equivalent fractions

Multiplying (or integer dividing) the numerator and the denominator of a fraction by the same non-zero integer results in a new fraction that is said to be equivalent to the original fraction. For instance, and are equivalent, since .

A fraction where the numerator and the denominator do not have any common factor, 1 excepted, is said irreducible (or in its lowest terms). If it is not the case, then divide its numerator and its denominator by their gcd. For instance, is not in lowest terms because both 4 and 20 can be exactly divided by 4, giving . In contrast, is in lowest terms.

Comparison

To compare fractions with different denominators, find their equivalent fraction with the same denominator. The fraction with highest numerator in absolute value is the greatest.

For instance, is greater than  ?

The "cross-multiply" method say to multiply the top and bottom numbers crosswise. The product of the denominators is used as a common (but not necessary the least common) denominator. The highest numerator identifies the largest fraction. Since both denominators are the same, they can be dropped.

For instance, is greater than  ?

Multiplication

Formally, apply this algorithm to multiply the fractions and :

By hands, the multiplication is done like this.

  1. For the resulting fraction,
    1. Set its numerator to the product of both numerators.
    2. Set its numerator to the product of both denominators.
  2. Reduce the resulting fraction if you need to.

For instance, what is the result of  ?

Since the result is not an irreducible fraction, we may reduce it. We divide the numerator and the denominator by their gcd, 2 :

.

Multiplicative inverse

The multiplicative inverse of a fraction is :

.

Division

Dividing by a fraction is the same as multiplying by its inverse.

Formally, apply this algorithm to divide the fractions and  :

By hands, the division is done like this.

  1. Exchange the numerator and the denominator in the second fraction (equivalent to computing the multiplicative inverse).
  2. For the resulting fraction,
    1. Set its numerator to the product of both numerators.
    2. Set its numerator to the product of both denominators.
  3. Reduce the resulting fraction if you need to.

For instance, what is the result of  ?

The result is an irreducible fraction.

Additive inverse

The additive inverse of a fraction is :

Addition

Formally, apply this algorithm to add the fractions and  :

By hands, the addition is done like this.

  1. Compute an equivalent fraction of and , making sure both have the same denominator.
  2. For the resulting fraction,
    1. Set its numerator to the addition of the numerators.
    2. Set its denominator to the computed denominator (the three fractions have the same denominator).
  3. Reduce the resulting fraction if you need to.

For instance, what is the result of  ?

Let's find a number that both denominators will divide : It is 12. We are ready to compute the equivalent fractions :

This is the final answer since it is an irreducible fraction.

Subtraction

Formally, apply this algorithm to subtract the fractions and  :

By hands, the subtraction is done like this.

  1. Compute an equivalent fraction of and , making sure both have the same denominator.
  2. For the resulting fraction,
    1. Set its numerator to the subtraction of the numerators.
    2. Set its denominator to the computed denominator (the three fractions have the same denominator).
  3. Reduce the resulting fraction if you need to.

Since this algorithm is very similar to the addition algorithm, we do not give any example.

Mixed numerals

A mixed numeral has the form , where A is the integer part and is the fractional part. Implicitly, there is a plus symbol between the parts (e.g., ).

Just like any fraction, we can add, subtract, multiply, and divide mixed numerals. However, before applying the operation, convert the mixed numeral to improper fraction, or there can be wrong results.

For instance, what is the sum of and  ? The minus sign applies to the fractional part  : . The answer is or .

Mixed numeral to improper fraction

A mixed numeral can be converted to an improper fraction with this algorithm :

  1. Insert a plus symbol between the integer and the fraction.
  2. Replace the integer with its equivalent fraction on 1.
  3. Add both fractions.

For instance, transform to an improper fraction.

Improper fraction to mixed numeral

An improper fraction can be converted to a mixed numeral with this algorithm :

  1. Integer divide the numerator by the denominator.
  2. The quotient becomes the whole part and the remainder becomes the numerator of the fractional part.
  3. The fraction has the same denominator.

For instance, transform to a mixed number.

Decimal numerals

A decimal numeral has the form , where the are base ten digits (0, 1, 2,... 9).

Fraction to decimal numeral

To get the equivalent decimal numeral of a fraction, divide the numerator by the denominator (e.g., ).

Decimal numeral to fraction

In many cases, it is easier to work with decimal numerals, but they lack precision compared to fractions. Sometimes an infinite number of decimals is required to convey the same precision. Thus, it is often useful to convert decimal numerals into fractions.

Before going any further in this section, we need to observe a property of the decimal numerals. For instance, The infinite expansion is composed of 3s. For square root of 2, we have . The infinite expansion is composed of different digits without any repeated pattern. For 4.35, we have The infinite expansion is composed of zeroes, but they are not written down by convention. Thus, all numbers written in decimal notation have an infinite decimal expansion.

Because of this observation, we only need to use two algorithms to convert decimal numerals to fractions. In order to choose the appropriate algorithm, we need to find if there is a repeating pattern, or not, in the decimal expansion.

Repeating pattern algorithm

The idea behind the following algorithm is to compute two different multiples of the same number in such a way as to align the repeated pattern after the decimal separator.

  1. Excluding any repeated pattern, count the number of digits after the decimal separator (p) in the decimal numeral n.
  2. Compute
  3. Including the first repeated pattern, count the number of digits after the decimal separator (q) in the decimal numeral n.
  4. Compute
  5. Write the equation , where a is unknown.
  6. Isolate a, the fraction to find.

For instance, convert 7.85891891891... to a fraction.

m is equal to 2
102 = 100
7.85891891891... × 100 = 785.891891891...
n is equal to 5
105 = 100000
7.85891891891... × 100000 = 785891.891891...
100000 × a - 100 × a = 785891.891891... - 785.891891891...
99900 × a = 785106
...

For instance, convert 4.37 to a fraction.

m is equal to 2.
102 = 100
4.37000... × 100 = 437.000...
n is equal to 3.
103 = 1000
4.37000... × 1000 = 4370.00...
1000 × a - 100 × a = 4370.00... - 437.000...
900 × a = 3933
...

Non-repeating pattern algorithm

The conversion is done using observation and needs.

If the decimal numeral n is a multiple of (a truncated value of ), then solve , where k is the multiple to find. If the constant is unknown, then truncate the decimal expansion to needed precision. Convert the new numeral using repeating pattern algorithm.

History

Ancient Egyptians used what is called today Egyptian fractions. In China, they were in use around the first century of our era.

Some problems from Antiquity explicitly request fraction use :

  1. I found a stone, but I did not weigh it. After adding a seventh of its weight and added the eleventh of the new result, it weighs 1 ma-na [mass unit]. What is the stone weight ? (Babylonian problem, tablet YBC 4652, problem 7)
  2. A number added to its seventh gives 19. What is the number ? (Rhind Mathematical Papyrus, problem 24)
  3. A number added to its quarter gives 15. What is the number ? (Rhind Mathematical Papyrus, problem 26)
  4. Suppose we have 9 golden rods and 11 white silver rods which, when they are weighed, have exactly the same weight. If we replace one golden rod with one white silver rod, gold is lighter by 13 liang [mass unit]. What is the weight of one golden rod and of one white silver rod ? (The Nine Chapters on the Mathematical Art, problem 7.17)

Historically, any numeral that did not represent a whole number was called a "fraction". The numerals that we now call "decimals" were originally called "decimal fractions"; the numeral we now call "fractions" were called "vulgar fractions", meaning a "commonplace fraction".

See also