무리수

덤프버전 :

1. 수학 용어(無理數)
1.1. 개요
1.2. 관련 개념
1.3. 성질
1.4. 무리수임을 증명하기
1.5. 피타고라스와 히파소스의 √2에 얽힌 일화
1.6. '무리수'는 오역인가?
1.7. 기타
2. 바둑 용어
3. 유행어(無理手)


1. 수학 용어(無理數)[편집]



1.1. 개요[편집]


[[대수학|대수학

Algebra
]]

틀 색상에 대한 토론이 진행중입니다. #
[ 펼치기 · 접기 ]
이론
기본 대상
연산 · 항등식(가비의 이 · 곱셈 공식(통분 · 약분) · 인수분해) · 부등식(절대부등식) · 방정식(풀이 · (무연근 · 허근 · 비에트의 정리(근과 계수의 관계) · 제곱근(이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술(시계 산술)
수 체계
자연수(소수) · 정수(음수) · 유리수 · 실수(무리수(초월수) · 초실수) · 복소수(허수) · 사원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요 토픽
대수적 구조
군(group)
대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring)
아이디얼
체(field)
갈루아 이론 · 분해체
대수
가환대수 · 리 대수 · 불 대수(크로네커 델타)
마그마·반군·모노이드
자유 모노이드 · 가환 모노이드
선형대수학
벡터 · 행렬 · 텐서(텐서곱) · 벡터 공간(선형사상) · 가군(Module) · 내적 공간(그람-슈미트 과정 · 수반 연산자)
정리·추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
관련 하위 분야
범주론
함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 층 이론(층들) · 토포스 이론 · 타입 이론
대수기하학
대수다양체 · 스킴 · 사슬 복합체(에탈 코호몰로지) · 모티브
대수적 정수론
타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학
스펙트럼 정리
표현론
실베스터 행렬
기타 및 관련 문서
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재



수 체계

[ 펼치기 · 접기 ]
사원수 [math(\mathbb H)]
↑ 확장 ↑
복소수 [math(\mathbb C)]
대수적 폐포, 행렬 표현, 순서쌍 구성 등 ↑
[[허수|{{{#000,#FFF 허수 [math(\mathbb{C}
\setminus \mathbb{R})]}}}]]
실수 [math(\mathbb R)]
완비화, 데데킨트 절단 등 ↑
무리수 [math(\mathbb{R} \setminus \mathbb{Q})]
유리수 [math(\mathbb Q)]
곱셈의 역원
정수가 아닌 유리수 [math(\mathbb{Q} \setminus \mathbb{Z})]
정수 [math(\mathbb Z)]
덧셈의 역원
음의 정수 [math(\mathbb{Z} \setminus \mathbb{N})]
범자연수 [math(\mathbb N_0)]
↑ 자연수의 집합론적 구성 ↑
[math(0)]
소수 [math(\mathbb P)] · 초실수 [math(\mathbb R^{\ast})] · 대수적 수 [math(\mathbb A)] · 초월수 [math(\complement {\mathbb A})] · 벡터 공간 [math(\mathbb V)]



/ irrational number

수학에서 유리수가 아닌 실수(집합 표현으로 [math(\mathbb R \setminus \mathbb Q)] 또는 [math(\mathbb I)]), 즉 [math(0)]이 아닌 정수비로 나타낼 수 없는 를 가리키는 말이다. 따라서, 무리수는 두 정수 [math(p)], [math(q)][math((q \ne 0))]에 대하여 [math(\dfrac pq)] 의 형태로 나타낼 수 없다.

수 체계에서 유일하게 완전한 이해를 위해선 무한이라는 개념이 반드시 필요한 수이다.

허수와는 다르며, 무리수이면서 동시에 허수인 경우는 없다. 다만 허수 없이는 표기할 수 없는 무리수는 있다(환원 불능).


1.2. 관련 개념[편집]


유한 개 항의 정수 다항식의 근이 되는 대수적 무리수와 그렇지 않은 초월수가 있다. 예를 들어, 무리수 [math(\sqrt 2)]는 정수 다항식 [math(x^2 -2=0)]의 근이 되므로 대수적이지만, 원주율 [math(\pi =3.141592 \cdots\cdots)]와 자연로그의 밑 [math(e = 2.71828 \cdots\cdots)]는 이러한 방정식이 존재하지 않는 대표적인 초월수이다. 참고로 유리수 [math(\dfrac pq)] [math((q \ne 0))]는 방정식 [math(qx - p = 0)]의 해이므로 항상 대수적 수다. 즉, 유리수는 절대로 초월수가 될 수 없으며, 실수인 초월수는 항상 무리수다.

