### Be Reasonable

Prove that sqrt2, sqrt3 and sqrt5 cannot be terms of ANY arithmetic progression.

### The Root Cause

Prove that if a is a natural number and the square root of a is rational, then it is a square number (an integer n^2 for some integer n.)

### Good Approximations

Solve quadratic equations and use continued fractions to find rational approximations to irrational numbers.

# Proof Sorter - the Square Root of 2 Is Irrational

##### Stage: 5 Challenge Level:

Full screen version

This text is usually replaced by the Flash movie.
This method of proof can easily be generalised to prove that $\sqrt n$ is irrational when $n$ is not a square number .

What is the length of the diagonal of a square with sides of length 2?
How do we find the value of $\sqrt 2$?
What number has 2 as its square?
What is the side of a square which has area 2?

Now $(1.4)^2=1.96$, so the number $\sqrt 2$ is roughly $1.4$. To get a better approximation divide $2$ by $1.4$ giving about $1.428$, and take the average of $1.4$ and $1.428$ to get $1.414$. Repeating this process, $2\div 1.414 \approx 1.41443$ so $2\approx 1.414 \times 1.41443$, and the average of these gives the next approximation $1.414215$. We can continue this process indefinitely getting better approximations but never finding the square root exactly.

If $\sqrt 2$ were a rational number, that is if it could be written as a fraction $p/q$ where $p$ and $q$ are integers, then we could find the exact value. The proof sorter shows that this number is IRRATIONAL so we cannot find an exact value.

The NRICH Project aims to enrich the mathematical experiences of all learners. To support this aim, members of the NRICH team work in a wide range of capacities, including providing professional development for teachers wishing to embed rich mathematical tasks into everyday classroom practice. More information on many of our other activities can be found here.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9241556525230408, "perplexity_flag": "head"}