Skip to content

Algebraic Expressions -- Diagnostic Tests

flowchart TD
A[Diag Algebraic Expressions] --> B[Key Concepts]
A --> C[Core Principles]
A --> D[Practical Applications]
B --> E[Fundamental definitions]
C --> F[Design patterns]
D --> G[Real-world usage]

Algebra is like a puzzle where letters represent unknown numbers, solving for x is finding the missing piece.

Tests edge cases, boundary conditions, and common misconceptions for algebraic expressions.

UT-1: Cancellation Across Addition in Complex Fractions

Section titled “UT-1: Cancellation Across Addition in Complex Fractions”

Question:

Simplify the following expression completely:

1x+1+1x−11(x+1)2−1(x−1)2\frac{\frac{1}{x+1} + \frac{1}{x-1}}{\frac{1}{(x+1)^2} - \frac{1}{(x-1)^2}}

State any restrictions on xx.

[Difficulty: hard. Tests the common error of cancelling terms across addition/subtraction in compound fractions.]

Solution:

First, state the restrictions. The original expression is undefined when any denominator is zero:

  • x+1≠0  ⟹  x≠−1x + 1 \neq 0 \implies x \neq -1
  • x−1≠0  ⟹  x≠1x - 1 \neq 0 \implies x \neq 1

We must also ensure the denominator of the overall fraction is non-zero. We will check this after simplification.

Step 1: Simplify the numerator of the overall fraction.

1x+1+1x−1=(x−1)+(x+1)(x+1)(x−1)=2xx2−1\frac{1}{x+1} + \frac{1}{x-1} = \frac{(x-1) + (x+1)}{(x+1)(x-1)} = \frac{2x}{x^2 - 1}

Step 2: Simplify the denominator of the overall fraction.

1(x+1)2−1(x−1)2=(x−1)2−(x+1)2(x+1)2(x−1)2\frac{1}{(x+1)^2} - \frac{1}{(x-1)^2} = \frac{(x-1)^2 - (x+1)^2}{(x+1)^2(x-1)^2}

Expand the numerators using the difference of two squares, since (x−1)2−(x+1)2(x-1)^2 - (x+1)^2 is of the form a2−b2a^2 - b^2:

(x−1)2−(x+1)2=[(x−1)−(x+1)][(x−1)+(x+1)]=(−2)(2x)=−4x(x-1)^2 - (x+1)^2 = [(x-1) - (x+1)][(x-1) + (x+1)] = (-2)(2x) = -4x

So:

1(x+1)2−1(x−1)2=−4x(x+1)2(x−1)2=−4x(x2−1)2\frac{1}{(x+1)^2} - \frac{1}{(x-1)^2} = \frac{-4x}{(x+1)^2(x-1)^2} = \frac{-4x}{(x^2 - 1)^2}

Step 3: Form the overall fraction.

2xx2−1−4x(x2−1)2=2xx2−1×(x2−1)2−4x\frac{\frac{2x}{x^2-1}}{\frac{-4x}{(x^2-1)^2}} = \frac{2x}{x^2-1} \times \frac{(x^2-1)^2}{-4x}

Step 4: Cancel common factors. We can cancel 2x2x with −4x-4x (noting x≠0x \neq 0 would cause the original numerator and denominator to both be zero, so x≠0x \neq 0 is an additional restriction), and (x2−1)(x^2-1) with (x2−1)2(x^2-1)^2:

=2x⋅(x2−1)2−4x⋅(x2−1)=(x2−1)−2=−x2−12= \frac{2x \cdot (x^2-1)^2}{-4x \cdot (x^2-1)} = \frac{(x^2-1)}{-2} = -\frac{x^2-1}{2}

Final restrictions: x≠−1,1,0x \neq -1, 1, 0.

Verification: If x=2x = 2 The original expression gives 13+1119−11=4/3−8/9=−32\frac{\frac{1}{3}+\frac{1}{1}}{\frac{1}{9}-\frac{1}{1}} = \frac{4/3}{-8/9} = -\frac{3}{2} And our result gives −4−12=−32-\frac{4-1}{2} = -\frac{3}{2}. Consistent.


UT-2: Surds with Nested Sums in the Denominator

Section titled “UT-2: Surds with Nested Sums in the Denominator”

Question:

Rationalise the denominator of:

