Discussion Overview
The discussion revolves around the proof of the irrationality of √2, specifically focusing on the assumption that the fraction a/b representing √2 is in lowest terms. Participants explore the implications of this assumption and its necessity in the proof by contradiction.
Discussion Character
- Exploratory, Debate/contested, Conceptual clarification
Main Points Raised
- One participant questions the necessity of assuming that a/b is in lowest terms, suggesting that it could have been in a non-reduced form from the beginning.
- Another participant argues that assuming a/b is in lowest terms allows the proof to demonstrate that √2 cannot equal any reduced fraction, implying that it also covers non-reduced fractions.
- A later reply expresses understanding of the argument, indicating that the proof's contradiction shows that √2 cannot be expressed as a fraction at all, thus establishing its irrationality.
Areas of Agreement / Disagreement
Participants express differing views on the necessity and implications of the assumption that a/b is in lowest terms. The discussion remains unresolved regarding the broader applicability of the proof to non-reduced fractions.
Contextual Notes
Participants highlight the assumption that a/b is in lowest terms as a critical point in the proof, but there is no consensus on whether this assumption is necessary or if it limits the proof's applicability.