Menu Top
Complete Course of Mathematics
Topic 1: Numbers & Numerical Applications Topic 2: Algebra Topic 3: Quantitative Aptitude
Topic 4: Geometry Topic 5: Construction Topic 6: Coordinate Geometry
Topic 7: Mensuration Topic 8: Trigonometry Topic 9: Sets, Relations & Functions
Topic 10: Calculus Topic 11: Mathematical Reasoning Topic 12: Vectors & Three-Dimensional Geometry
Topic 13: Linear Programming Topic 14: Index Numbers & Time-Based Data Topic 15: Financial Mathematics
Topic 16: Statistics & Probability


Content On This Page
Terminating and Non-Terminating Decimal Expansions Decimal Expansion of Rational vs. Irrational Numbers Expressing Recurring Decimals in p/q Form
Proofs of Irrationality Rationalisation of Denominators


Decimal Expansions and Rationality



Terminating and Non-Terminating Decimal Expansions


The Decimal Representation of Numbers

Every real number can be uniquely represented as a decimal expansion. This is the representation of the number in base 10, using the digits 0 through 9 and a decimal point. The decimal point separates the integer part of the number (to the left) from the fractional part (to the right).

The position of each digit relative to the decimal point determines its place value, which is a power of 10. Digits to the left of the decimal represent non-negative powers of 10 ($10^0, 10^1, 10^2, ...$), while digits to the right represent negative powers of 10 ($10^{-1}, 10^{-2}, 10^{-3}, ...$).

For a rational number, which is defined as any number that can be written as a fraction $\frac{p}{q}$ (where $p$ and $q$ are integers and $q \neq 0$), its decimal expansion is obtained by performing the long division of the numerator $p$ by the denominator $q$. The characteristics of this decimal expansion are key to understanding the nature of rational numbers and distinguishing them from irrational numbers.

During the process of long division $p \div q$, we generate digits after the decimal point based on the remainders at each step. Since we are dividing by $q$, the only possible remainders at any step are integers from $0$ up to $|q|-1$. There is a finite number of these possible remainders.

Based on the behavior of these remainders, the decimal expansion will either end (terminate) or continue infinitely (non-terminate).


Terminating Decimal Expansions

A decimal expansion is called terminating if the long division process of the numerator by the denominator eventually results in a remainder of $0$. When the remainder becomes 0, the division stops, and the decimal representation has a finite number of digits after the decimal point.

Examples:

Terminating decimals are always rational numbers, as they can be written as a fraction with a denominator that is a power of 10 (e.g., $0.75 = \frac{75}{100}$).


The Condition for Terminating Decimal Expansions

A rational number, expressed as a fraction $\frac{p}{q}$ in its simplest form (meaning the numerator $p$ and the denominator $q$ have no common factors other than 1, i.e., $\text{GCD}(p, q) = 1$), has a terminating decimal expansion if and only if the prime factorization of its denominator $q$ contains only the prime numbers $2$ and/or $5$.

Explanation: The decimal number system is based on powers of $10$. A terminating decimal is fundamentally a fraction whose denominator can be expressed as a power of $10$. Since $10$ can be factored into its prime factors as $10 = 2 \times 5$, any positive integer power of $10$, say $10^k$, can be factored as $(2 \times 5)^k = 2^k \times 5^k$.

If the denominator $q$ of a fraction $\frac{p}{q}$ (in simplest form) has only prime factors of $2$ and/or $5$, it means $q$ can be written in the form $q = 2^m \times 5^n$ for some non-negative integers $m$ and $n$. We can make the denominator a power of 10 by multiplying the numerator and the denominator by an appropriate power of 2 or 5:

In both cases, the original fraction $\frac{p}{q}$ is equivalent to a fraction whose denominator is a power of $10$. Any fraction with a denominator that is a power of $10$ corresponds to a terminating decimal (e.g., $\frac{N}{1000} = 0.00N$).

Conversely, if the denominator $q$ of a fraction $\frac{p}{q}$ (in simplest form) contains any prime factor other than $2$ or $5$ (such as $3, 7, 11, 13$, etc.), it is impossible to multiply the denominator by any integer to make it a power of $10$, because a power of $10$ only has prime factors 2 and 5. Therefore, the decimal expansion will not terminate.