확장으로 무리함수라는 것도 있다. 다항식에 제곱근이 들어가 있는 형태로, 무리함수를 적분하는 것은 치환적분을 동원해야 할 정도로 악랄하다. 무리방정식은 제곱근 안에 미지수가 들어가 있는 것을 가리킨다.


1.2.1. 환원 불능[편집]


파일:나무위키상세내용.png   자세한 내용은 환원 불능 문서를 참고하십시오.

무리수 가운데 허수단위 [math(i)]를 이용해야만 표기할 수 있는 무리수이다.

1.3. 성질[편집]


허수와 마찬가지로 무리수의 집합은 사칙연산 모두에 대해서 닫혀 있지 않다. 심지어 항등원조차 존재하지 않는다. 단 여기서 주의할 점은 무리수의 집합이라는 것이다. 상위 집합인 실수로 올라갈 경우 실수의 항등원은 당연히 존재한다. [math(\sqrt 2+0 = \sqrt 2)], [math(\sqrt 2 \times 1 = \sqrt 2)]가 거짓이냐며 따지지 말자.
  • 무리수의 집합에는 덧셈의 항등원이 없다. [math(0)] 은 유리수이다.
  • 무리수의 집합에는 곱셈의 항등원이 없다. [math(1)] 은 유리수이다.
  • 무리수의 집합은 덧셈에 대해서 닫혀 있지 않다. [math(\sqrt 2 + \left(-\sqrt 2\right) = 0)]
  • 무리수의 집합은 뺄셈에 대해서 닫혀 있지 않다. [math(\sqrt 2 - \sqrt 2 = 0)]
  • 무리수의 집합은 곱셈에 대해서 닫혀 있지 않다. [math(\sqrt 2 \times \sqrt 2 = 2)]
  • 무리수의 집합은 나눗셈에 대해서 닫혀 있지 않다. [math(\sqrt 2 \div \sqrt 2 = 1)]

모든 유리수는 유한소수이거나 순환소수이고, 그 역도 성립하므로 무리수의 소수표현은 항상 비순환소수가 된다. 역으로 비순환소수는 무리수이지만, 소수점 아래의 자릿수가 무한대이기 때문에 비순환소수인지를 엄밀하게 밝힐 수 없어 이 성질로 무리수인지를 판별하는 건 사실상 불가능하다.


1.4. 무리수임을 증명하기[편집]


[math(\sqrt 2)]가 무리수임을 증명하는 방법이 있다. 이 증명은 유클리드의 원론 13권에 나오는 유구한 증명이다. 단, 기존의 수학 이론을 집대성하려는 목적으로 쓰여진 원론이라는 책의 특성상 유클리드가 발견한 방법일 가능성은 낮다.

1. [math(\sqrt 2)]를 무리수가 아닌 유리수라 가정하고, [math(\sqrt 2 = \dfrac pq)]로 놓는다. 이 때 [math(p)]와 [math(q)]는 서로소인 정수이다.

1. 양변을 제곱하여 [math(p^2 = 2q^2)]로 만든다.

1. [math(p^2=2q^2)]이므로 [math(p^2)]은 짝수이며, 따라서 [math(p)]도 짝수다. [math(p = 2k)]로 놓고, 위의 식에 대입한다.

1. [math(4k^2 = 2q^2)]에서 [math(q^2 = 2k^2)]이며 같은 논리로 [math(q)] 역시 짝수다. [math(p)]와 [math(q)]가 모두 짝수면 서로소라는 가정에 모순된다. 가정에 모순이 발생했으므로 가정은 거짓이며 [math(\sqrt 2)]는 유리수가 아니다.

이 문제가 서울대학교 대학별고사에서 맨 처음 나왔을 때는 전국적인 관광 플레이를 선사했다. 시간이 지난 지금은 해법이 잘 알려져있다.