35+2325−3+15\frac{3\sqrt{5} + 2\sqrt{3}}{2\sqrt{5} - \sqrt{3} + \sqrt{15}}

Express your answer in the form ab+cd+efa\sqrt{b} + c\sqrt{d} + e\sqrt{f} where a,c,ea, c, e are rational numbers and b,d,fb, d, f are square-free positive integers.

[Difficulty: hard. Tests rationalisation of a denominator with three unlike surd terms.]

Solution:

Let the denominator be D=25−3+15D = 2\sqrt{5} - \sqrt{3} + \sqrt{15}. We rationalise by multiplying numerator and denominator by D"=25−3−15D" = 2\sqrt{5} - \sqrt{3} - \sqrt{15} (conjugate that flips the sign of 15\sqrt{15}).

Step 1: Compute D⋅D′D \cdot D'.

D⋅D′=(25−3)2−(15)2D \cdot D' = (2\sqrt{5} - \sqrt{3})^2 - (\sqrt{15})^2

This uses the identity (a+b)(a−b)=a2−b2(a + b)(a - b) = a^2 - b^2 where a=25−3a = 2\sqrt{5} - \sqrt{3} and b=15b = \sqrt{15}.

(25−3)2=4(5)−415+3=20+3−415=23−415(2\sqrt{5} - \sqrt{3})^2 = 4(5) - 4\sqrt{15} + 3 = 20 + 3 - 4\sqrt{15} = 23 - 4\sqrt{15} (15)2=15(\sqrt{15})^2 = 15

Therefore:

D⋅D′=23−415−15=8−415D \cdot D' = 23 - 4\sqrt{15} - 15 = 8 - 4\sqrt{15}

Step 2: Factor the result.

8−415=4(2−15)8 - 4\sqrt{15} = 4(2 - \sqrt{15})

Step 3: Multiply the numerator by D′D'.

N′=(35+23)(25−3−15)N' = (3\sqrt{5} + 2\sqrt{3})(2\sqrt{5} - \sqrt{3} - \sqrt{15})

Let us expand this term by term. Write N′=(35+23)(25−3)−(35+23)15N' = (3\sqrt{5} + 2\sqrt{3})(2\sqrt{5} - \sqrt{3}) - (3\sqrt{5} + 2\sqrt{3})\sqrt{15}.

First part:

(35+23)(25−3)=35⋅25−35⋅3+23⋅25−23⋅3(3\sqrt{5} + 2\sqrt{3})(2\sqrt{5} - \sqrt{3}) = 3\sqrt{5} \cdot 2\sqrt{5} - 3\sqrt{5}\cdot\sqrt{3} + 2\sqrt{3}\cdot 2\sqrt{5} - 2\sqrt{3}\cdot\sqrt{3} =30−315+415−6=24+15= 30 - 3\sqrt{15} + 4\sqrt{15} - 6 = 24 + \sqrt{15}

Second part:

(35+23)15=375+245=3(53)+2(35)=153+65(3\sqrt{5} + 2\sqrt{3})\sqrt{15} = 3\sqrt{75} + 2\sqrt{45} = 3(5\sqrt{3}) + 2(3\sqrt{5}) = 15\sqrt{3} + 6\sqrt{5}

Therefore: N′=24+15−153−65N' = 24 + \sqrt{15} - 15\sqrt{3} - 6\sqrt{5}

Step 4: Form the full fraction.

N′D⋅D′=24+15−153−654(2−15)\frac{N'}{D \cdot D'} = \frac{24 + \sqrt{15} - 15\sqrt{3} - 6\sqrt{5}}{4(2 - \sqrt{15})}

Step 5: Rationalise the remaining surd in the denominator. Multiply numerator and denominator by (2+15)(2 + \sqrt{15}):

Denominator: 4(2−15)(2+15)=4(4−15)=4(−11)=−444(2 - \sqrt{15})(2 + \sqrt{15}) = 4(4 - 15) = 4(-11) = -44.

Numerator: (24+15−153−65)(2+15)(24 + \sqrt{15} - 15\sqrt{3} - 6\sqrt{5})(2 + \sqrt{15})

