Decomposition Math Example 4

Follow the full solution, then compare it with the other examples linked below.

Example 4

medium
Decompose the proof that 2+3\sqrt{2} + \sqrt{3} is irrational into logical sub-goals.

Solution

  1. 1
    Sub-goal 1: Assume 2+3=r\sqrt{2}+\sqrt{3} = r is rational. Isolate: 3=rβˆ’2\sqrt{3} = r - \sqrt{2}.
  2. 2
    Sub-goal 2: Square both sides: 3=r2βˆ’2r2+23 = r^2 - 2r\sqrt{2} + 2, so 2r2=r2βˆ’12r\sqrt{2} = r^2-1, giving 2=r2βˆ’12r\sqrt{2} = \frac{r^2-1}{2r}.
  3. 3
    Sub-goal 3: If rr is rational, the right side is rational, so 2\sqrt{2} would be rational β€” contradiction.
  4. 4
    Conclusion: The original assumption is false; 2+3\sqrt{2}+\sqrt{3} is irrational.

Answer

2+3Β isΒ irrational\sqrt{2}+\sqrt{3} \text{ is irrational}
Decomposing a proof into sub-goals makes each step manageable. Here: assume, isolate, square, identify the contradiction β€” each step has a clear purpose.

About Decomposition

The strategy of breaking a complex mathematical object or problem into simpler, independent subproblems that can be solved separately.

Learn more about Decomposition β†’

More Decomposition Examples