제곱근 2

그 자체를 곱하면 2를 주는 독특한 양의 실수

제곱근 2 또는 루트 2 또는 2의 양의 제곱근은 자기 자신과 하여 2가 되는 실수이다. 로 표기한다.

2의 제곱근은 자기 자신과 하여 2가 되는 실수이다. 2의 양의 제곱근과 2의 음의 제곱근이 있으며, 로 표기한다.

2의 제곱근은 기약분수로 나타낼 수 없는 무리수이다. 기하학에서는 피타고라스 정리에 따라 한변의 길이가 1정사각형의 대각선의 길이로 나타낼 수 있다. 2의 제곱근에 대한 근삿값으로는 9970이 쓰인다. 이 값은 2의 제곱근 참값과 사이에 오차가 0.00001 로 매우 정확한 편이다. 실제 2의 제곱근의 값은 순환되지 않는 무한 소수소수점이하 65자리까지의 근삿값(OEIS의 수열 A002193)은 다음과 같다.

1.41421 35623 73095 04880 16887 24209 69807 85696 71875 37694 80731 76679 73799

2의 제곱근이 무리수라는 사실은 고대 시기부터 잘 알려져 있었다. 에우클레이데스는 《원론》에서 2의 제곱근이 무리수라는 사실을 귀류법을 통하여 증명하였다.

역사 편집

 
Ybc7289

예일대학교 소장 목록번호 7289인 바빌로니아 점토판에서는 2의 제곱근의 근삿값을 다음과 같이 계산하고 있다.[1]

 

또한 고대 인도의 수학책인 《술바수트라》에서는 2의 제곱근의 근삿값을 다음과 같이 계산하고 있다.[2]

 
 

직각삼각형에서 빗변의 길이를 Z, 다른 변의 길이를 각각 X, Y 라 하면 피타고라스 정리에 따라

 

이고, 따라서

 

가 된다. 이제 왼쪽의 그림과 같이 빗변이 아닌 두 변의 길이가 1인 직각삼각형의 빗변의 길이는 다음과 같이 계산할 수 있다.

 

고대 그리스피타고라스 학파히파소스는 이 계산에서 나타나는 2의 제곱근을 기약분수로 나타낼 수 없다는 사실을 발견하였다.[3] 그런데 피타고라스 학파에서는 자연수와 이의 비로 나타낼 수 있는 기약분수, 즉 유리수 만을 진정한 수로 취급하였기 때문에 무리수의 존재를 인정하는 것은 금기였다. 히파소스는 무리수의 존재를 세상에 알렸다는 이유로 이단으로 취급받았으며, 일설에 의하면 피타고라스 학파에 의해 죽임을 당하였다고 한다. 무리수라는 이름은 피타고라스 학파의 수에 대한 이러한 가치관이 반영된 것이다.[4][주해 1]

헬레니즘 시기 알렉산드리아의 수학자 에우클레이데스(유클리드)는 2의 제곱근이 무리수라는 것을 증명하였다.

계산 편집

다음의 알고리즘을 이용하여 2의 제곱근을 계산할 수 있다.

  (단, a0 > 0 )

위의 식에 a0 = 1 을 대입하고 알고리즘을 실행하면 다음과 같은 결과가 나온다. 순환의 횟수가 많아 질수록 보다 정확한 근삿값을 계산할 수 있다.

  • 3/2 = 1.5
  • 17/12 = 1.416...
  • 577/408 = 1.414215...
  • 665857/470832 = 1.4142135623746...

연분수 편집

다음과 같은 연분수를 사용하여도 2의 제곱근을 계산할 수 있다.

 

위 연분수는 아래와 같은 방식으로 전개된 것이다.[5]

 
 
 
 
 

일반적으로 무리수는 순환되는 연분수로 표현될 수 있다.[5]

무리수 증명 편집

에우클레이데스 편집

에우클레이데스(유클리드)는 《원론》에서 귀류법을 이용하여 2의 제곱근이 무리수라는 것을 증명하였다.[6] 다음은 에우클레이데스의 증명 과정이다.[7][8]

  1. 만약  유리수라고 하면,  를 만족하고 서로소정수   가 존재한다.
  2. 그렇다면 양변을 제곱한 식인  가 성립한다.
  3. 정리하면  이 되고, 우변이 짝수이므로 좌변도 짝수이고, 따라서  도 짝수가 된다.
  4. 그러면  인 정수  가 존재하고, 이 식을 대입하면  이 된다.
  5. 정리하면  이고, 같은 방법으로  는 짝수여야 한다.
  6. 3과 5에서    의 공약수이고, 이것은 처음에 두 수가 서로소라는 조건과 모순된다.
  7. 따라서 처음의 가정이 잘못되었고, 결국  무리수이다.