참고로 [math(n \ge 3)]인 정수에 대해 [math(2)]의 [math(n)]제곱근 [math(\sqrt[n] 2)]이 무리수인 것을 증명하는 것은 위의 방법과 같다. 서로소인 정수 [math(p)], [math(q)]에 대해 [math(\sqrt[n] 2 = \dfrac p q)]라 가정하고 양변을 [math(n)]제곱하면 [math(2 = \dfrac{p^n}{q^n} \Leftrightarrow 2q^n = p^n)]이므로 [math(p)]는 짝수, [math(p = 2k)]로 놓은 다음 [math(2q^n = 2^n k^n)], [math(q^n = 2^{n-1} k^n)]이므로 [math(q)]가 짝수, [math(p)], [math(q)]는 서로소라는 가정에 모순. 따라서 [math(\sqrt[n] 2)]는 무리수.

그리고 자연수의 [math(n)]제곱근의 실수해는 정수가 아닌 유리수인 경우가 존재하지 않는다. 증명법은 동치 명제인 정수가 아닌 유리수의 자연수 제곱이 자연수가 될 수 없다는 것을 증명하는 방법이다. 이것은 정수가 아닌 유리수를 기약분수로 나타낸 후 분자와 분모를 소인수분해하면 지수법칙만으로도 간단하게 증명할 수 있다.[1]

그렇지만 무리수인지 유리수인지 증명되지 않은 실수도 있다. 예를 들어 [math(\pi)]와 [math(e)]는 무리수 임이 증명되었지만, 이 두수의 합 또는 차인 [math(\pi+e)]나 [math(\pi-e)]는 무리수인지 아닌지 증명되지 않았다. 다만 둘 중 적어도 하나가 무리수라는 사실은 알 수 있다.[2] 이는 유리수에서 실수로 확장하는 과정이 연산의 자유화를 위한 대수적인 확대(extension)가 아니라 수를 빼곡히 채워 넣고자 하는데서 온 완비화(completion)의 과정이기 때문이다.[3] 연산과는 영 관련없는 방식으로 추가되었기 때문에 연산과의 관계를 알아내기가 정말 정말 어렵다.[4]

원주율 [math(\pi)]가 무리수임은 1761년에 람베르트[5]에 의해 처음 증명되었다.


1.5. 피타고라스와 히파소스의 √2에 얽힌 일화[편집]


유리수만을 수로 생각한 피타고라스는 한 변의 길이가 [math(1)]인 정사각형의 대각선의 무리수 길이 [math(\sqrt 2)]를 수로 인정하지 않고 비밀로 부쳤으나 히파소스가 그 비밀을 대중 앞에서 폭로하자 히파소스를 암살했다는 일화가 있다.[6] 또는 히파소스 자신이 신념에 어긋나는 발견을 한 것에 상심하여 자살했다는 설도. 반대로 무리수를 발견하고 기쁜 마음에 감사의 제물을 바쳤다는 주장도 있다. 하여튼 무리수의 발견으로 그리스의 수학은 수론 연구에서 기하학 연구로 전환했다고 한다.


1.6. '무리수'는 오역인가?[편집]


'무리수'라는 명칭은 잘못된 번역이라는 주장이 있다.

이 단어는 일본 수학계에서 무리수의 영어 명칭인 'irrational number'를 사전적인 의미[7] 그대로 번역한 無理数가 중역되어 대한민국으로 넘어온 것인데, 단순히 사전적인 의미에 의존하여 번역하는 것은 잘못된 것이고 'ir[8]-ratio[9]-nal'로 나누어 번역해 '무비수'라고 해야 한다는 것이 이쪽의 주장. 심지어 일본 수학계에서조차 無理数라는 용어에 어감적으로 '억지스러운(無理な) 수'라는 인상이 있어 무비수(無比数)로 개정할 필요가 있다는 목소리가 꾸준히 제기[10]되어오고 있다. 무리수란 비(분수꼴)로 나타낼 수 없는 수를 뜻하므로 이쪽도 일리있는 주장이다. 유리수도 똑같은 이유로 '유비수'라고 해야 한다는 것.