Example: $\frac{1}{3}$. Denominator is $3$. Prime factor is $3$. $\frac{1}{3} = 0.333...$ (non-terminating).
Example: $\frac{5}{6}$. In simplest form. Denominator is $6 = 2 \times 3$. Prime factors include $3$. $\frac{5}{6} = 0.8333...$ (non-terminating).
Example: $\frac{3}{7}$. In simplest form. Denominator is $7$. Prime factor is $7$. $\frac{3}{7} = 0.428571428571...$ (non-terminating).


Non-Terminating Decimal Expansions

A decimal expansion is called non-terminating if the long division process never produces a remainder of $0$. The digits after the decimal point continue indefinitely.

This happens when, during the division of $p$ by $q$, a remainder repeats at some point. Since there are only a finite number of possible non-zero remainders ($1, 2, ..., |q|-1$), if the remainder 0 is never reached, a remainder must eventually repeat. When a remainder repeats, the sequence of subsequent digits in the quotient will also repeat.

Non-terminating decimals fall into two categories:


Summary: Decimal Expansions and Rationality

The type of decimal expansion a number has provides a definitive test for whether it is rational or irrational:

This property is a cornerstone in understanding the distinction between rational and irrational numbers on the real number line.



Decimal Expansion of Rational vs. Irrational Numbers

The type of decimal expansion a real number has is a fundamental property that provides a perfect distinction between rational and irrational numbers. Every real number can be expressed as a decimal, and the nature of this decimal (whether it terminates or repeats) tells us whether the number is rational or not.


Decimal Expansion of Rational Numbers ($\mathbb{Q}$)

A number is a rational number if and only if its decimal expansion is either terminating or non-terminating and repeating (recurring).

The key takeaway is that the decimal expansion of a rational number is predictable; it either stops or it repeats a pattern.


Decimal Expansion of Irrational Numbers ($\mathbb{I}$)

A number is an irrational number if and only if its decimal expansion is non-terminating and non-repeating.

The digits after the decimal point continue infinitely without settling into any repeating pattern or block of digits.

Examples:

The property of having a non-terminating and non-repeating decimal expansion is the defining characteristic of irrational numbers in terms of their decimal form. This is precisely why they cannot be written as a simple fraction $\frac{p}{q}$. The decimal expansion provides a way to uniquely pinpoint the location of each irrational number on the continuous real number line.

Summary of the Relationship:

This definitive link between the type of decimal expansion and the nature of the number (rational or irrational) is a fundamental concept in understanding the structure of the real number system.



Expressing Recurring Decimals in p/q Form

As established in the previous sections, a number is rational if and only if its decimal expansion is either terminating or non-terminating and repeating (recurring). Terminating decimals are easily converted to fractions by using powers of 10 as the denominator (e.g., $0.75 = \frac{75}{100}$). Non-terminating repeating decimals, however, require a different method to be converted into the standard fractional form $\frac{p}{q}$. This conversion process uses basic algebra.


Algebraic Method for Converting Recurring Decimals to Fractions ($\frac{p}{q}$)

The method relies on manipulating equations derived from the decimal representation by multiplying by appropriate powers of 10 to align the repeating parts, which are then eliminated by subtraction.

Consider a non-terminating repeating decimal number.

