Fraction (mathematics): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Olier Raby
(→‎Special cases: Added one entry.)
mNo edit summary
 
(63 intermediate revisions by 8 users not shown)
Line 1: Line 1:
{{subpages}}
{{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. We can represent all [[rational number]]s with fractions.
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 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.
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.


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>). 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 (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>).
{{TOC-right}}
 
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}}


== Forms ==
== 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".
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 [[Great Britain]], '''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 non-zero integers 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".


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]].
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]].


== Special cases ==  
== Special cases ==  
* A vulgar fraction with a numerator of 1, e.g. <math> \scriptstyle \frac{1}{7}</math>, is a '''unit fraction'''.  
* 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>.
* An '''Egyptian fraction''' is the sum of distinct unit fractions, e.g. <math> \scriptstyle \frac{7}{10} = \frac{1}{2} + \frac{1}{5}</math>.
Line 20: Line 20:
* A '''dyadic fraction''' is a vulgar fraction in which the denominator is a power of two, e.g. <math> \scriptstyle \frac{1}{16}</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.
* 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.
* 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.


* '''[[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.
* '''[[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'''.
* 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 ==
== 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.


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]].  
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.  


After any computation, the end result should be an irreducible fraction.
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.


In 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>.
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>.


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> and <math> \scriptstyle \tfrac{1}{5} </math> are equivalent, since the quotient of both fractions is 0.2.
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.


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]]. 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 ===
=== Multiplication ===
 
Formally, apply this algorithm to multiply the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math>:
Formally, apply this algorithm to multiply two fractions :
# <math> \frac{a}{b} \times \frac{c}{d} = \frac{a \times c}{b \times d}</math>
# <math> e = gcd(ac, bd) \,</math>
# <math> e = gcd(ac, bd) \,</math>
# <math> \frac{a}{b} \times \frac{c}{d} = \frac{ac \div e }{ bd \div e}</math>
# <math> \frac{a}{b} \times \frac{c}{d} = \frac{ac \div e }{ bd \div e}</math>
Line 52: Line 116:
# Reduce the resulting fraction if you need to.
# 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> ?  
For instance, what is the result of <math> \scriptstyle \frac{4}{5} \times \frac{1}{6} </math> ?  


:<math> \frac{3}{5} \times \frac{1}{3} = \frac{3 \times 1}{5 \times 3} </math>
:<math> \frac{4}{5} \times \frac{1}{6} = \frac{4 \times 1}{5 \times 6} </math>


:<math> = \frac{3}{15} </math>
:<math> = \frac{4}{30} </math>


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


:<math> \frac{3 \div 3}{15 \div 3} = \frac{1}{5} </math>.
:<math> \frac{4 \div 2}{30 \div 2} = \frac{2}{15} </math>.


=== Multiplicative inverse ===
=== Multiplicative inverse ===
Line 67: Line 131:


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


Formally, apply this algorithm to divide two fractions :
Formally, apply this algorithm to divide the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math> :
# <math> \frac{a}{b} \div \frac{c}{d} = \frac{a}{b} \times \frac{d}{c} = \frac{a \times d}{b \times c} </math>
# <math> e = gcd(ad, bc) \,</math>
# <math> e = gcd(ad, bc) \,</math>
# <math> \frac{a}{b} \div \frac{c}{d} = \frac{ad \div e }{ bc \div e}</math>
# <math> \frac{a}{b} \div \frac{c}{d} = \frac{ad \div e }{ bc \div e}</math>
Line 96: Line 158:


=== 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 120: Line 180:


=== Subtraction ===
=== 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 subtract 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 135: 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.


=== Improper fraction to mixed number ===
== 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>).
An improper fraction can be converted to a mixed number 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>
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.


:<math> = 2 \frac{3}{4}</math>
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 number to improper fraction ===
=== Mixed numeral to improper fraction ===
A mixed number can be converted to an improper fraction with this algorithm :
A mixed numeral can be converted to an improper fraction with this algorithm :
# Insert a plus symbol between the integer and the fraction.
# Insert a plus symbol between the integer and the fraction.
# Replace the integer with its equivalent fraction on 1.
# Replace the integer with its equivalent fraction on 1.
Line 170: Line 218:
:<math> = \frac{11}{4}</math>
:<math> = \frac{11}{4}</math>


=== Mixed numbers arithmetic ===
=== 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.


Just like any fraction, we can add, subtract, multiply, and divide mixed numbers. However, before applying the operation, [[#Mixed number to improper fraction|convert the mixed numbers to improper fraction]], or you may get wrong results.
For instance, transform <math> \scriptstyle \frac{11}{4} </math> to a mixed number.


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 fraction <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>.
:<math> 11 = 2 \times 4 + 3 = 8 + 3 \,</math>


== Decimal numerals to fractions ==
:<math> \frac{11}{4} = \frac{8}{4} + \frac{3}{4}</math>


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 kind of precision. Thus, it is often useful to convert decimal numerals into fractions.
:<math> = 2 + \frac{3}{4}</math>
 
:<math> = 2 \frac{3}{4}</math>
 
== Decimal numerals ==
 
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).
 
=== 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>).
 
=== 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.


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.  
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.  


Because of this observation, we only need to use two algorithms to convert decimal numerals to fractions. In the 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.
# there is a repeating pattern.
# there is no repeating pattern.


=== Repeating pattern algorithm ===
==== 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.


# Excluding any repeated pattern, count the number of digits after the decimal separator (''p'') in the decimal numeral ''n''.
# Excluding any repeated pattern, count the number of digits after the decimal separator (''p'') in the decimal numeral ''n''.
Line 221: Line 284:
: ...
: ...


=== Non-repeating pattern algorithm ===
==== Non-repeating pattern algorithm ====
 
The conversion is done using observation and needs.  
The conversion is done using observation and needs.  


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]].
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]].
== 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.
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)
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 231: Line 304:
* [[Rational function]]
* [[Rational function]]
* [[Partial fraction]]
* [[Partial fraction]]
* [[Field of fractions]]
* [[Field of fractions]][[Category:Suggestion Bot Tag]]

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