기하학적 증명 편집

 

오른쪽의 도형을 이용하여 2의 제곱근이 무리수임을 증명할 수 있다. 이 증명은 작도의 원칙에 따라 눈금 없는 곧은 자와 컴퍼스만을 이용한다.[9]

  • 오른쪽 그림과 같이 빗변의 길이가 m 이고 다른 변들의 길이가 n 인 직각삼각형ABC 가 있다고 하자. 이 때  은 다음과 같이 계산될 수 있다.
먼저 피타고라스 정리에 의해  
따라서,  
  • 만약   가 유리수라면 위의   을 약분하여 기약분수로 나타낼 수 있을 것이다.
  • 이제, 점  를 중심으로 하고 반지름이 각각   인 호를 그림과 같이 그려 삼각형  를 그리면 이 삼각형은 삼각형  와 두 변의 길이가 같고 끼인 각이 같으므로 합동임을 알 수 있다.
  • 또한  가 직각이고   ˚이므로, 삼각형   역시 삼각형  닮은 직각삼각형이고 빗변을 제외한 두 변의 길이가 같다. 같은 이유로 삼각형   역시 삼각형  와 닮은 직각삼각형이 된다.
  • 이를 바탕으로 각 변의 길이는 BE = m − n, BF = m − n, DF = m − n, FC = n − (m − n) = 2n − m과 같이 정리되고 삼각형   또는 삼각형  에서 빗변과 다른 변의 비율 역시  가 되므로 다음과 같이 표현할 수 있다.
 
  • 그런데 이렇게 하여 만들어진 삼각형   에서도 위와 같은 방법을 이용하여 더 작은 닮은 직각삼각형의 작도가 가능하므로 위의 식을 한 번 더 전개하면,
 
  • 이와 같이  은 무한히 더 작은 분수로 나타낼 수 있다. 그런데 이는 최초에  을 더 이상 약분될 수 없는 기약분수로 나타낼 수 있을 것이란 전제와 모순된다. 따라서  는 기약분수로 나타낼 수 없는 무리수이다.

주해 편집

  1. 그러나 피타고라스 정리를 일반화 하기 위해선 무리수의 도입이 반드시 필요하고 결국 헬레니즘 시기에 이르러 무리수의 사용은 보편화되었다.

각주 편집

  1. Fowler and Robson, p. 368.
    Photograph, illustration, and description of the root(2) tablet from the Yale Babylonian Collection Archived 2012년 8월 13일 - 웨이백 머신
    High resolution photographs, descriptions, and analysis of the root(2) tablet (YBC 7289) from the Yale Babylonian Collection
  2. Henderson, David W. (2000), "Square roots in the Śulba Sūtras", in Gorini, Catherine A., Geometry At Work: Papers in Applied Geometry, Cambridge University Press, pp. 39–45, ISBN 978-0-88385-164-7.
  3. 존 그리빈, 최주연 역, 과학의 역사 1, 에코리브르, 2005년, ISBN 89-90048-57-5, 46쪽
  4. 사이먼 싱, 박명철 역, 페르마의 마지막 정리, 갈릴레오 총서, ISBN 89-85055-97-6, 77-78쪽
  5. 김정은· 조민경· 최연희, 지도교수 이태훈, 무리수의 소수표현 Archived 2019년 1월 6일 - 웨이백 머신, 《WISE 주니어 과학논문집》 제2권 제3호, 2009년 12월
  6. The edition of the Greek text of the Elements published by E. F. August in Berlin in 1826–1829 already relegates this proof to an Appendix. The same thing occurs with J. L. Heiberg's edition (1883–1888).
  7. Kline, M. (1990). Mathematical Thought from Ancient to Modern Times, Vol. 1. New York: Oxford University Press. (Original work published 1972). p.33.
  8. 사이먼 싱, 박명철 역, 페르마의 마지막 정리, 갈릴레오 총서, ISBN 89-85055-97-6, 378-381쪽
  9. Apostol, Tom M. (2000), "Irrationality of the square root of two – A geometric proof", American Mathematical Monthly 107 (9): 841–842, doi:10.2307/2695741.