수학(mathematics)에서, 숫자 x의 제곱 근(square root)은
모든 각 양수(positive number) x는 두 제곱근을 가집니다: 양수인
음수의 제곱근은 복소수(complex number)의 프레임워크 안에서 논의될 수 있습니다. 보다 일반적으로, 제곱근은 수학적 대상의 "제곱(square)"의 개념이 정의되는 임의의 문맥에서 고려될 수 있습니다. 이것들은 다른 수학적 구조(mathematical structure) 사이에서 함수 공간(function space)과 정사각 행렬(square matrices)을 포함합니다.
History
Yale Babylonian Collection YBC 7289 점토 태블릿은 기원전 1800년에서 기원전 1600년 사이에 만들어졌으며,
린드 수학적 파피루스(Rhind Mathematical Papyrus)는 기원전 1650년 이전의 베를린 파피루스(Berlin Papyrus)와 다른 문서–아마도 카훈 파피루스(Kahun Papyrus)–의 사본으로, 이집트인이 역 비례법으로 제곱근을 추출한 방법을 보여줍니다.
고대 인도(Ancient India)에서, 제곱과 제곱근의 이론적이고 적용된 관점의 지식은 적어도 기원전 800–500년경 (아마도 훨씬 더 일찍) 날짜가 적힌 술바 수트라스(Sulba Sutras)만큼 오래되었습니다. 2와 3의 제곱근에 대한 매우 좋은 근삿값을 찾는 방법은 부타야나 술바 수트라스(Baudhayana Sulba Sutra)에 나와 있습니다. 아리아바티아(Aryabhatiya) (섹션 2.4)에서 아리아바타(Aryabhata)는 많은 자릿수를 가지는 숫자의 제곱근을 찾는 방법을 제공했습니다.
고대 그리스인들에게 완전 제곱(perfect square)이 아닌 양의 정수(positive integers)의 제곱근은 항상 무리수(irrational number): 두 정수의 비율(ratio)로 표현할 수 없는 숫자로 알려져 있었습니다 (즉, 무리수는 m과 n이 정수일 때 정확하게 m/n으로 쓸 수 없습니다). 이것은 유클리드 X, 9의 정리로, 기원전 약 380년으로 거슬러 올라가는 테아이테토스(Theaetetus)에 기인한 것이 거의 확실합니다. 2의 제곱근(square root of 2)의 특별한 경우는 피타고라스 학파(Pythagoreans)까지 거슬러 올라가는 것으로 가정되고, 전통적으로 히파주스(Hippasus)에 기인합니다. 그것은 정확하게 변 길이 1을 갖는 정사각형의 대각선(diagonal)의 길이입니다.
기원전 202년과 기원전 186년 사이에 초기 한나라 동안 쓰인 중국의 수학 저작 Writings on Reckoning에서, 제곱근은 "과잉과 부족" 방법을 사용함으로써 근사화되었으며, 이것은 "...과잉과 부족을 제수로 결합니다; (취하십시오) 부족 분자에 초과 분모를 곱하고 초과 분자에 부족 분모를 곱하여, 그것들을 피제수로 결합합니다"로 말합니다.
정교한 R로 쓰인 제곱근에 대해 기호는 레기오몬타누스(Regiomontanus) (1436–1476)에 의해 발명되었습니다. R은 역시 제롤라모 카르다노(Gerolamo Cardano)의 Ars Magna에서 제곱근을 나타내는 기수에 사용되었습니다.
수학의 역사가 데이비드 유진 스미스 (D.E. Smith)에 따르면, 아리아바타(Aryabhata)의 제곱근을 구하는 방법은 1546년 카타네오(Cataneo)에 의해 유럽에서 처음 소개되었습니다.
Jeffrey A. Oaks에 따르면, 아랍인들은 제곱근을 나타내기 위해 숫자 위에 초기 형식 (ﺟ)에 정착했던 단어 "جذر" (jaḏr, jiḏr, ǧaḏr 또는 ǧiḏr, "root"로 다양하게 음역됨)의 첫 글자, 문자 jīm/ĝīm (ج)를 사용했습니다. 문자 jīm은 현재의 제곱근 모양과 닮았습니다. 그 사용법은 모로코 수학자 Ibn al-Yasamin의 연구에서 12세기 말까지 거슬러 올라갑니다.
제곱근에 대한 기호 "
Properties and uses
주요 제곱근 함수
x의 제곱근이 유리수인 것과 x가 둘의 완전 제곱의 비율로 표현될 수 있는 유리수(rational number)인 것은 필요충분 조건입니다. (이것이 무리수라는 증명에 대해 2의 제곱근(square root of 2)을 참조하고, 모든 비-제곱 자연수에 대한 증명에 대해 이차 무리수(quadratic irrational)를 참조하십시오.) 제곱근 함수는 유리수를 대수적 숫자(algebraic number)로 매핑하며, 후자는 유리수의 초월집합(superset)입니다. ).
모든 실수 x에 대해,
모든 비-음의 실수 x와 y에 대해,
및
제곱근 함수는 모든 비-음의 x에 대해 연속(continuous)이고, 모든 양의 x에 대해 미분-가능(differentiable)입니다. 만약 f가 제곱근 함수를 나타내면, 그것의 도함수는 다음에 의해 제공됩니다:
비-음의 숫자의 제곱근은 유클리드 노름(Euclidean norm) (및 거리(distance))의 정의와 마찬가지로 힐베르트 공간(Hilbert space)과 같은 일반화에 사용됩니다. 그것은 확률 이론(probability theory)과 통계(statistics)에서 사용되는 표준 편차(standard deviation)의 중요한 개념을 정의합니다. 그것은 이차 방정식(quadratic equation)의 근에 대한 공식에 주요한 사용을 가집니다; 제곱근을 기반으로 하는 이차 필드(quadratic field)와 이차 정수(quadratic integer)의 링은 대수학에서 중요하고 기하학에서 사용을 가집니다. 제곱근은 다른 곳의 수학 공식과 마찬가지로 많은 물리(physical) 법칙에 자주 나타납니다.
Square roots of positive integers
양수는 서로 반대(opposite)인 둘의 제곱근, 하나는 양수이고 하나는 음수를 가집니다. 양의 정수의 그 제곱근을 말할 때, 그것이 의미하는 것은 보통 양의 제곱근입니다.
정수의 제곱근은 대수적 정수(algebraic integer)–보다 구체적으로 이차 정수(quadratic integer)입니다.
양의 정수의 제곱근은 그것의 소수(prime) 인수의 근의 곱인데, 왜냐하면 곱의 제곱근은 인수의 제곱근의 곱이기 때문입니다.
As decimal expansions
완전 제곱(perfect square) (예를 들어, 0, 1, 4, 9, 16)의 제곱근은 정수(integers)입니다. 모든 다른 경우에서, 양의 정수의 제곱근은 무리수(irrational number)이고, 따라서 그것들의 십진 표현(decimal representation)에 비-반복하는 십진수(repeating decimal)를 가집니다. 처음 몇 개의 자연수의 제곱근의 십진 근삿값은 다음 테이블에 나와 있습니다.