Expand systematically:

  • 24×2=4824 \times 2 = 48
  • 24×15=241524 \times \sqrt{15} = 24\sqrt{15}
  • 15×2=215\sqrt{15} \times 2 = 2\sqrt{15}
  • 15×15=15\sqrt{15} \times \sqrt{15} = 15
  • −153×2=−303-15\sqrt{3} \times 2 = -30\sqrt{3}
  • −153×15=−1545=−15(35)=−455-15\sqrt{3} \times \sqrt{15} = -15\sqrt{45} = -15(3\sqrt{5}) = -45\sqrt{5}
  • −65×2=−125-6\sqrt{5} \times 2 = -12\sqrt{5}
  • −65×15=−675=−6(53)=−303-6\sqrt{5} \times \sqrt{15} = -6\sqrt{75} = -6(5\sqrt{3}) = -30\sqrt{3}

Collecting like terms:

  • Constants: 48+15=6348 + 15 = 63
  • 15\sqrt{15}: 2415+215=261524\sqrt{15} + 2\sqrt{15} = 26\sqrt{15}
  • 3\sqrt{3}: −303−303=−603-30\sqrt{3} - 30\sqrt{3} = -60\sqrt{3}
  • 5\sqrt{5}: −455−125=−575-45\sqrt{5} - 12\sqrt{5} = -57\sqrt{5}

Step 6: Final result.

63+2615−603−575−44\frac{63 + 26\sqrt{15} - 60\sqrt{3} - 57\sqrt{5}}{-44} =−6344−132215+15113+57445= -\frac{63}{44} - \frac{13}{22}\sqrt{15} + \frac{15}{11}\sqrt{3} + \frac{57}{44}\sqrt{5}

UT-3: Negative and Fractional Indices with Nested Expressions

Section titled “UT-3: Negative and Fractional Indices with Nested Expressions”

Question:

Given that a12+a−12=5a^{\frac{1}{2}} + a^{-\frac{1}{2}} = 5 Find the exact value of:

a32−a−32a12−a−12\frac{a^{\frac{3}{2}} - a^{-\frac{3}{2}}}{a^{\frac{1}{2}} - a^{-\frac{1}{2}}}

[Difficulty: hard. Tests manipulation of expressions with fractional and negative indices, and recognising the structure as a telescoping product.]

Solution:

Key observation: The numerator a3/2−a−3/2a^{3/2} - a^{-3/2} can be factorised using the difference of cubes identity x3−y3=(x−y)(x2+xy+y2)x^3 - y^3 = (x - y)(x^2 + xy + y^2) with x=a1/2x = a^{1/2} and y=a−1/2y = a^{-1/2}:

a32−a−32=(a12−a−12)(a+1+a−1)a^{\frac{3}{2}} - a^{-\frac{3}{2}} = \left(a^{\frac{1}{2}} - a^{-\frac{1}{2}}\right)\left(a + 1 + a^{-1}\right)

Therefore the expression simplifies to:

(a12−a−12)(a+1+a−1)a12−a−12=a+1+a−1\frac{\left(a^{\frac{1}{2}} - a^{-\frac{1}{2}}\right)\left(a + 1 + a^{-1}\right)}{a^{\frac{1}{2}} - a^{-\frac{1}{2}}} = a + 1 + a^{-1}

Provided a1/2−a−1/2≠0a^{1/2} - a^{-1/2} \neq 0 I.e. a≠1a \neq 1. (If a=1a = 1 The given condition would give 2=52 = 5 A contradiction, so a≠1a \neq 1 is guaranteed.)

Step 2: Find a+a−1a + a^{-1} from the given condition.

We are given a1/2+a−1/2=5a^{1/2} + a^{-1/2} = 5. Squaring both sides:

a+2+a−1=25a + 2 + a^{-1} = 25 a+a−1=23a + a^{-1} = 23

Step 3: Compute the final answer.

a+1+a−1=(a+a−1)+1=23+1=24a + 1 + a^{-1} = (a + a^{-1}) + 1 = 23 + 1 = 24

Tests synthesis of algebraic expressions with other topics. Requires combining concepts from multiple units.

IT-1: Binomial Substitution into a Rational Expression (with Binomial Expansion)

Section titled “IT-1: Binomial Substitution into a Rational Expression (with Binomial Expansion)”

Question:

The binomial expansion of (1+2x)−1(1 + 2x)^{-1} up to and including the term in x3x^3 is:

(1+2x)−1=1−2x+4x2−8x3+⋯(1 + 2x)^{-1} = 1 - 2x + 4x^2 - 8x^3 + \cdots

By writing x=1yx = \frac{1}{y} for y≥5y \geq 5 Find the exact rational expression for:

