| 나무위키의 수학상수 | ||||||||||||
| 0 | 1 | i | π | e | √2 | √3 | √5 | φ | γ | B2, B4 | G | δ, α |
목차
수
제곱하면 2가 되는 수. 무리수이다.
한변의 길이가 1인 정사각형의 대각선 길이와 같으며, x2 = 2 라는 방정식의 한 근이다. 피타고라스의 정리 참고.
√2 의 소수점 아래 50자리까지는 1.4142135623 7309504880 1688724209 6980785696 7187537694 ... 이다.
근사값으로 99/70 이 제시되는데, 소수점 4자리까지 맞을 정도로 유사한 값이다.
유클리드(=에우클레이데스) 는 귀류법을 이용하여 √2 가 유리수가 아니라는 것을 증명했다. √2 가 유리수라면 서로소인 정수 a,b 를 이용해서 √2 = a/b 로 표현할 수 있어야 하는데, 양변을 제곱하여 정리하다 보면 그런 수 a,b 가 존재할 수 없다는 결론이 나온다. 즉, 가정이 잘못되었으므로 √2 는 유리수가 아니다. 엄밀한 증명은 다음과 같다.
| 실수의 부분집합 [math]S=\left\{x\in \mathbb{Q} | x^2\lt2\right\}[/math]를 정의하자. 그러면 [math]S[/math]는 공집합이 아니고 위로 유계이므로 상한 [math]c[/math]가 존재한다. 이때 [math]0\ltc\notin S[/math]이므로 [math]c^2\geq 2[/math]이다. 그런데 [math]c^2\gt2[/math]라고 하면 [math]\left(c-\varepsilon\right)^2\gt2[/math]인 양수 [math]\varepsilon[/math]이 존재한다. 그러면 상한의 정의에 의해 [math]c-\varepsilon[/math]은 [math]S[/math]의 상계가 아니므로 [math]c-\varepsilon\ltx[/math]인 양의 유리수 [math]x\in S[/math]가 존재한다. 여기서 [math]2\lt\left(c-\varepsilon\right)^2\ltx^2[/math]가 되어 모순이다. 따라서 [math]c^2=2[/math]이고, [math]\sqrt{2}[/math]가 실수임을 알 수 있다. [math]\sqrt{2}[/math]가 유리수라고 가정하자. 그럼 [math]\displaystyle \sqrt{2} = \frac{a}{b}[/math]를 만족하는 자연수 [math]a, b[/math]가 무수히 많이 존재한다. 집합 [math]A[/math]를 [math]\displaystyle A = \left\{b \in \mathbb{N} \, | \, \exists a \in \mathbb{Z}: \sqrt{2} = \frac{a}{b} \right\}[/math]로 정의하자. 자연수의 well-ordering 원리에 의해 집합 [math]A[/math]에는 가장 작은 원소 [math]b_0[/math]가 존재한다. 그럼 적당한 정수 [math]a_0[/math]에 대해 [math]\displaystyle \sqrt{2} = \frac{a_0}{b_0}[/math]이다. 양변을 제곱하여 정리하면 [math]2b_0^2 = a_0^2[/math]이다. 여기서 만일 [math]a_0[/math]가 홀수라면 좌변은 짝수이고 우변은 홀수이므로 모순. 따라서 [math]a_0[/math]도 짝수여야 한다. 적당한 정수 [math]c[/math]에 대해 [math]a_0 = 2c[/math]라 하고 원래 식에 대입하면 [math]b_0^2 = 2c^2[/math]이고 따라서 [math]b_0[/math]도 짝수이다. 이제 적당한 자연수 [math]n[/math]에 대해서 [math]b_0 = 2n[/math]라 하면 [math]\displaystyle \sqrt{2} =\frac{a_0}{b_0} = \frac{c}{n}[/math]이다. 그런데 [math]n[/math]은 [math]A[/math]의 원소이고 [math]b_0[/math]보다 작다. 이는 [math]b_0[/math]가 가장 작은 원소라는 가정에 모순된다. 따라서 [math]\sqrt{2}[/math]는 유리수가 아니다. |