Steps:

  1. Assign a variable: Let the given recurring decimal number be represented by a variable, say $x$. Write out its decimal expansion showing enough digits to clearly identify the repeating pattern.
  2. Isolate the repeating block (Equation 1): If there is a non-repeating part immediately following the decimal point, multiply the original equation ($x = \text{decimal}$) by a power of $10$ ($10^k$) such that the decimal point moves just to the right of the non-repeating part and immediately before the beginning of the repeating block. Here, $k$ is the number of digits in the non-repeating part after the decimal point. Let this equation be denoted as Equation (1). (If there is no non-repeating part after the decimal, i.e., $k=0$, then Equation (1) is simply the original equation, $x = \text{decimal}$).
  3. Shift one repeating block (Equation 2): Count the number of digits in the repeating block. Let this number be $m$. Multiply Equation (1) (the equation where the decimal point is just before the repeating block) by a power of $10$ ($10^m$) such that the decimal point moves to the right by $m$ places. This effectively shifts one entire block of repeating digits to the left of the decimal point. Let this new equation be denoted as Equation (2).
  4. Eliminate the repeating part: Subtract Equation (1) from Equation (2). Because of the way the decimal points were aligned and the repeating blocks were shifted, the infinite repeating parts of the decimals in both equations will be identical after the decimal point. Therefore, these repeating parts will cancel each other out upon subtraction. This leaves a simple linear equation involving $x$ and integers.
  5. Solve for the variable: Solve the resulting linear equation for $x$. This will express $x$ as a fraction $\frac{\text{integer}}{\text{integer}}$.
  6. Simplify the fraction: Simplify the resulting fraction to its lowest terms by dividing the numerator and the denominator by their Greatest Common Divisor (GCD). This gives the fraction in the desired $\frac{p}{q}$ form, where $\text{GCD}(p, q) = 1$.

Examples

Example 1. Express $0.\overline{6}$ in the form $\frac{p}{q}$.

Answer:

Let $x = 0.\overline{6}$. The decimal expansion is $x = 0.6666...$

Number of non-repeating digits after the decimal point ($k$) is $0$.

Number of digits in the repeating block ($m$) is $1$ (the digit $6$).

Step 3 (Equation 1): Since $k=0$, the decimal point is already before the repeating block. Equation (1) is the original equation:

$\quad x = 0.6666...$

... (1)

Step 4 (Equation 2): Multiply Equation (1) by $10^m = 10^1 = 10$ to shift one repeating block to the left of the decimal point:

$\quad 10x = 6.6666...$

... (2)

Step 5 (Subtract): Subtract Equation (1) from Equation (2):

$\quad 10x - x = (6.6666...) - (0.6666...)$

$\quad 9x = 6$

Step 6 (Solve): Solve for $x$:

$\quad x = \frac{6}{9}$

Step 7 (Simplify): Simplify the fraction. The GCD of 6 and 9 is 3.

$\quad x = \frac{\cancel{6}^{2}}{\cancel{9}_{3}} = \frac{2}{3}$

So, $0.\overline{6} = \mathbf{\frac{2}{3}}$.


Example 2. Express $0.\overline{27}$ in the form $\frac{p}{q}$.

Answer:

Let $x = 0.\overline{27}$. The decimal expansion is $x = 0.272727...$

Number of non-repeating digits after the decimal point ($k$) is $0$.

Number of digits in the repeating block ($m$) is $2$ (the block '27').

Step 3 (Equation 1): Since $k=0$, Equation (1) is:

$\quad x = 0.272727...$

... (1)

Step 4 (Equation 2): Multiply Equation (1) by $10^m = 10^2 = 100$:

$\quad 100x = 27.272727...$

... (2)

Step 5 (Subtract): Subtract Equation (1) from Equation (2):

$\quad 100x - x = (27.272727...) - (0.272727...)$

$\quad 99x = 27$

Step 6 (Solve): Solve for $x$:

$\quad x = \frac{27}{99}$

Step 7 (Simplify): Simplify the fraction. GCD of 27 and 99 is 9.

$\quad x = \frac{\cancel{27}^{3}}{\cancel{99}_{11}} = \frac{3}{11}$

So, $0.\overline{27} = \mathbf{\frac{3}{11}}$.


Example 3. Express $0.1\overline{6}$ in the form $\frac{p}{q}$.

Answer:

Let $x = 0.1\overline{6}$. The decimal expansion is $x = 0.1666...$

Number of non-repeating digits after the decimal point ($k$) is $1$ (the digit 1).

Number of digits in the repeating block ($m$) is $1$ (the digit 6).

Step 3 (Equation 1): Multiply the original equation by $10^k = 10^1 = 10$ to move the decimal point just before the repeating block:

$\quad 10x = 1.666...$

... (1)

Step 4 (Equation 2): Multiply Equation (1) by $10^m = 10^1 = 10$ to move one repeating block to the left of the decimal:

$\quad 10 \times (10x) = 10 \times (1.666...)$

$\quad 100x = 16.666...$

... (2)