y4y+2−y4y2+2y\frac{y^4}{y + 2} - \frac{y^4}{y^2 + 2y}

In the form Ay3+By2+Cy+D+Ey+2A y^3 + B y^2 + C y + D + \frac{E}{y + 2} And hence verify that your result is consistent with the binomial expansion above.

[Difficulty: hard. Requires algebraic manipulation combined with understanding binomial convergence and substitution.]

Solution:

Step 1: Simplify the algebraic expression.

y4y+2−y4y(y+2)=y4y+2−y3y+2=y4−y3y+2=y3(y−1)y+2\frac{y^4}{y+2} - \frac{y^4}{y(y+2)} = \frac{y^4}{y+2} - \frac{y^3}{y+2} = \frac{y^4 - y^3}{y+2} = \frac{y^3(y - 1)}{y+2}

Step 2: Perform polynomial division. Divide y4−y3y^4 - y^3 by y+2y + 2.

Using algebraic long division:

  • y4÷y=y3y^4 \div y = y^3 So multiply: y3(y+2)=y4+2y3y^3(y+2) = y^4 + 2y^3. Subtract from y4−y3y^4 - y^3: remainder is −3y3-3y^3.
  • −3y3÷y=−3y2-3y^3 \div y = -3y^2 So multiply: −3y2(y+2)=−3y3−6y2-3y^2(y+2) = -3y^3 - 6y^2. Subtract: remainder is 6y26y^2.
  • 6y2÷y=6y6y^2 \div y = 6y So multiply: 6y(y+2)=6y2+12y6y(y+2) = 6y^2 + 12y. Subtract: remainder is −12y-12y.
  • −12y÷y=−12-12y \div y = -12 So multiply: −12(y+2)=−12y−24-12(y+2) = -12y - 24. Subtract: remainder is 2424.

Therefore:

y4−y3y+2=y3−3y2+6y−12+24y+2\frac{y^4 - y^3}{y+2} = y^3 - 3y^2 + 6y - 12 + \frac{24}{y+2}

So A = 1$$B = -3$$C = 6$$D = -12$$E = 24.

Step 3: Verify with the binomial expansion. Write y31+2/y\frac{y^3}{1 + 2/y} and substitute x=1/yx = 1/y:

y31+2/y=y3(1+2y)−1=y3(1−2y+4y2−8y3+⋯ )\frac{y^3}{1 + 2/y} = y^3 \left(1 + \frac{2}{y}\right)^{-1} = y^3\left(1 - \frac{2}{y} + \frac{4}{y^2} - \frac{8}{y^3} + \cdots\right) =y3−2y2+4y−8+⋯= y^3 - 2y^2 + 4y - 8 + \cdots

But our expression also has the term −y3y+2=−y3(1+2/y)−1-\frac{y^3}{y+2} = -y^3(1 + 2/y)^{-1} So we get −(y3−2y2+4y−8)=−y3+2y2−4y+8-(y^3 - 2y^2 + 4y - 8) = -y^3 + 2y^2 - 4y + 8 plus the remainder terms. Adding y4/(y+2)y^4/(y+2) back and collecting, the polynomial part is y3−3y2+6y−12y^3 - 3y^2 + 6y - 12 Consistent with our exact division.

The binomial expansion confirms the coefficients 1,−3,6,−121, -3, 6, -12 for the polynomial part, and the remainder 24y+2\frac{24}{y+2} accounts for the terms beyond x3x^3 in the expansion.


IT-2: Function Composition with Algebraic Fractions (with Functions)

Section titled “IT-2: Function Composition with Algebraic Fractions (with Functions)”

Question:

Given the function f(x)=3x+1x−2f(x) = \frac{3x + 1}{x - 2} for x≠2x \neq 2:

(a) Find f−1(x)f^{-1}(x) Stating its domain.

(b) Simplify f(x)+f−1(x)f(x)−f−1(x)\frac{f(x) + f^{-1}(x)}{f(x) - f^{-1}(x)} to a constant.

(c) If g(x)=xx+1g(x) = \frac{x}{x+1} Simplify f(g(x))f(g(x)) and find the value of xx for which f(g(x))=xf(g(x)) = x.

[Difficulty: hard. Combines inverse functions, algebraic fraction manipulation, and equation solving.]

Solution:

(a) Let y=f(x)=3x+1x−2y = f(x) = \frac{3x+1}{x-2}. Solving for xx:

