
- YouTube
www.youtube.com
유리수는 두 정수
반면에 무리수는 유리수로 표현할 수 없는 실수를 의미하죠. 그래서 무리수는 정수와 관련이 없다고 생각하기 쉽습니다.
그러나 도형 문제를 풀다보면 피타고라스 정리에 의해 무리수가 빈번하게 나오지만 그 답은 정수비를 이루거나 도형이 어떤 특정한 위치에서 딱 맞아떨어지는 경우를 심심찮게 볼 수 있습니다. 이는 과연 우연일까요? 아니면 필연일까요?
테오도로스의 나선
테오도로스는 기원 전 5세기에 살았던 고대 그리스의 수학자로, 명확한 증거로 뒷받침되지는 않지만 프로타고라스의 제자이자 플라톤의 수학 선생님이었다고 알려져 있습니다.[^2] 그는 비제곱수의 제곱근이 무리수임을 증명했다고 알려져있죠. 그의 증명방법은 알려져 있지 않지만 피타고라스의 정리를 이용하여 다음과 같이 길이가
이 나선은 높이가
이 나선을 구성하는 과정은 매우 간단하여 무리수와 제곱근의 개념을 탐구하기 좋습니다.
통약가능성(Commensurability)
고대 그리스에서 수학자들은 통약가능성(commensurability) 이라는 개념을 통해 수학을 탐구하고 발전시켰습니다. 두 선분의 길이가 서로 어떤 정수의 배수로 표현될 수 있는지를 나타내는 것으로, 이를 통해 두 선분이 어떤 공통의 단위로 측정될 수 있는지를 알 수 있었습니다.[^4] 이러한 개념은 유리수와 무리수를 구분짓는 데 중요한 역할을 했습니다.
두 개의
이 아닌 실수 와 에 대하여 가 유리수인 경우 어떤 양이 공통 단위의 정수 배수로 표현될 수 있으므로 통약가능(commensurable) 하다고 부릅니다.[^3] 이 개념은 같은 종류의 다른 수량으로 하나의 수량을 전체 수의 비율로 측정할 수 있는 능력에 기반합니다. 기하학의 맥락에서, 특히 선분과 관련하여, 통약가능성는 하나의 선분을 전체 수의 비율로 다른 선분으로 측정할 수 있는 능력을 나타냅니다. 이러한 주제의 역사적 배경으로서 피타고라스 학파의 그리스 철학자 히파수스(Hippassus of Metapontum)의 이야기가 있습니다. 이 이야기에 따르면, 히파수스는 피타고라스의 정리
를 사용하여 단위 정사각형의 대각선의 길이를 찾으려고 했습니다. 그의 노력은 정사각형의 변과 대각선이 통약가능하지 않다는 것을 드러냈으며, 이 길이는 두 정수의 비율로 표현될 수 없다는 것을 보여주었습니다. 이러한 발견은 그 당시에만 유리수가 존재할 수 있다고 믿었던 피타고라스의 신념과 상충했습니다. 히파수스의 통약불가능성 발견을 이해하기 전에, 피타고라스의 수에 대한 깊은 존경심을 이해하는 것이 중요합니다. 그들은 수를 모든 것의 본질로 보았으며, 유리수에 신성하고 철학적인 의미를 부여했습니다. 이러한 신념은 그들의 코스모로지, 윤리학, 영성에 녹아 있었으며, 우주의 모든 것은 유리수를 통해 설명될 수 있음을 주장했습니다. 그러나, 무리수(두 정수의 비율로 표현할 수 없는 수)의 발견은 숫자의 질서있는 세계에서 무의미의 징조로 간주되었습니다. 무리수는 피타고라스의 수학뿐만 아니라 그들의 철학에도 위협을 가했습니다.[^5]
예를 들어 길이가
이처럼 선분의 길이가
반면에
아마 이 비율이 익숙하실 것입니다. 만약
가 됩니다. 양 변에
가 되며, 이를 재배열한 후 근의 공식을 이용하면
두 해를 얻을 수 있습니다.
그리고 이 값은 너무나도 유명한 비율인 황금비이며 무리수입니다.
이처럼 두 예시를 통해 두 선분의 길이가 서로 어떻게 관련되어 있는지(두 선분의 길이가 서로를 측정할 수 있다는 것)를 보는 통약가능성을 통해 무리수의 개념을 엿볼 수 있습니다.
도형에서의 무리수
이 개념을 조금 확장해서
그런데 피타고라스 정리가 알려지지 않았던 시기에는
먼저 길이가
이처럼 정수(유리수)들은 작도를 통해보면 하나의 길이를 다른 길이를 이용해 항상 표현할 수 있습니다. 그렇다면 반대로 무리수는 어떻게 될까요?
앞서 본 테오도로스의 나선을 보면
그런데 여기서 특이한 점이 있습니다. 작은 정사각형을 만드는 두 선과 빗변이 정확히 한 점에서 만나는 것처럼 보이죠. 정말 이 점에서 정확히 만날까요? 만나는지 아닌지 찾는 방법은 대수적 방법을 사용하면 간단합니다.
앞서 작도에서 길이를 정의했듯
이므로,
그렇다면 다음과 같은 식이 성립하므로
간단하게
세 선분이 한 점에서 만난다는 사실을 증명할 수 있죠. 그리고 이렇게 한 점에서 만난다는 별거 아닌 성질이 무리수의 특징을 제일 잘 나타내는 특별한 성질입니다. 왜냐하면 큰 직사각형과 작은 직사각형이 닮음을 이루면서 무리수는 선분이 선분을 나누는 과정이 멈추지 못하고 계속 반복될 수 밖에 없기 때문이죠. 유리수는 통약가능하므로 어느 순간 멈추는 반면 무리수는 프랙탈과 같은 자기유사성에 때문에 (정수만의 비율로)통약가능하지 않았던 것입니다. 그런데 이러한 프랙탈과 같은 성질은 무리수에 대한 다른 시각을 제공합니다. 무리수로 만든 비율이 특정한 지점에서 반복된다는 것을 이용하면 순환하는 무한 소수인 유리수처럼 무리수도 간단하게 표현하는 방법이 있지 않을까요?
연분수(Continued Fraction)
연분수란 다음과 같이 꽤나 독특한 형태의 중첩된 분수를 이용해 수를 표현하는 방법을 말합니다. 일반적으로 실수를 나타낼 때,
예를 들어보죠.
나머지를 이용하여 다음항을 찾기 위해 역수를 취한 후 다시 정수부분을 찾으면 다음과 같이 나타낼 수 있습니다. 이 때 역수의 몫 즉, 정수부분인
이 작업을 계속 반복하여 각 항을 찾으면 다음과 같이
그런데 이러한 표기는 보기 어렵기에 일반적인 연분수 표기법으로 나타내면 다음과 같이 간략하게 나타낼 수 있습니다.
유리수를 연분수로 표현하는 것은 분명히 그 자체로는 복잡해 보일 수 있습니다. 하지만 이렇게 표현함으로써 얻을 수 있는 수학적 통찰이나 계산의 효율성 등은 분명히 있습니다. 예를 들어 두 수
의 연분수 표현: 의 연분수 표현:
그렇다면 무리수는 연분수로 표현하면 어떻게 될까요?
이때,
그리고 계산에 사용했던 값들은 앞서 우리가 도형에서 구했던 길이와 일치하므로 작도를 통해서도 유도할 수 있습니다.
이렇게 무리수의 연분수표현을 이용하면 어떤 장점이 있을까요? 가장 큰 장점은 적당히 연분수를 "절단(Convergent)"하여 원하는 만큼 무리수를 근사할 수 있다는 것입니다. 이러한 방법은 복잡한 무리수를 유리수로 근사할 때, 단순한 정수 연산만을 필요로 하므로 계산이 상대적으로 간편합니다. 그리고 그 구조가 직관적이어서 이해하기도 쉽고 무리수가 어떤 유리수에 가깝다면 다른 방법보다 상대적으로 높은 정확도의 근사값을 얻을 수 있다는 장점도 있죠.
무리수는 정수의 비율로 표현할 수는 없지만 정수의 비율로 얼마든지 가깝게 근사할 수 있는 비율입니다. 연분수를 이용하면 무리수를 정수의 연속적인 비율로 근사할 수 있으며, 이 근사값은 도형의 특정 위치나 비율에 대응될 수 있습니다.(모든 제곱근은 연분수로 나타내면 주기적이라는 것이 증명되어있다.) 이러한 성질때문에 전혀 관계 없어보이던 무리수가 정수비로만 이루어져있던 도형에서 정확히 딱 맞아 떨어졌던 것은 아닐까요?
영상에서 말한 단어 사용에 명확하게 해야할 것들을 알려드립니다.
- 통약가능성
이 영상의 내용은 무리수가 오로지 '정수'만으로 나타낼 수 없다는 의미로써 통약가능성을 설명했습니다. 일반적인 통약가능의 의미로만 본다면 는 로 나누어지므로 와 는 통약가능하다라고 할 수 있습니다. 다만 이 영상에서는 무리수끼리의 통약가능성이 아닌, 정수로의 통약가능성만을 다루고 있습니다. - 무리수
제곱근을 무리수라고 표현하긴 했지만(틀린 표현은 아니지만) 정확히 말해 이 성질들은 무리수 중 '비제곱수의 제곱근'에서만 성립하는 성질입니다. 모든 비제곱수의 제곱근은 연분수로 나타내면 주기적이라는 것이 증명되어 있습니다. 다만 제곱근이 아닌 무리수에 대해서는 연분수로 규칙적으로 나타낼 수는 있지만 주기적이라 할 수 없습니다. 예를들어 π의 연분수 표현을 보시면 규칙적이지만 주기적이지는 않습니다.
[^1]: Theodorus (465 BC - 398 BC) - Biography
[^2]: T L Heath, A History of Greek Mathematics I (Oxford, 1921), 203-204, 209-212
[^3]: commensurability - Mathematics Stack Exchange
[^4]: Commensurability - Wikipedia
[^5]: The Pythagoreans and irrational numbers - Britannica
[^6]: 연분수 (continued fraction)
You know what's cooler than magic? Math.
포스팅이 좋았다면 "좋아요❤️" 또는 "구독👍🏻" 해주세요!