Visual Proof of the Irrationality of Square Root of 2
Loading the math board and drawing, please wait…
① This example provides a geometric and sequence-based visualization of the classic proof that √2 is irrational, demonstrating the contradiction arising from assuming it is rational. ② Core mathematical concepts include irrational numbers, rational numbers, square roots, right triangle hypotenuse lengths, and the method of infinite descent (Fermat's descent). ③ Construction details: Using GeoGebra commands Ray and Sequence, the objects O, P, f, and multiples are created, generating a series of points along rays and iterative geometric figures that reveal the impossible infinite descent in side-length ratios. ④ Suitable for high school and above, this serves as an interactive tool for number theory, proof visualization, and exploring the nature of irrational numbers.
GeoGebra Commands & Parameters
Ray(O, P) → fSequence(Dilate[P, k, O], k, 2, 100) → multiples
AI Drawing Prompt Reference
Draw a ray starting from an origin point, with a series of points marked along it at increasing integer multiples of the initial distance, so they spread progressively farther apart. The points form a sequence along the ray, illustrating an iterative geometric construction. The figure should emphasize the ray and the point sequence, suggesting a visual proof of infinite descent through proportional relationships.
The prompt above was compiled from the original drawing commands and is for reference only.