As expansions in other numeral systems
이전과 마찬가지로, 완전 제곱(perfect square) (예를 들어, 0, 1, 4, 9, 16)의 제곱근은 정수입니다. 모든 다른 경우에서, 양의 정수의 제곱근은 무리수(irrational number)이고, 따라서 임의의 표준 위치 표기법(positional notation) 시스템에서 비-반복하는 자릿수를 가집니다.
작은 정수의 제곱근은 nothing up my sleeve number를 제공하기 위해 SHA-1와 SHA-2 해시 함수 설계에서 모두 사용됩니다.
As periodic continued fractions
연속된 분수(continued fraction)로서의 무리수(irrational number) 연구에서 가장 흥미로운 결과 중 하나는 조제프-루이 라그랑주(Joseph-Louis Lagrange) (약 1780년)에 의해 얻습니다. 라그랑주는 비-제곱 양의 정수의 제곱근을 연속된 분수로 표현하는 것이 주기적(periodic)이라는 것을 발견했습니다. 즉, 부분 분모의 특정 패턴이 연속 분수에서 무한하게 반복합니다. 어떤 의미에서, 이들 제곱근은 매우 가장 단순한 무리수인데, 왜냐하면 그것들은 단순한 반복 패턴의 정수로 나타낼 수 있기 때문입니다.