다만 서구에서 작명된 역사를 따르면 '무리수'라는 명칭이 완전히 오역인 것은 아니다. 영어 irrational의 어원인 라틴어 irratiōnālis의 역사에서 더 명확히 드러나는데, 고대 그리스 시대에 아리스토텔레스가 [math(\displaystyle \sqrt 2)]는 비로 나타낼 수 없음(incommensurable)을 증명하고 이를 'irratiōnālis'(도리에 어긋난, 비합리적인)이라고 한 것이 최초이기 때문이다.[11] 즉, 아리스토텔레스 시기에 'irratiōnālis'에는 '비로 나타낼 수 없는'이라는 뜻이 없었다. 나중에 피타고라스 학파 출신 아르키타스(Archytas)의 제자 에우독소스(Eudoxus)[12]irratiōnālis라는 단어에 '비로 나타낼 수 없는'이라는 뜻을 재정립[13]한 것이다.출처 이와 더불어 라틴어 ratiō, ratiōnālis에도 '비'와 관련된 의미가 추가되긴 했지만 학문적 필요성에 의해 재정립된 의미이다보니 중세 시대까지도 라틴어 화자들은 '비'를 의미하는 단어로서 ratiō를 쓰지 않고 prōportiō[14]를 썼었다.

사족이지만 영어 ratio, rational, irrational 중 수학 용어로서 역사적으로 가장 먼저 등장[15]한 단어는 ratio가 아니고 irrational이다.[16] 영국의 수학자이자 의사인 로버트 레코드[17]가 그의 저서 《지혜로의 길》(The Pathway of Knowledge, 1551)에서 처음으로 이 단어를 썼고[18], 후에 에우클레이데스의 원론을 헨리 빌링슬리(Sir Henry Billingsley)가 최초로 번역(1570)할 때 로버트 레코드가 쓴 어휘를 참고하여 rational[19]을 썼으며, 마지막으로 아이작 배로(Isaac Barrow)가 번역(1660)할 때 ratio를 썼다. 즉, 수학 용어로서는 irrational → rational → ratio 순으로 의미가 재정의된 셈. 참고로 수학 외 분야에서는 rational('합리적인', 1398) → irrational('비합리적인', 1470) → ratio('판결이유'[20], 1636)순으로 등장했다.

그렇게 처음 단어가 만들어졌을 당시에는 '합리성'의 여부에 따라 단어가 만들어진 것이었으나, 이는 무리수를 수로 인정하지 않던 시대의 발상이기 때문에 오늘날의 수학계의 패러다임에서는 받아들이기 어렵다. 특히나 수학 용어에서는 지금 현재 나타내는 의미를 정확하게 나타내는 것이 더 중요하므로, '비'로 재편된 수학적 의미를 따라 번역하는 것이 더 적절할 수 있다.


1.7. 기타[편집]


무리수와 관련된 현재 최고(最古)의 문헌은 기원전 1800~1600년 사이에 제작된 것으로 추정되는 메소포타미아의 점토판으로, [math(30 \sqrt 2 \fallingdotseq 42.42641)]를 [math(42;25,35_{(60)} = 42+\dfrac{25}{60}+\dfrac{35}{60^2} \fallingdotseq 42.42639)]로 계산하였다.

이밖에 영미식 단위 일부도 초월수다.





2. 바둑 용어[편집]


바둑 용어로, 바둑의 이치에 어긋나는 수, 무리하여 둔 수를 의미한다. 간혹 1에서 파생된 것으로 착각하는 사람도 있다.


3. 유행어(無理手)[편집]



파일:무한도전 로고.svg



