Decomposition Math Example 4
Follow the full solution, then compare it with the other examples linked below.
Example 4
mediumDecompose the proof that is irrational into logical sub-goals.
Solution
- 1 Sub-goal 1: Assume is rational. Isolate: .
- 2 Sub-goal 2: Square both sides: , so , giving .
- 3 Sub-goal 3: If is rational, the right side is rational, so would be rational β contradiction.
- 4 Conclusion: The original assumption is false; is irrational.
Answer
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 β