위에 사용된 대괄호(square bracket) 표기법은 연속된 분수에 대해 짧은 형식입니다. 보다 암시적인 대수적 형식으로 작성된, 11의 제곱근에 대해 단순 연속된 분수, [3; 3, 6, 3, 6, ...]는 다음과 같이 보입니다:
여기서 두-자릿수 패턴 {3, 6}은 부분 분모에서 계속해서 다시 반복합니다.
Computation
양수의 제곱근은 일반적인 유리수(rational number)가 아니고, 따라서 종료 또는 반복 십진 표현으로 쓸 수 없습니다. 그러므로 일반적으로 십진법으로 표현된 제곱근을 계산하려는 임의의 시도는 오직 근사치를 산출할 수 있지만, 증가하는 정확한 근사치의 수열이 얻어질 수 있습니다.
대부분의 주머니 계산기(pocket calculator)는 제곱근 키를 가집니다. 컴퓨터 스프레드시트와 다른 소프트웨어는 역시 제곱근을 계산하기 위해 자주 사용됩니다. 주머니 계산기는 전형적으로 양의 실수의 제곱근을 계산하기 위해 뉴턴의 방법(Newton's method) (자주 1의 초기 추측값을 가짐)과 같은 효율적인 루틴을 구현합니다. 로그 테이블(logarithm table) 또는 미끄럼 자(slide rule)와 함께 제곱근을 계산할 때, 우리는 다음 항등식을 이용할 수 있습니다:
여기서 ln과
시행-과-오류에 의해, 우리는
왜냐하면 그것은 추정값 x를 약간의 c만큼 조정하고 원래 추정값과 그것의 제곱의 관점에서 조정의 제곱을 측정하는 것을 허용하기 때문입니다. 게다가, c가 0에 근접할 때
손으로 제곱근 계산의 가장 공통적인 반복 방법(iterative method)은 그것을 처음으로 설명했던 일-세기 그리스 철학자 알렉산드리아의 헤론(Heron of Alexandria)을 이름을 따서 지은 "바빌로니아 방법(Babylonian method)" 또는 "헤론의 방법"으로 알려져 있습니다. 그 방법은 함수
- 임의의 양수 시작 값 x로 시작합니다. a의 제곱근에 가까울수록, 원하는 정밀도를 달성하기 위해 필요한 반복 횟수가 더 줄어듭니다.
- x를 x와 a/x 사이의 평균 (x + a/x) / 2로 바꿉니다.
- 이 평균을 x의 새로운 값으로 사용하여 단계 2를 반복합니다.
즉, 만약
다음 항등식을 사용하여
양수의 제곱근 계산은 [1,4) 범위에서 숫자의 제곱근으로 줄어들 수 있습니다. 이것은 다항식(polynomial) 또는 조각별-선형(piecewise-linear) 근사(approximation)가 사용될 수 있는 제곱근에 가까운 반복 방법의 시작 값을 찾는 것을 단순화합니다.
n 자릿수의 정밀도를 갖는 제곱근을 계산하기 위한 시간 복잡도(time complexity)는 둘의 n-자릿수 숫자를 곱하는 것과 동등합니다.
제곱근을 계산하는 또 다른 유용한 방법은 n = 2에 적용되는 이동하는 n번째 근 알고리듬(shifting nth root algorithm)입니다.
제곱근 함수(function)의 이름은 프로그래밍 언어마다 다르고, sqrt (종종 "squirt"로 발음됨)가 공통적이고, C, C++, 및 JavaScript, PHP, 및 Python과 같은 파생 언어에서 사용됩니다.
Square roots of negative and complex numbers
임의의 양수 또는 음수의 제곱은 양수이고, 0의 제곱은 0입니다. 그러므로, 음수는 실수(real) 제곱근을 가질 수 없습니다. 어쨌든, 음수의 제곱근에 대한 해를 포함하는 복소수(complex number)라고 불리는 보다 포괄적인 숫자의 집합으로 작업하는 것이 가능합니다. 이것은 i (때로는 j, 특히 "i"가 전통적으로 전류를 나타내는 전기(electricity)의 맥락에서)로 표시되고
오른쪽 변 (마찬가지로 그것의 부정)은 사실 −x의 제곱근인데, 왜냐하면
모든 각 비-영 복소수 x에 대해,
Principal square root of a complex number
주요 값(principal value)이라고 하는 단일 값을 일관되게 선택하는 것을 허용하는 제곱근에 대한 정의를 찾기 위해, 우리는 먼저 임의의 복소수
주요 제곱근 함수는 따라서 비-양의 실수 축을 가지 자름(branch cut)으로 사용하여 정의됩니다. 만약
그러나
주요 제곱근 함수는 비-양의 실수의 집합을 제외하고 모든 곳에서 정칙(holomorphic)입니다 (엄격한 음의 실수에서 그것은 심지어 연속(continuous)적이지 않습니다.)
위의 것은 역시 삼각 함수(trigonometric function)의 관점에서 표현될 수 있습니다:
Algebraic formula
숫자가 실수 부분과 허수 부분을 사용하여 표현될 때, 다음 공식이 주요 제곱근에 대해 사용될 수 있습니다:
여기서 sgn(y)는 y의 부호(sign)입니다 (여기서, sgn(0) = 1임을 제외합니다). 특히, 원래 숫자의 허수 부분과 그것의 제곱근의 주요 값은 같은 부호를 가집니다. 제곱근의 주요 값의 실수 부분은 항상 비-음수입니다.
예를 들어, ±i의 주요 제곱근은 다음에 의해 제공됩니다:
Notes
아래에서, 복소수 z와 w는 다음처럼 표현될 수 있습니다:
여기서
복소 평면에서 제곱근 함수의 불연속 본성때문에, 다음 법칙은 일반적으로 참이 아닙니다.
반대예제: z = −1와 w = −1) 이 상등은 오직 일 때 유효합니다 (주요 제곱근에 대해 반대예제: w = 1와 z = −1) 이 상등은 오직 일 때 유효합니다 (주요 제곱근에 대해 반대예제: z = −1) 이 상등은 오직 일 때 유효합니다
유사한 문제는 가지 자름을 갖는 다른 복소 함수, 예를 들어, 복소 로그(complex logarithm)와 일반적은 참이 아닌 관계 logz + logw = log(zw) 또는
이들 법칙 중 하나를 잘못 가정하는 것은 몇 가지 잘못된 "증명"의 기초가 됩니다. 예를 들어, 다음 것은 −1 = 1임을 보여줍니다:
세 번째 상등은 정당화될 수 없습니다 (무효한 증명(invalid proof)을 참조하십시오). 그것은 이것이 더 이상 주요 제곱근을 나타내지 않지만 (위를 참조)
만약 가지 자름 −i이면 다음이고
반면에 오른쪽 변은 다음이 됩니다:
여기서 마지막 상등,
Nth roots and polynomial roots
만약 {{mvar|n}}이 2보다 큰 정수이면,
주어진 다항식(polynomial) p에 대해, p의 근(root)은 p(y) = 0를 만족하는 숫자 y입니다. 예를 들어, x의 n번째 근은 (y에서) 다항식
아벨–루피니 정리(Abel–Ruffini theorem)는, 일반적으로, 오차 이상의 다항식의 근이 n번째 근의 관점에서 표현될 수 없다고 말합니다.
Square roots of matrices and operators
만약 A가 양수-한정 행렬(positive-definite matrix) 또는 연산자이면,
In integral domains, including fields
정수 도메인(integral domain)의 각 원소는 2보다 많은 제곱근을 갖지 않습니다. 두 제곱의 차이(difference of two squares) 항등식
특성(characteristic) 2의 필드에서, 원소는 하나의 제곱근을 가지거나 전혀 갖지 않는데, 왜냐하면 각 원소는 −u = u이 되도록 고유한 덧셈의 역을 가집니다. 만약 필드가 특성 2의 유한(finite)이면, 모든 각 원소는 고유한 제곱근을 가집니다. 임의의 다른 특성의 필드(field)에서, 임의의 비-영 원소는 위에서 설명한 것처럼 둘의 제곱근을 갖거나, 임의의 것을 갖지 않습니다.
홀수 소수(prime number) p가 주어지면, 어떤 양의 정수 e에 대해
In rings in general
정수 도메인에서와 달리, 임의적인 (단위) 링에서 제곱근은 부호까지 고유할 필요가 없습니다. 예를 들어, 정수 모듈로 8(modulo 8)의 링
또 다른 예제는 영의 제수를 가지지 않지만, 교환적이 아닌 쿼터니언(quaternion)
0의 제곱근은 0 또는 영 제수입니다. 따라서 영 제수가 존재하지 않는 링에서, 그것은 고유하게 0입니다. 어쨌든, 영 제수를 갖는 링은 0의 여러 제곱근을 가질 수 있습니다. 예를 들어,
Geometric construction of the square root
양수의 제곱근은 보통 주어진 숫자와 같은 넓이(area)를 갖는 정사각형(square)의 한 변의 길이로 정의됩니다. 그러나 정사각형 모양이 그것에 대해 반드시 필요한 것은 아닙니다: 만약 둘의 닮은(similar) 평면 유클리드(planar Euclidean) 대상 중 하나가 또 다른 것보다 a배 더 큰 넓이를 가지면, 그것들의 선형 크기의 비율은
제곱근은 컴퍼스와 직선자로 구성될 수 있습니다. 유클리드 (fl. 300 BC)의 원론(Elements)에서, 그는 제안 II.14와 제안 VI.13의 서로 다른 두 위치에서 두 양의 기하 평균의 구성을 제공했습니다. a와 b의 기하 평균은
그 구성은 역시 데카르트(Descartes)에 의해 그의 La Géométrie에서 제공되었으며, 페이지 2의 그림 2를 참조하십시오). 어쨌든, 데카르트는 독창성을 주장하지 않았고 그의 청중은 유클리드에 대해 매우 친숙했을 것입니다.
제 6권에서 유클리드의 두 번째 증명은 닮은 삼각형(similar triangles)의 이론에 의존합니다. AHB를 AH = a와 HB = b를 갖는 길이 a + b의 선분이라고 놓습니다. AB를 지름으로 갖는 원을 구성하고 C를 H에서 원과 수직 현의 두 교차점 중 하나라고 하고 길이 CH를 h로 표시합니다. 그런-다음, 탈레스의 정리(Thales' theorem)를 사용하고, 닮은 삼각형에 의한 피타고라스의 정리의 증명에서와 같이, 삼각형 AHC는 삼각형 CHB와 닮았는데 (비록 우리가 그것을 필요로 하지는 않지만, 실제로 둘 다는 삼각형 ACB에 대한 것이지만, 그것은 피타고라스 정리의 증명의 본질입니다), AH:CH가 HC:HB, 즉 a/h = h/b이므로, 우리는 교차 곱셈에 의해
기하적 구성의 또 다른 방법은 직각 삼각형(right triangle)과 귀납법(induction)을 사용합니다:
See also
References
- Dauben, Joseph W. (2007). "Chinese Mathematics I". In Katz, Victor J. (ed.). The Mathematics of Egypt, Mesopotamia, China, India, and Islam. Princeton: Princeton University Press. ISBN 978-0-691-11485-9.
- Gel'fand, Izrael M.; Shen, Alexander (1993). Algebra (3rd ed.). Birkhäuser. p. 120. ISBN 0-8176-3677-3.
- Joseph, George (2000). The Crest of the Peacock. Princeton: Princeton University Press. ISBN 0-691-00659-8.
- Smith, David (1958). History of Mathematics. Vol. 2. New York: Dover Publications. ISBN 978-0-486-20430-7.
- Selin, Helaine (2008), Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures, Springer, Bibcode:2008ehst.book.....S, ISBN 978-1-4020-4559-2.
External links
- Algorithms, implementations, and more – Paul Hsieh's square roots webpage
- How to manually find a square root
- AMS Featured Column, Galileo's Arithmetic by Tony Philips – includes a section on how Galileo found square roots