Step 5 (Subtract): Subtract Equation (1) from Equation (2). Make sure the decimal points and repeating parts align.

$\quad 100x - 10x = (16.666...) - (1.666...)$

$\quad 90x = 15$

Step 6 (Solve): Solve for $x$:

$\quad x = \frac{15}{90}$

Step 7 (Simplify): Simplify the fraction. GCD of 15 and 90 is 15.

$\quad x = \frac{\cancel{15}^{1}}{\cancel{90}_{6}} = \frac{1}{6}$

So, $0.1\overline{6} = \mathbf{\frac{1}{6}}$.


Example 4. Express $2.3\overline{45}$ in the form $\frac{p}{q}$.

Answer:

Let $x = 2.3\overline{45}$. The decimal expansion is $x = 2.3454545...$

Number of non-repeating digits after the decimal point ($k$) is $1$ (the digit 3).

Number of digits in the repeating block ($m$) is $2$ (the block 45).

Step 3 (Equation 1): Multiply the original equation by $10^k = 10^1 = 10$ to move the decimal point just before the repeating block:

$\quad 10x = 23.454545...$

... (1)

Step 4 (Equation 2): Multiply Equation (1) by $10^m = 10^2 = 100$ to move one repeating block to the left of the decimal:

$\quad 100 \times (10x) = 100 \times (23.454545...)$

$\quad 1000x = 2345.454545...$

... (2)

Step 5 (Subtract): Subtract Equation (1) from Equation (2):

$\quad 1000x - 10x = (2345.454545...) - (23.454545...)$

$\quad 990x = 2322$

Step 6 (Solve): Solve for $x$:

$\quad x = \frac{2322}{990}$

Step 7 (Simplify): Simplify the fraction. Both are even, divide by 2: $\frac{2322 \div 2}{990 \div 2} = \frac{1161}{495}$.

Check for divisibility by 3 or 9. Sum of digits of 1161 is $1+1+6+1=9$, divisible by 9. Sum of digits of 495 is $4+9+5=18$, divisible by 9.

Divide by 9: $\frac{1161 \div 9}{495 \div 9} = \frac{129}{55}$.

Check for common factors of 129 and 55. Prime factors of 129 are 3, 43. Prime factors of 55 are 5, 11. No common factors other than 1.

$\quad x = \frac{129}{55}$

So, $2.3\overline{45} = \mathbf{\frac{129}{55}}$.

This algebraic method confirms that any number with a non-terminating repeating decimal expansion is indeed a rational number, as it can be written as a fraction of two integers.



Proofs of Irrationality

A number is classified as irrational if it cannot be expressed in the form $\frac{p}{q}$, where $p$ and $q$ are integers and $q \neq 0$. Proving that a number is irrational thus involves demonstrating that no such fractional representation exists. Because irrationality is defined by the absence of a property (being rational), proofs of irrationality typically employ indirect methods, most notably proof by contradiction.


Proof by Contradiction Method

Proof by contradiction (also known as reductio ad absurdum, meaning "reduction to absurdity") is a fundamental logical technique in mathematics. It is used to prove a statement is true by showing that assuming its negation leads to a logical inconsistency or a contradiction.

The steps involved in a proof by contradiction are:

  1. Clearly state the statement you want to prove. Let's call this statement P. (e.g., P: "The number $\sqrt{2}$ is irrational").
  2. Assume the negation of statement P is true. This is your starting assumption for the contradiction. (e.g., Assume not P: "Assume $\sqrt{2}$ is rational").
  3. Using this assumption, along with established definitions, axioms, proven theorems, and logical rules, derive a sequence of logical consequences.
  4. Continue the derivation until you arrive at a statement that is a contradiction. A contradiction is a statement that is logically impossible or that directly conflicts with known facts, previously proven theorems, or even the initial assumption made in step 2. (e.g., concluding that an integer must be both even and odd, or that a fraction in simplest form has a common factor greater than 1).
  5. Since the logical steps followed from the assumption were valid, the only way a contradiction could arise is if the initial assumption (that not P is true) was false.
  6. Therefore, the initial assumption (not P) is false, which implies that the original statement (P) must be true.

Proof that $\sqrt{2}$ is Irrational