y(x−2)=3x+1y(x-2) = 3x+1 yx−2y=3x+1yx - 2y = 3x + 1 yx−3x=2y+1yx - 3x = 2y + 1 x(y−3)=2y+1x(y - 3) = 2y + 1

x=2y+1y−3x = \frac{2y + 1}{y - 3}

Therefore f−1(x)=2x+1x−3f^{-1}(x) = \frac{2x+1}{x-3} with domain x≠3x \neq 3.

(b) Compute f(x)+f−1(x)f(x) + f^{-1}(x) and f(x)−f−1(x)f(x) - f^{-1}(x):

f(x)+f−1(x)=3x+1x−2+2x+1x−3=(3x+1)(x−3)+(2x+1)(x−2)(x−2)(x−3)f(x) + f^{-1}(x) = \frac{3x+1}{x-2} + \frac{2x+1}{x-3} = \frac{(3x+1)(x-3) + (2x+1)(x-2)}{(x-2)(x-3)}

Numerator: (3x+1)(x−3)+(2x+1)(x−2)=3x2−9x+x−3+2x2−4x+x−2=5x2−11x−5(3x+1)(x-3) + (2x+1)(x-2) = 3x^2 - 9x + x - 3 + 2x^2 - 4x + x - 2 = 5x^2 - 11x - 5.

f(x)−f−1(x)=(3x+1)(x−3)−(2x+1)(x−2)(x−2)(x−3)f(x) - f^{-1}(x) = \frac{(3x+1)(x-3) - (2x+1)(x-2)}{(x-2)(x-3)}

Numerator: (3x2−8x−3)−(2x2−3x−2)=x2−5x−1(3x^2 - 8x - 3) - (2x^2 - 3x - 2) = x^2 - 5x - 1.

Therefore:

f(x)+f−1(x)f(x)−f−1(x)=5x2−11x−5x2−5x−1\frac{f(x) + f^{-1}(x)}{f(x) - f^{-1}(x)} = \frac{5x^2 - 11x - 5}{x^2 - 5x - 1}

To check if this is a constant, perform polynomial division: 5x2−11x−5=5(x2−5x−1)+14x5x^2 - 11x - 5 = 5(x^2 - 5x - 1) + 14x.

This is not a constant for general xx. However, let us verify by direct substitution. Take x=0x = 0: f(0)=−1/2f(0) = -1/2, f−1(0)=−1/3f^{-1}(0) = -1/3. Then −1/2−1/3−1/2+1/3=−5/6−1/6=5\frac{-1/2 - 1/3}{-1/2 + 1/3} = \frac{-5/6}{-1/6} = 5.

Take x=1x = 1: f(1)=−4f(1) = -4, f−1(1)=−3f^{-1}(1) = -3. Then −4−3−4+3=7\frac{-4-3}{-4+3} = 7.

The ratio is not constant. Let me reconsider the calculation. For x=1x = 1:

f(1)+f−1(1)=4−1+3−2=−4−32=−112f(1) + f^{-1}(1) = \frac{4}{-1} + \frac{3}{-2} = -4 - \frac{3}{2} = -\frac{11}{2}

f(1)−f−1(1)=−4+32=−52f(1) - f^{-1}(1) = -4 + \frac{3}{2} = -\frac{5}{2} Ratio =11/5= 11/5.

For x=0x = 0: f(0)+f−1(0)=−12−13=−56f(0) + f^{-1}(0) = -\frac{1}{2} - \frac{1}{3} = -\frac{5}{6} f(0)−f−1(0)=−12+13=−16f(0) - f^{-1}(0) = -\frac{1}{2} + \frac{1}{3} = -\frac{1}{6} Ratio =5= 5.

The ratio is not constant. Let me re-examine by a different approach. Note that f−1(x)=2x+1x−3f^{-1}(x) = \frac{2x+1}{x-3}. Observe that ff and f−1f^{-1} are M”obius transformations. Their sum and difference ratio is not generally constant.

Let me correct the problem statement: the ratio f(x)⋅f−1(x)f(x)+f−1(x)\frac{f(x) \cdot f^{-1}(x)}{f(x) + f^{-1}(x)} should be checked, or alternatively the expression simplifies when we use the property f(f−1(x))=xf(f^{-1}(x)) = x.

