Fraction (mathematics)
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 ratios. 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 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 (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>).
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., <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, topheavy 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 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 transformed into a mixed number and viceversa.
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 trigonometry is <math>\textstyle{\frac{\pi}{2}}</math>, 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., <math>\cfrac{\frac{1}{2}}{\frac{1}{3}}</math>). To simplify, 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.
 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 <math>\textstyle{2x \over (x^21)}</math> can be rewritten as the sum of two fractions : <math>\textstyle{1 \over (x+1)}</math> and <math>\textstyle{1 \over (x1)}</math>. The decomposition is made of partial fractions.
Notation
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 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% = <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 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 <math> \scriptstyle \frac{7}{12} </math> 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., <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
Multiplying (or integer dividing) the numerator and the denominator of a fraction by the same nonzero 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 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 "crossmultiply" 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>
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>
 <math> = \frac{4}{30} </math>
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{4 \div 2}{30 \div 2} = \frac{2}{15} </math>.
Multiplicative inverse
The multiplicative inverse of a fraction is :
 <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).
 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
Formally, apply this algorithm to add the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math> :
 <math> e = gcd(ad+bc, bd) \,</math>
 <math> \frac{a}{b} + \frac{c}{d} = \frac{(ad+bc) \div e }{ bd \div e}</math>
By hands, the addition 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.
 For the resulting fraction,
 Set its numerator to the addition of the numerators.
 Set its denominator to the computed denominator (the three fractions have the same denominator).
 Reduce the resulting fraction if you need to.
For instance, what is the result of <math> \scriptstyle \frac{3}{4} + \frac{1}{3} </math> ?
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} = \frac{3 \times 3}{4 \times 3} + \frac{1 \times 4}{3 \times 4} = \frac{9}{12} + \frac{4}{12} </math>
 <math> = \frac{13}{12} </math>
This is the final answer since it is an irreducible fraction.
Subtraction
Formally, apply this algorithm to subtract the fractions <math> \frac{a}{b} </math> and <math> \frac{c}{d} </math> :
 <math> e = gcd(adbc, bd) \,</math>
 <math> \frac{a}{b}  \frac{c}{d} = \frac{(adbc) \div e }{ bd \div e}</math>
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.
 For the resulting fraction,
 Set its numerator to the subtraction of the numerators.
 Set its denominator to the computed denominator (the three fractions have the same denominator).
 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 <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, 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.
 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>
 <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 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, <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 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.
 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.
For instance, convert 7.85891891891... to a fraction.
 m is equal to 2
 10^{2} = 100
 7.85891891891... × 100 = 785.891891891...
 n is equal to 5
 10^{5} = 100000
 7.85891891891... × 100000 = 785891.891891...
 100000 × a  100 × a = 785891.891891...  785.891891891...
 99900 × a = 785106
 <math> \scriptstyle a = \frac{785106}{99900}</math>
 ...
For instance, convert 4.37 to a fraction.
 m is equal to 2.
 10^{2} = 100
 4.37000... × 100 = 437.000...
 n is equal to 3.
 10^{3} = 1000
 4.37000... × 1000 = 4370.00...
 1000 × a  100 × a = 4370.00...  437.000...
 900 × a = 3933
 <math> \scriptstyle a = \frac{3933}{900}</math>
 ...
Nonrepeating pattern algorithm
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.
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 :
 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 mana [mass unit]. What is the stone weight ? (Babylonian 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".