The proof that $\sqrt{2}$ is irrational is a classic example of a proof by contradiction and a foundational result demonstrating the existence of irrational numbers. It was known to the ancient Greek mathematicians.

Example 1. Prove that $\sqrt{2}$ is an irrational number.

Proof:

Statement (P): $\sqrt{2}$ is an irrational number.

Proof by Contradiction:

1. Assumption (not P): Assume, for the sake of contradiction, that $\sqrt{2}$ is a rational number.

2. Consequence of Assumption: If $\sqrt{2}$ is rational, then by the definition of a rational number, it can be written in the form $\frac{p}{q}$, where $p$ and $q$ are integers, $q \neq 0$, and the fraction $\frac{p}{q}$ is in its simplest form (also known as lowest terms). Writing it in simplest form means that $p$ and $q$ have no common factors other than $1$. Mathematically, we can state this as $\text{GCD}(p, q) = 1$.

$\sqrt{2} = \frac{p}{q}$

[Assumption: $\sqrt{2} \in \mathbb{Q}$, $\frac{p}{q}$ in simplest form]

3. Manipulate the equation: Square both sides of the equation to remove the square root.

$(\sqrt{2})^2 = \left(\frac{p}{q}\right)^2$

$2 = \frac{p^2}{q^2}$

Multiply both sides by $q^2$ to clear the denominator:

$\quad 2q^2 = p^2$

... (i)

4. Analyze $p^2$: Equation (i) shows that $p^2$ is equal to $2$ multiplied by the integer $q^2$. By the definition of an even number, this means $p^2$ is an even number.