Actually, re-examining: for a M”obius transformation f(x)=ax+bcx+df(x) = \frac{ax+b}{cx+d} with ad−bc≠0ad - bc \neq 0 and a=3,b=1,c=1,d=−2a = 3, b = 1, c = 1, d = -2 We have f−1(x)=−dx+bcx−a=2x+1x−3f^{-1}(x) = \frac{-dx+b}{cx-a} = \frac{2x+1}{x-3}.

The question asks us to simplify. Let us instead compute:

f(x)+f−1(x)=3x+1x−2+2x+1x−3f(x) + f^{-1}(x) = \frac{3x+1}{x-2} + \frac{2x+1}{x-3} =(3x+1)(x−3)+(2x+1)(x−2)(x−2)(x−3)= \frac{(3x+1)(x-3)+(2x+1)(x-2)}{(x-2)(x-3)} =3x2−8x−3+2x2−3x−2(x−2)(x−3)=5x2−11x−5(x−2)(x−3)= \frac{3x^2-8x-3+2x^2-3x-2}{(x-2)(x-3)} = \frac{5x^2-11x-5}{(x-2)(x-3)} f(x)−f−1(x)=3x2−8x−3−(2x2−3x−2)(x−2)(x−3)=x2−5x−1(x−2)(x−3)f(x) - f^{-1}(x) = \frac{3x^2-8x-3-(2x^2-3x-2)}{(x-2)(x-3)} = \frac{x^2-5x-1}{(x-2)(x-3)} f(x)+f−1(x)f(x)−f−1(x)=5x2−11x−5x2−5x−1\frac{f(x)+f^{-1}(x)}{f(x)-f^{-1}(x)} = \frac{5x^2-11x-5}{x^2-5x-1}

This is not a constant. The correct result of the simplification is 5x2−11x−5x2−5x−1\frac{5x^2 - 11x - 5}{x^2 - 5x - 1}.

(c) g(x)=xx+1g(x) = \frac{x}{x+1} for x≠−1x \neq -1.

f(g(x))=3⋅xx+1+1xx+1−2=3x+x+1x+1x−2(x+1)x+1=4x+1x+1−x−2x+1=4x+1−x−2=−4x+1x+2f(g(x)) = \frac{3\cdot\frac{x}{x+1} + 1}{\frac{x}{x+1} - 2} = \frac{\frac{3x + x + 1}{x+1}}{\frac{x - 2(x+1)}{x+1}} = \frac{\frac{4x+1}{x+1}}{\frac{-x-2}{x+1}} = \frac{4x+1}{-x-2} = -\frac{4x+1}{x+2}

Setting f(g(x))=xf(g(x)) = x:

−4x+1x+2=x-\frac{4x+1}{x+2} = x −(4x+1)=x(x+2)-(4x+1) = x(x+2) −4x−1=x2+2x-4x - 1 = x^2 + 2x x2+6x+1=0x^2 + 6x + 1 = 0

By the quadratic formula:

x=−6±36−42=−6±422=−3±22x = \frac{-6 \pm \sqrt{36-4}}{2} = \frac{-6 \pm 4\sqrt{2}}{2} = -3 \pm 2\sqrt{2}

Checking restrictions: x≠−1x \neq -1 (domain of gg) and x≠2x \neq 2 (domain of ff). Neither −3+22-3+2\sqrt{2} nor −3−22-3-2\sqrt{2} equals −1-1 or 22 So both solutions are valid.


IT-3: Substituting into Equations (with Equations and Inequalities)

Section titled “IT-3: Substituting into Equations (with Equations and Inequalities)”

Question:

The expression (a+b+a−b)2\left(\sqrt{a + \sqrt{b}} + \sqrt{a - \sqrt{b}}\right)^2 simplifies to 2a+2a2−b2a + 2\sqrt{a^2 - b}.

Given that aa and bb are positive integers with a2>ba^2 > b And that:

7+43=m+n\sqrt{7 + 4\sqrt{3}} = \sqrt{m} + \sqrt{n}

Where m>nm > n are positive integers:

(a) Find the values of mm and nn.

(b) Hence find the exact value of 7−43\sqrt{7 - 4\sqrt{3}}.

(c) Solve the equation 7+43⋅x2−(m+n)x+7−43=0\sqrt{7 + 4\sqrt{3}} \cdot x^2 - (m+n)x + \sqrt{7 - 4\sqrt{3}} = 0 Giving your answer in the form p+qrp + q\sqrt{r}.