[ 멤버 ]
종영 당시 멤버
박명수 [[박명수/무한도전|

/무한도전
]] | 정준하 [[정준하/무한도전|

/무한도전
]] | 유재석 [[유재석/무한도전|

/무한도전
]] | 하하 [[하하(가수)/무한도전|

/무한도전
]] | 조세호 [[조세호/무한도전|

/무한도전
]] | 양세형 [[양세형/무한도전|

/무한도전
]]
이전 멤버
전진 [[전진(신화)/무한도전|

/무한도전
]] | [[길(가수)/무한도전|

/무한도전
]] | 노홍철 [[노홍철/무한도전|

/무한도전
]] | 정형돈 [[정형돈/무한도전|

/무한도전
]] | 황광희 [[황광희/무한도전|

/무한도전
]]
기타 관련 인물
문서가 없는 정규편성 이전 멤버는 무한도전/멤버 문서 참조
김태호여운혁제영재김란주기타 출연진제작진표영호 [[표영호/무한도전|

/무한도전
]] | 김성수 [[김성수(쿨)/무한도전|{{{#!wiki style="display: inline; padding: 2px 3px; border-radius: 3px; background: #BF7C7C; font-size: .7em"
/무한도전]] | 이윤석 [[이윤석/무한도전|{{{#!wiki style="display: inline; padding: 2px 3px; border-radius: 3px; background: #8AB2C5; font-size: 0.7em"
/무한도전]]
}}}

[ 프로그램 구성 ]

[ 캐릭터 · 밈 ]




파일:external/www.hoons.net/1292983088_murisu.jpg
무한도전에서 의 별명으로 지상파를 타며 유행어로 유명해진 단어로 길이 합류 초기 막무가내로 드립을 날린 것에 대해 무리수를 둔다는 뜻으로 사용했다. 당연히 어원은 바둑의 무리수. 유재석이 "형이 그냥 박명수면, 얜 무리수야."라는 명언을 남기기도 했다. #

즉, 의미가 확장되어, 의도적이었으나 결과가 영 좋지 못한 행동이나 대처를 가리키게 된 것. 영화, 만화 등 창작물에서 등장인물을 설정할 때 너무 분위기에 어긋날 정도로 무리가 있는 것을 의미하기도 한다. 또한 의심스럽거나 파격적인 설정이나 행적, 떡밥 등을 보여주었음에도, 이후로는 잊혀져서 맥거핀이나 미회수 떡밥으로 남거나 애매하게 처리하는 것 또한 무리수라고 볼 수 있겠다. 그 외에도 이치에 맞지 않는 너무나도 황당한 언행도 무리수라고 표현하기도 한다.
SM 최고의 무리수[21]
디시인사이드에서는 드립이 적절치 않을 때 그에 대한 반응으로, 명백한 열세임에도 불구하고 도발을 했을 때, 혹은 다수의 의견과 어긋난 의견을 피력했을 때 도발성이 짙게 보이는 것으로 판단되면 사용한다. 자매품으로 파워 무리수, [math(\sqrt 2)] 등이 있다.

파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-11-28 11:50:41에 나무위키 무리수 문서에서 가져왔습니다.

[1] 기약분수의 분자와 분모는 공통으로 가진 소인수가 없으므로 자연수 제곱을 해주어도 공통된 소인수가 없어 약분되지 않는다.[2] 둘을 합하면 무리수인 [math(2\pi)]가 되므로 둘 모두 유리수라고 가정하면 유리수끼리의 합은 항상 유리수가 된다는 점에 모순이 되기 때문이다.[3] 오히려 실수에서 복소수로의 확장은 실수의 대수적인 확대로 유리수까지 구성하는 과정과 유사하다.[4] 다만 무리수 중 대수적인 수는 다항식에 뿌리를 두고 있어 연산과 관련이 깊다. [5] 람베르트 W 함수의 그 람베르트다.[6] 제자들이 지중해 한 가운데에서 히파소스를 떨궜다고 한다.[7] irrational: 이치(理致)에 어긋나는; 도리(道理)가 없는 → 無理[8] 부정(否定) 접두사.[9] 비(比)[10] 대표적인 서적으로는 호리바 요시카즈(堀場 芳数)의 《무리수의 불가사의》(無理数の不思議, 1993), 요시다 타케시(吉田 武)의 《허수의 정서》(虚数の情緒, 2000), 《오일러의 선물》(オイラーの贈物, 2010) 등이 있다.[11] 전술했듯이 [math(\displaystyle \sqrt 2)]는 이처럼 비합리적인 수였기 때문에 발견 당시에 수로 인정받지 못했다.[12] 플라톤의 제자이기도 하다.[13] 에우클레이데스의 원론 제5권에 등장한다.[14] 영어 proportion의 어원이다.[15] 정확히는 라틴어에서 차용한 것이므로 '번역'이 더 알맞은 표현이지만.[16] 이렇게 복잡해보이는 단어에서 간단한 단어가 만들어지는 것을 역성법 또는 역형성이라고 한다. 그렇게 드문 현상은 아니다.[17] 등호 기호(=)를 최초로 쓴 사람이다![18] 당시 철자법이 지금과 달라 irrationall로 기록되어있다.[19] 역시 이 당시 철자는 rationall[20] ratio decidendi의 준말로 엄밀히 따지면 영어가 아니고 라틴어이다.[21] 물론 그 이후엔 이상한 의상에서 탈출한다.