5. Analyze $p$: Now, consider the implication of $p^2$ being even for the integer $p$. If the square of an integer is even, then the integer itself must be even. We can quickly verify this: If $p$ were odd, it could be written as $p = 2k+1$ for some integer $k$. Squaring this gives $p^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$, which is always odd. Since $p^2$ is not odd (it's even), $p$ cannot be odd. Therefore, $p$ must be even.

6. Express $p$ as $2k$: Since $p$ is an even number, it can be expressed as $2k$ for some integer $k$.

Let $p = 2k \quad \text{for some integer } k$

[Since p is even]

7. Substitute $p$ into equation (i): Substitute the expression $p = 2k$ into equation (i), $2q^2 = p^2$.

$\quad 2q^2 = (2k)^2$

$\quad 2q^2 = 4k^2$

8. Analyze $q^2$: Divide both sides of this equation by $2$:

$\quad q^2 = \frac{4k^2}{2}$

$\quad q^2 = 2k^2$

... (ii)

9. Analyze $q$: Equation (ii) shows that $q^2$ is equal to $2$ multiplied by the integer $k^2$. By the definition of an even number, this means $q^2$ is an even number. Using the same property as before (step 5), if $q^2$ is even, then $q$ must also be an even number.

10. Reach the Contradiction: We have logically derived that both $p$ and $q$ must be even numbers. If both $p$ and $q$ are even, then they are both divisible by $2$. This means that $p$ and $q$ have a common factor of $2$.

This conclusion (that $p$ and $q$ have a common factor of 2) directly contradicts our initial assumption (step 2) that the fraction $\frac{p}{q}$ was in its simplest form, meaning $p$ and $q$ have no common factors other than $1$ ($\text{GCD}(p, q) = 1$).

11. Conclusion: Since the assumption that $\sqrt{2}$ is a rational number leads to a contradiction, the initial assumption must be false. Therefore, the original statement is true: $\sqrt{2}$ is an irrational number.


Proof that $\sqrt{3}$ is Irrational (Generalization for $\sqrt{p}$, p prime)

The proof structure used for $\sqrt{2}$ can be easily adapted to prove the irrationality of the square root of any prime number. The key property is that for a prime number $p$, if $p$ divides the square of an integer ($a^2$), then $p$ must divide the integer itself ($a$).

Example 1. Prove that $\sqrt{3}$ is an irrational number.

Proof:

Statement: $\sqrt{3}$ is an irrational number.

Proof by Contradiction:

1. Assumption: Assume that $\sqrt{3}$ is a rational number. Then $\sqrt{3} = \frac{p}{q}$ for integers $p, q$, with $q \neq 0$ and $\text{GCD}(p, q) = 1$ (simplest form).

$\sqrt{3} = \frac{p}{q}$

[Assumption]

2. Manipulate: Square both sides: $3 = \frac{p^2}{q^2}$. Rearrange: $3q^2 = p^2$.

$\quad 3q^2 = p^2$

... (i)

3. Analyze $p^2$ and $p$: Equation (i) means $p^2$ is a multiple of $3$. Since $3$ is a prime number, the property holds: if $3 | p^2$, then $3 | p$. Thus, $p$ is divisible by $3$.

4. Express $p$: Since $p$ is divisible by $3$, we can write $p = 3k$ for some integer $k$.

Let $p = 3k$

[Since p is divisible by 3]

5. Substitute and Analyze $q^2$ and $q$: Substitute $p = 3k$ into equation (i): $3q^2 = (3k)^2 \implies 3q^2 = 9k^2$. Divide by 3: $q^2 = 3k^2$.

$\quad q^2 = 3k^2$

... (ii)

Equation (ii) means $q^2$ is a multiple of $3$. Since $3$ is a prime number, if $3 | q^2$, then $3 | q$. Thus, $q$ is divisible by $3$.

6. Reach the Contradiction: We have shown that both $p$ and $q$ are divisible by $3$. This means they have a common factor of $3$. This contradicts our initial assumption that $\frac{p}{q}$ was in its simplest form ($\text{GCD}(p, q) = 1$).

7. Conclusion: The assumption that $\sqrt{3}$ is rational leads to a contradiction, so the assumption is false. Therefore, $\sqrt{3}$ is an irrational number.

This proof structure holds for $\sqrt{p}$ where $p$ is any prime number. The property that if a prime $p$ divides $a^2$, it must divide $a$, is derived from the Fundamental Theorem of Arithmetic (Unique Prime Factorization).

For integers $n$ that are not perfect squares but are also not prime (e.g., $\sqrt{6}$, $\sqrt{10}$), the proof is similar but relies more directly on the unique prime factorization. If $\sqrt{n} = p/q$ in simplest form, then $nq^2 = p^2$. Consider the prime factorization of $n$. If $n$ is not a perfect square, at least one prime factor in its factorization must have an odd exponent. When you multiply $n$ by $q^2$, any prime factor in $q^2$ has an even exponent. Thus, in the prime factorization of $nq^2$, any prime factor from $n$ that had an odd exponent will still have an odd exponent. However, $p^2$ must have all prime factors with even exponents. This conflict in the exponents of prime factors between $nq^2$ and $p^2$ (which are equal numbers) leads to a contradiction of the uniqueness of prime factorization, proving $\sqrt{n}$ is irrational if $n$ is not a perfect square.


Proofs for Other Irrational Numbers ($\pi, e$, etc.)

Proving the irrationality of numbers like $\pi$ (Pi) and $e$ (Euler's number) is significantly more complex than for square roots of non-perfect squares. These proofs typically require concepts from calculus, analysis, and advanced number theory.

As mentioned in the classification section, $\pi$ and $e$ are also examples of transcendental numbers, a category of irrational numbers that are not roots of any non-zero polynomial equation with integer coefficients. Proving a number is transcendental is a stronger result than just proving it is irrational, and such proofs are typically very advanced.



Rationalisation of Denominators

Rationalizing the denominator is a process used to remove irrational numbers from the denominator of a fraction. The objective is to rewrite the fraction in an equivalent form where the denominator is a rational number. This practice simplifies expressions, makes calculations easier (especially before the widespread use of calculators), and is a standard way to present final answers in many mathematical contexts.

The process involves multiplying both the numerator and the denominator of the fraction by a carefully chosen term called a rationalizing factor. Since multiplying the numerator and denominator by the same non-zero value is equivalent to multiplying the entire fraction by 1, the value of the original fraction remains unchanged.

$\text{Original Fraction} = \frac{\text{Numerator}}{\text{Irrational Denominator}} = \frac{\text{Numerator}}{\text{Irrational Denominator}} \times \frac{\text{Rationalizing Factor}}{\text{Rationalizing Factor}} = \frac{\text{New Numerator}}{\text{Rational Denominator}}$


Methods Based on Denominator Form

The form of the irrational denominator dictates the choice of the rationalizing factor.

Case 1: The denominator is a single square root term, $\sqrt{a}$

If the denominator is of the form $b\sqrt{a}$ or simply $\sqrt{a}$, where $b$ is rational and $\sqrt{a}$ is irrational (meaning $a$ is a positive number that is not a perfect square of a rational number), the rationalizing factor is $\sqrt{a}$. Multiplying $\sqrt{a}$ by itself results in $a$, which is rational.

General form: $\frac{p}{b\sqrt{a}}$ or $\frac{p}{\sqrt{a}}$

Multiply the numerator and the denominator by $\sqrt{a}$:

$$ \frac{p}{b\sqrt{a}} = \frac{p}{b\sqrt{a}} \times \frac{\sqrt{a}}{\sqrt{a}} = \frac{p\sqrt{a}}{b(\sqrt{a})^2} = \frac{p\sqrt{a}}{ba} $$

(If the denominator is just $\sqrt{a}$, then $b=1$). Since $b$ and $a$ are rational (assuming $a$ was initially rational), their product $ba$ is rational, and thus the denominator is rational.

Example 1. Rationalize the denominator of $\frac{5}{\sqrt{3}}$.

Answer:

The denominator is $\sqrt{3}$. The rationalizing factor is $\sqrt{3}$. Multiply the numerator and denominator by $\sqrt{3}$.

$\quad \frac{5}{\sqrt{3}} = \frac{5}{\sqrt{3}} \times \frac{\sqrt{3}}{\sqrt{3}}$

Multiply the numerators and the denominators:

$\quad = \frac{5 \times \sqrt{3}}{(\sqrt{3})^2} = \frac{5\sqrt{3}}{3}$

The denominator is now $3$, which is a rational number.


Example 2. Rationalize the denominator of $\frac{2\sqrt{3}}{\sqrt{6}}$.

Answer:

The denominator is $\sqrt{6}$. The rationalizing factor is $\sqrt{6}$. Multiply the numerator and denominator by $\sqrt{6}$.

$\quad \frac{2\sqrt{3}}{\sqrt{6}} = \frac{2\sqrt{3}}{\sqrt{6}} \times \frac{\sqrt{6}}{\sqrt{6}}$

Multiply numerators and denominators. Use the property $\sqrt{a}\sqrt{b}=\sqrt{ab}$ in the numerator.

$\quad = \frac{2\sqrt{3 \times 6}}{(\sqrt{6})^2} = \frac{2\sqrt{18}}{6}$

Simplify the radical in the numerator: $\sqrt{18} = \sqrt{9 \times 2} = \sqrt{9} \times \sqrt{2} = 3\sqrt{2}$.

$\quad = \frac{2 \times 3\sqrt{2}}{6} = \frac{6\sqrt{2}}{6}$

Cancel the common factor 6 in the numerator and denominator:

$\quad = \frac{\cancel{6}\sqrt{2}}{\cancel{6}} = \sqrt{2}$

The denominator is now implicitly 1, which is rational.

Alternative Method: Simplify the original fraction first, if possible, then rationalize.

$\quad \frac{2\sqrt{3}}{\sqrt{6}} = 2 \times \frac{\sqrt{3}}{\sqrt{6}}$

Use the property $\frac{\sqrt{a}}{\sqrt{b}} = \sqrt{\frac{a}{b}}$:

$\quad = 2 \times \sqrt{\frac{3}{6}} = 2 \times \sqrt{\frac{1}{2}}$

Use the property $\sqrt{\frac{a}{b}} = \frac{\sqrt{a}}{\sqrt{b}}$:

$\quad = 2 \times \frac{\sqrt{1}}{\sqrt{2}} = 2 \times \frac{1}{\sqrt{2}} = \frac{2}{\sqrt{2}}$

Now rationalize the denominator $\sqrt{2}$ by multiplying by $\frac{\sqrt{2}}{\sqrt{2}}$:

$\quad = \frac{2}{\sqrt{2}} \times \frac{\sqrt{2}}{\sqrt{2}} = \frac{2\sqrt{2}}{(\sqrt{2})^2} = \frac{2\sqrt{2}}{2}$

Cancel the common factor 2:

$\quad = \sqrt{2}$

Both methods yield the same result.

Case 2: The denominator is a binomial involving square roots (e.g., $a \pm \sqrt{b}$ or $\sqrt{a} \pm \sqrt{b}$)

If the denominator is a sum or difference of two terms, at least one of which is an irrational square root (and the overall expression is irrational), the rationalizing factor is the conjugate of the denominator. The conjugate of a binomial $(x+y)$ is $(x-y)$, and the conjugate of $(x-y)$ is $(x+y)$.

The product of a binomial and its conjugate is always a difference of squares: $(x+y)(x-y) = x^2 - y^2$. This is useful because squaring a square root term removes the radical (e.g., $(\sqrt{b})^2 = b$).

To rationalize, multiply the numerator and the denominator by the conjugate of the denominator.

General forms: $\frac{p}{a \pm \sqrt{b}}$ or $\frac{p}{\sqrt{a} \pm \sqrt{b}}$

Example 3. Rationalize the denominator of $\frac{1}{2 + \sqrt{3}}$.

Answer:

The denominator is the binomial $2 + \sqrt{3}$. Its conjugate is $2 - \sqrt{3}$. Multiply the numerator and denominator by $2 - \sqrt{3}$.

$\quad \frac{1}{2 + \sqrt{3}} = \frac{1}{2 + \sqrt{3}} \times \frac{2 - \sqrt{3}}{2 - \sqrt{3}}$

Multiply the numerators and the denominators. Use the identity $(a+b)(a-b) = a^2 - b^2$ in the denominator, with $a=2$ and $b=\sqrt{3}$.

$\quad = \frac{1 \times (2 - \sqrt{3})}{(2 + \sqrt{3})(2 - \sqrt{3})} = \frac{2 - \sqrt{3}}{(2)^2 - (\sqrt{3})^2}$

Calculate the squares and subtract in the denominator:

$\quad = \frac{2 - \sqrt{3}}{4 - 3} = \frac{2 - \sqrt{3}}{1}$

The result is $\mathbf{2 - \sqrt{3}}$. The denominator is now 1, which is a rational number.


Example 4. Rationalize the denominator of $\frac{\sqrt{2}}{\sqrt{6} - \sqrt{3}}$.

Answer:

The denominator is the binomial $\sqrt{6} - \sqrt{3}$. Its conjugate is $\sqrt{6} + \sqrt{3}$. Multiply the numerator and denominator by $\sqrt{6} + \sqrt{3}$.

$\quad \frac{\sqrt{2}}{\sqrt{6} - \sqrt{3}} = \frac{\sqrt{2}}{\sqrt{6} - \sqrt{3}} \times \frac{\sqrt{6} + \sqrt{3}}{\sqrt{6} + \sqrt{3}}$

Multiply the numerators and the denominators. Use the identity $(a-b)(a+b) = a^2 - b^2$ in the denominator, with $a=\sqrt{6}$ and $b=\sqrt{3}$. Use the distributive property in the numerator.

$\quad = \frac{\sqrt{2} \times (\sqrt{6} + \sqrt{3})}{(\sqrt{6})^2 - (\sqrt{3})^2} = \frac{\sqrt{2}\sqrt{6} + \sqrt{2}\sqrt{3}}{6 - 3}$

Simplify the radicals in the numerator: $\sqrt{12} = \sqrt{4 \times 3} = 2\sqrt{3}$ and $\sqrt{6}$. Perform the subtraction in the denominator.

$\quad = \frac{\sqrt{12} + \sqrt{6}}{3} = \frac{2\sqrt{3} + \sqrt{6}}{3}$

The denominator is now $3$, which is a rational number. The expression is $\mathbf{\frac{2\sqrt{3} + \sqrt{6}}{3}}$.

Rationalizing denominators of higher-order roots (like cube roots) or more complex irrational expressions follows the same principle: find a factor to multiply by that will make the denominator rational, often utilizing algebraic identities like those for sums/differences of cubes ($a^3 \pm b^3$) or higher powers.