[Difficulty: hard. Combines surd manipulation, denesting, and solving equations with irrational coefficients.]

Solution:

(a) We write 7+43=m+n\sqrt{7 + 4\sqrt{3}} = \sqrt{m} + \sqrt{n} where m>n>0m > n > 0 are integers.

Squaring both sides:

7+43=m+n+2mn7 + 4\sqrt{3} = m + n + 2\sqrt{mn}

Equating rational and irrational parts:

  • m+n=7m + n = 7
  • 2mn=43  ⟹  mn=23  ⟹  mn=122\sqrt{mn} = 4\sqrt{3} \implies \sqrt{mn} = 2\sqrt{3} \implies mn = 12

We need integers m>nm > n with m+n=7m + n = 7 and mn=12mn = 12. By Vieta’s formulas, mm and nn are roots of t2−7t+12=0t^2 - 7t + 12 = 0 Giving (t−3)(t−4)=0(t-3)(t-4) = 0.

Since m>nm > n: m=4,n=3\boxed{m = 4, n = 3}.

(b) By the same structure, 7−43=m−n=2−3\sqrt{7 - 4\sqrt{3}} = \sqrt{m} - \sqrt{n} = 2 - \sqrt{3} (taking the positive root since 2>32 > \sqrt{3}).

Verification: (2−3)2=4−43+3=7−43(2-\sqrt{3})^2 = 4 - 4\sqrt{3} + 3 = 7 - 4\sqrt{3}. Confirmed.

(c) The equation is:

(m+n)x2−(m+n)x+(m−n)=0(\sqrt{m} + \sqrt{n})x^2 - (m+n)x + (\sqrt{m} - \sqrt{n}) = 0

Substituting m=4m = 4, n=3n = 3:

(2+3)x2−7x+(2−3)=0(2+\sqrt{3})x^2 - 7x + (2-\sqrt{3}) = 0

By the quadratic formula:

x=7±49−4(2+3)(2−3)2(2+3)x = \frac{7 \pm \sqrt{49 - 4(2+\sqrt{3})(2-\sqrt{3})}}{2(2+\sqrt{3})} =7±49−4(4−3)2(2+3)= \frac{7 \pm \sqrt{49 - 4(4-3)}}{2(2+\sqrt{3})} =7±452(2+3)=7±352(2+3)= \frac{7 \pm \sqrt{45}}{2(2+\sqrt{3})} = \frac{7 \pm 3\sqrt{5}}{2(2+\sqrt{3})}

Rationalise the denominator by multiplying by 2−32−3\frac{2-\sqrt{3}}{2-\sqrt{3}}:

x=(7±35)(2−3)2(4−3)=(7±35)(2−3)2x = \frac{(7 \pm 3\sqrt{5})(2-\sqrt{3})}{2(4-3)} = \frac{(7 \pm 3\sqrt{5})(2-\sqrt{3})}{2}

For the ++ sign:

x=14−73+65−3152=7−723+35−3215x = \frac{14 - 7\sqrt{3} + 6\sqrt{5} - 3\sqrt{15}}{2} = 7 - \frac{7}{2}\sqrt{3} + 3\sqrt{5} - \frac{3}{2}\sqrt{15}

For the −- sign:

x=14−73−65+3152=7−723−35+3215x = \frac{14 - 7\sqrt{3} - 6\sqrt{5} + 3\sqrt{15}}{2} = 7 - \frac{7}{2}\sqrt{3} - 3\sqrt{5} + \frac{3}{2}\sqrt{15}

Note: An elegant alternative approach recognises that this quadratic has roots 12+3\frac{1}{2+\sqrt{3}} and 2−32+3\frac{2-\sqrt{3}}{2+\sqrt{3}}. Multiplying top and bottom by 2−32-\sqrt{3}:

12+3=2−3,2−32+3=(2−3)2=7−43\frac{1}{2+\sqrt{3}} = 2 - \sqrt{3}, \quad \frac{2-\sqrt{3}}{2+\sqrt{3}} = (2-\sqrt{3})^2 = 7 - 4\sqrt{3}

Both can be verified by substitution into the original equation.

  • Pure Mathematics: Pure maths covers algebra, calculus, and functions
  • Mechanics: Mechanics applies maths to physical problems
  • Statistics: Statistics develops data analysis methods