즉, 이는 실수 지수보다 작은 유리수를 지수로 하여 만든 거듭제곱들의 집합의 상한 이다. 양의 실수의 실수 제곱을 지수 함수 와 로그 함수를 사용하여 정의할 수도 있다. 먼저 실수 지수 함수 :\mathbb R\to(0,+\infty) :x\mapsto e^x 는 다음과 같이 두 가지로 정의될 수 있으며, 이는 서로 동치 이다. :(수열의 극한 ) e^x=\lim_{n\to\infty}\left(1+\frac xn\right)^n :(거듭제곱 급수) e^x=\sum_{n=0}^\infty \frac{x^n}{n!} 또한 실수 로그 함수는 지수 함수의 역함수 이다. :\ln=\exp^{-1} 이제 양의 실수의 실수 제곱을 정의할 수 있다. 양의 실수 a 와 실수 x 에 대하여, a 의 x 제곱은 다음과 같다. :a^x=e^{x\ln a}
2. 4. 복소수 제곱
복소수 지수 함수와 복소수 로그 함수를 사용하여 복소수 제곱을 정의할 수 있다. 복소수 제곱 연산은 실수의 경우와 달리 연산 결과가 여러 값(여러 값 )을 가지며, 밑이 음의 실수인 경우에도 정의할 수 있다. 0이 아닌 복소수 z 와 복소수 w 에 대하여, z 의 w 제곱은 다음과 같이 정의된다. :z^w=e^{w\operatorname{Ln}z} 여기서,복소수 지수 함수 e^z 는 다음과 같이 정의된다. ::(수열의 극한) e^z=\lim_{n\to\infty}\left(1+\frac zn\right)^n ::(거듭제곱 급수) e^z=\sum_{n=0}^\infty\frac{z^n}{n!} 오일러 공식 에 따라 복소수 지수 함수는 다음과 같이 표현할 수 있다. :e^z=e^{\operatorname{Re}z}(\cos\operatorname{Im}z+i\sin\operatorname{Im}z)\qquad(z\in\mathbb C) 복소수 로그 함수 \operatorname{Ln}z 는 복소수 지수 함수의 역함수이며, 다가 함수 이다. :\operatorname{Ln}z=\ln|z|+i\operatorname{Arg}z\qquad(z\in\mathbb C\setminus\{0\}) 복소수 로그 함수가 다가 함수이므로, 복소수 거듭제곱 역시 다가 함수이다.
3. 성질
거듭제곱은 지수가 양의 정수일 때 밑이 몇 번 곱해지는지를 나타낸다. 예를 들어, 3^5 = 3 \cdot 3 \cdot 3 \cdot 3 \cdot 3 = 243 이다. 밑 3은 곱셈에 5번 나타나는데, 지수가 5이기 때문이다. 여기서 243은 '3의 5제곱' 또는 '3의 5승'이라고 읽는다. [20] 정수 지수를 사용한 거듭제곱 연산은 기본적인 산술 연산으로부터 직접 정의될 수 있다. 곱셈의 결합 법칙에 의해 모든 양의 정수 m과 n에 대해 다음이 성립한다. :b^{m+n} = b^m \cdot b^n :(b^m)^n=b^{mn} 0이 아닌 수를 0 거듭제곱하면 1이 된다. [21] [1] :b^0=1 0^0 의 경우는 일반적으로 1 값을 할당하지만, 맥락에 따라 값이 달라질 수 있다. 자세한 내용은 0의 0제곱을 참조 음의 지수를 사용한 거듭제곱은 모든 정수 n과 0이 아닌 b에 대해 다음 항등식으로 정의된다. [1] :b^{-n} = \frac{1}{b^n} 0을 음의 지수로 거듭제곱하는 것은 정의되지 않지만, 어떤 경우에는 무한대(\infty )로 해석될 수 있다. [22] 지수 법칙에 따르면, 밑이 0이 아닌 모든 정수 지수에 대해 다음 항등식이 성립한다. [1] :\begin{align} b^m \cdot b^n &= b^{m + n} \\ \left(b^m\right)^n &= b^{m \cdot n} \\ b^n \cdot c^n &= (b \cdot c)^n \end{align} 이항 정리 를 통해 합의 거듭제곱을 계산할 수 있다. :(a+b)^n=\sum_{i=0}^n \binom{n}{i}a^ib^{n-i}=\sum_{i=0}^n \frac{n!}{i!(n-i)!}a^ib^{n-i} 하지만 이 공식은 피가수가 교환 가능할 때(즉, ab = ba )만 유효하다. 음이 아닌 정수 m과 n에 대해, n^m 의 값은 m개의 원소를 가진 집합에서 n개의 원소를 가진 집합으로의 함수의 수와 같다. 이는 다음과 같이 표로 나타낼 수 있다.
n^m 집합 {1, ..., n}의 원소로 구성된 가능한 m-튜플 0^5 = 0 없음 1^4 = 1 (1, 1, 1, 1) 2^3 = 8 (1, 1, 1), (1, 1, 2), (1, 2, 1), (1, 2, 2), (2, 1, 1), (2, 1, 2), (2, 2, 1), (2, 2, 2) 3^2 = 9 (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3) 4^1 = 4 (1), (2), (3), (4) 5^0 = 1 ()
곱셈군에서, G가 군이면, x^n 은 모든 x\in G 와 모든 정수 n에 대해 정의된다. 특정 원소 x의 모든 거듭제곱으로 구성된 군은 x에 의해 생성된 순환군 이다. 환에서, 몇몇 영이 아닌 원소는 어떤 정수 n에 대해 x^n=0 을 만족하는 경우가 있으며, 이러한 원소를 멱영원 이라고 한다. 유한체는 곱셈, 덧셈, 뺄셈, 나눗셈이 정의되고 곱셈이 결합 법칙을 만족하며, 모든 0이 아닌 원소가 곱셈 역원 을 갖는 대수적 구조이다. 디피-헬만 키 교환은 유한체에서 거듭제곱을 적용한 것으로 안전한 통신에 널리 사용된다.
3. 1. 연산 법칙
자연수 n 에 대해, 거듭제곱 a^n (a는 실수)은 다음과 같이 정의된다. :a^n = \underbrace{a \times \cdots \times a}_{n} 이는 곱셈 연산이 덧셈 을 반복하는 것과 유사하다. 또한 정의에 따라, 다음 식이 성립한다.a^1 = a a^b a^c = a^{b+c} (a^n)^m = a^{nm} (a^b)^c = (a^c)^b a^c b^c = (ab)^c a^m \div a^n = a^{m-n} : a^5 = a \times a\times a\times a\times a = (a \times a\times a )\times(a \times a) = a^3 \times a^2 = a^{3+2} = a^5 = (a \times a) \times (a \times a\times a ) = a^{2+3} = a^5 : \frac{a^5}{a^5} = \frac{a \times a\times a\times a\times a}{a \times a\times a\times a\times a} = \frac{\cancel{a} \times \cancel{a}\times \cancel{a}\times \cancel{a}\times \cancel{a}}{\cancel{a} \times \cancel{a}\times \cancel{a}\times \cancel{a}\times \cancel{a}} = \frac{1}{1}=1 : \frac{a^5}{a^5} = a^{5-5}=a^0 =1 (-a)^1 = -a (-a)^2 = -a \cdot -a = +a^2 (-a)^3 = -a \cdot -a \cdot -a= -a^3 (-a)^0 = \frac{-a}{-a} = +1 다음과 같은 귀납적 정의도 가능하다.a^1 = a a^{n+1} = a \times a^n,\ n=1, 2, 3, \cdots 거듭제곱의 정의를 반복적인 곱셈으로 나타내는 것은 귀납법 을 사용하여 형식화할 수 있으며, [20] 이 정의는 결합 법칙이 있는 경우 바로 사용할 수 있다. 기본 사례는 다음과 같다. :b^1 = b 그리고 재귀 관계는 다음과 같다. :b^{n+1} = b^n \cdot b. 곱셈의 결합 법칙은 모든 양의 정수 과 에 대해 다음을 의미한다. :b^{m+n} = b^m \cdot b^n :(b^m)^n=b^{mn} 앞서 언급했듯이, (0이 아닌) 수를 0 거듭제곱하면 1이 된다: [21] [1] :b^0=1. 이 값은 또한 공허한 곱 규칙에 의해 얻어지며, 이는 곱셈 연산을 가지는 모든 대수 구조 에서 사용할 수 있으며, 이 곱셈 연산은 항등원을 갖는다. 이런 방식으로 다음 공식이 성립한다. :b^{m+n}=b^m\cdot b^n 이는 n=0 인 경우에도 성립한다. 의 경우는 논란의 여지가 있다. 정수 거듭제곱만 고려하는 맥락에서는 일반적으로 에 1 값을 할당하지만, 그렇지 않은 경우에는 값을 할당할지 여부와 할당할 값은 맥락에 따라 달라질 수 있다. 자세한 내용은 0의 0제곱을 참조 음의 지수를 사용한 거듭제곱은 모든 정수 과 0이 아닌 에 대해 다음 항등식으로 정의된다. :b^{-n} = \frac{1}{b^n} . [1] 0을 음의 지수로 거듭제곱하는 것은 정의되지 않지만, 어떤 경우에는 무한대(\infty )로 해석될 수 있다. [22] 음의 지수를 사용한 거듭제곱에 대한 이러한 정의는 항등식 b^{m+n}=b^m\cdot b^n 을 음의 지수로 확장할 수 있게 해주는 유일한 정의이다(경우 m=-n 을 고려). 동일한 정의는 곱셈적 모노이드에서 가역 원소에 적용되며, 이는 연관 곱셈과 곱셈 항등원 1로 표시되는 대수 구조 이다 (예: 주어진 차원의 정사각 행렬). 특히, 그러한 구조에서 가역 원소 의 역수는 표준적으로 x^{-1} 로 표시된다. 지수 법칙 다음 항등식들은 종종 '''지수 규칙'''이라고 불리며, 밑이 0이 아닌 모든 정수 지수에 대해 성립한다: [1] :\begin{align} b^m \cdot b^n &= b^{m + n} \\ \left(b^m\right)^n &= b^{m \cdot n} \\ b^n \cdot c^n &= (b \cdot c)^n \end{align} 덧셈과 곱셈과 달리, 거듭제곱은 교환 법칙이 성립하지 않는다. 예를 들어, 2^3 = 8 이지만, 피연산자의 순서를 바꾸면 다른 값 3^2=9 가 나온다. 또한 덧셈과 곱셈과 달리, 거듭제곱은 결합 법칙이 성립하지 않는다. 예를 들어, (2^3)^2 = 8^2 = 64 이지만, 2^{(3^2)} = 2^9 = 512 이다. 괄호가 없는 경우, 위첨자 표기법의 연산 순서에 대한 일반적인 규칙은 위에서 아래로(또는 '오른쪽' 결합)이고, 아래에서 위로 [46] [47] [48] (또는 '왼쪽' 결합)이 아니다. 즉, :b^{p^q} = b^{\left(p^q\right)} 이는 일반적으로 :\left(b^p\right)^q = b^{p q} 와 다르다.이항 정리 를 통해 합의 거듭제곱을 일반적으로 피가수(summands)의 거듭제곱으로부터 계산할 수 있다. :(a+b)^n=\sum_{i=0}^n \binom{n}{i}a^ib^{n-i}=\sum_{i=0}^n \frac{n!}{i!(n-i)!}a^ib^{n-i} 하지만 이 공식은 피가수가 교환 가능할 때(즉, ab = ba )만 유효하며, 이는 피가수가 대수 구조 의 원소이고 해당 구조가 교환 법칙을 만족하는 경우에 성립한다. 그렇지 않은 경우, 예를 들어 와 가 같은 크기의 정사각 행렬일 경우, 이 공식을 사용할 수 없다. 따라서 컴퓨터 대수학에서 정수 지수를 포함하는 많은 알고리즘 은 지수의 밑이 교환 가능하지 않은 경우 변경되어야 한다. 일부 범용 컴퓨터 대수 시스템은 교환 불가능한 밑을 갖는 거듭제곱에 대해 다른 표기법(때로는 대신 )을 사용하며, 이를 '''비가환적 거듭제곱'''이라고 한다.
3. 2. 다가성
복소수 제곱 연산은 여러 개의 값을 가질 수 있는 다가 함수(multivalued function)이다. [1] 이는 복소수 지수 함수가 가역 함수가 아니기 때문이다. 0이 아닌 복소수 z 의 w 제곱은 다음과 같이 정의된다. :z^w=e^{w\operatorname{Ln}z} 여기서 \operatorname{Ln}z 는 복소수 로그 함수로, 다가 함수이므로 z^w 역시 여러 값을 가질 수 있다. 이러한 다가성 문제를 해결하기 위해 주치(principal value)를 선택한다. 복소수 z 를 극형식 z = \rho e^{i\theta} (여기서 \rho 는 z 의 절댓값 , \theta 는 편각)으로 표현했을 때, -\pi < \theta \le \pi 를 만족하는 \theta 값을 갖는 z 의 제곱근을 주요 근으로 선택한다. 주요 근은 실수부가 가장 큰 제곱근을 선택하며, 만약 두 개가 존재할 경우 허수부가 양수인 근을 선택한다. 이 함수는 음의 실수를 제외한 복소 평면에서 연속이며, 양의 실수에 대해서는 일반적인 제곱근과 같다. 복소수 w 가 유리수 인 경우, z^w 는 유한 개의 값을 갖지만, w 가 유리수 가 아닐 경우에는 무한히 많은 값을 가질 수 있다.
4. 역사
거듭제곱은 역사적으로 매우 오래전부터 나타났다. 기원전 16세기경에 제작된 점토판에는 제곱수, 제곱근, 세제곱근 표와 피타고라스 정리 에 대한 기록이 남아있다. [61] 이집트 , 인도 , 그리스 등에서도 거듭제곱 개념이 나타난다. 지수 법칙에 대한 직접적인 언급은 없지만, 거듭제곱을 뜻하는 영어 단어 power영어 는 유클리드가 직선의 제곱을 나타낼 때 사용한 단어에서 유래했다. [61] 원론에는 지수 법칙과 관련된 내용이 나오지만, 당시에는 수식이 발달하지 않아 모두 말로 표현되었다.
4. 1. 어원
"지수"(영어 : exponent)라는 용어는 "내놓다"를 의미하는 ''exponere''의 라틴어 현재 분사 ''exponentem''에서 유래되었다. [4] "거듭제곱"(영어 : power)이라는 용어는 고대 그리스어 δύναμις (''dúnamis'', 여기서 "확대" [5] )를 오역한 것으로 [5] [6] , 그리스 수학 자 유클리드가 히포크라테스 오브 키오스를 따라 선의 제곱을 지칭하는 데 사용했다. [17] [7] 거듭제곱의 어깨에 쓰여지는 숫자를 멱지수(冪指數)라고 부르는데 [59] , 멱지수를 의미하는 용어로 영어에서는 종종 exponent(지수)와 index(지표)가 동의어로 사용된다. 원래는 1544년에 미하엘 슈티펠이 exponensla 를 조어했고 [60] , 이에 대해 1586년에 라자루스 쇼너가 수학자 페트루스 라무스의 서적에 대한 보충 설명으로 indexla 를 (슈티펠이 exponens라고 부른 것과 같은 것을 지칭하는 의미로) 사용한 [61] 것이 각 용어의 어원이라고 여겨진다.
4. 2. 고대
아르키메데스 는 그의 저서 ''모래 계산자''에서 지수 법칙 10''a'' · 10''b'' = 10''a''+''b'' 를 증명했는데, 이는 10의 거듭제곱을 다루는 데 필수적인 것이었다. [8] 그는 이어서 10의 거듭제곱을 사용하여 우주에 포함될 수 있는 모래알의 수를 추정했다.
4. 3. 이슬람 황금 시대
9세기 페르시아 수학자 알콰리즈미는 제곱에 대해 مَال (''māl'', "소유", "재산")이라는 용어를 사용했는데, 이는 "당시와 그 이전 시대의 대부분의 수학자들처럼, 제곱수를 특히 토지의 면적, 즉 재산의 묘사로 생각했기 때문"이다. [14] 그리고 كَعْبَة (''Kaʿbah '', "정육면체")는 세제곱을 나타내는 데 사용되었으며, 이후 이슬람 수학자들은 15세기까지 이를 수학적 표기법에서 각각 문자 ''밈 '' (m)과 ''카프 '' (k)로 표기했는데, 이는 아불 하산 이븐 알리 알 칼라사디의 저서에서 볼 수 있다. [9]
4. 4. 15-18세기
니콜라 추케는 15세기에 지수 표기법의 한 형태를 사용했다. [10] 16세기에는 헨리쿠스 그라메테우스와 미하엘 슈티펠이 이를 사용했다. 1544년 미하엘 슈티펠은 '지수'라는 단어를 만들었다. [12] [13] 16세기에는 로버트 레코드 가 제곱, 세제곱, 젠지젠지크(네제곱), 설리드(다섯제곱), 젠지큐브(여섯제곱), 세컨드 설리드(일곱제곱), 젠지젠지젠지크(여덟제곱)라는 용어를 사용했다. '바이드레이트'라는 용어도 네제곱을 지칭하는 데 사용되었다. [14] 1636년, 제임스 흄은 저서 《L'algèbre de Viète》에서 현대적 표기법과 유사한 형태를 사용했다. [15] 17세기 초, 르네 데카르트 는 저서 《라 지오메트리》에서 현대적 지수 표기법의 첫 번째 형태를 소개했는데, 이 표기법은 책 I에서 처음 등장했다. [16] 일부 수학자들(데카르트 등)은 거듭제곱을 2보다 큰 지수에만 사용하고 제곱은 반복된 곱셈으로 표현하는 것을 선호했다.
4. 5. 20세기
1938년 콘라트 추제 는 자신의 컴퓨터 Z1에 부동 소수점 산술을 도입했다. [19] 하나의 레지스터는 선두 숫자의 표현을 포함했고, 다른 하나는 10의 지수를 나타냈다. [19] 1914년 레오나르도 토레스 케베도는 숫자의 부동 소수점 표현을 제안하는 '자동화에 관한 에세이'를 기고했다. [19] 1946년 벨 연구소 컴퓨터와 함께 더 유연한 십진 부동 소수점 표기법이 도입되었다. [19] 결국 교육자와 엔지니어들은 과학적 표기법을 채택했고, 이는 비율 척도에서 크기 순서에 대한 일반적인 언급과 일치한다. [19]
5. 응용
거듭제곱은 기수법 과 진수 체계의 기반이 된다. 멱 연산은 항등원을 갖는 이항 연산이 정의되는 대수 구조 인 모노이드 에서 정의할 수 있다. [64] 모노이드에서 자연수 멱은 귀납적으로 정의되며, 특히 0제곱은 "항등원을 갖는다"는 조건으로 의미를 갖는다. 2의 정수 거듭제곱은 컴퓨터 과학 에서 중요하다. 양의 정수 거듭제곱 2^n 은 ''n''-비트 이진수 의 가능한 값의 개수를 나타낸다. 예를 들어 바이트 는 2^8 = 256 개의 값을 가질 수 있다. [65] 이진법 은 모든 수를 2의 거듭제곱의 합으로 표현한다.f(x) = cx^n (c \ne 0 ) 형태의 실수 함수는 멱함수라고 부른다. [23] n 이 정수 일 때 짝수와 홀수 두 가지로 나뉜다. 짝수 멱함수는 우함수, 홀수 멱함수는 기함수이다.
5. 1. 기수법
거듭제곱의 성질은 기수법 과 진수 체계의 기반이 된다. :\;\;a^n = x 일 때, :a^n 의 밑은 a 이고, 지수는 n , 진수는 x 이다. 멱 연산은 임의의 모노이드 에서 정의할 수 있다. [64] 모노이드는 항등원을 갖는 반군, 즉 적당한 집합 기반으로 합성 또는 곱셈이라고 하는 이항 연산이 정의되는 대수 구조 로서, 그 곱셈이 결합 법칙을 만족하고, 또한 곱셈 항등원 갖는 것을 말한다. 모노이드에서의 자연수 멱은x^0:=1_X\quad (\forall x\in X), x^{n+1}:=x^n \times x\quad (x\in X,\,n\in \mathbb{Z}_{\ge 0}) 으로 귀납적으로 정의할 수 있다(앞의 식의 오른쪽 변(의 1)은 의 항등원, 뒤의 식의 왼쪽 변의 1은 자연수 1 이며, 당연하지만 이들은 서로 다른 것이다). 특히 앞의 식(영승)은 "항등원을 갖는다"에 의해 비로소 의미를 갖는 약속임을 주의해야 한다(공허곱도 참조). 모노이드의 예에는 군 이나 환 (의 곱셈 모노이드)과 같은 수학적으로 중요한 많은 구조가 포함되며, 더 구체적인 예로 행렬환이나 체의 경우에 후술한다.
5. 2. 컴퓨터 과학
2의 정수 거듭제곱은 컴퓨터 과학 에서 중요하다. 양의 정수 거듭제곱 2^n 은 ''n''-비트 정수 이진수 에 대한 가능한 값의 개수를 제공한다. 예를 들어, 바이트 는 2^8 = 256 개의 서로 다른 값을 가질 수 있다. [65] 이진법 은 모든 수를 2의 거듭제곱의 합으로 표현하며, 이를 이진 소수점으로 구분된 0과 1의 시퀀스로 나타낸다. 여기서 1은 합에 나타나는 2의 거듭제곱을 나타낸다. 지수는 이 1의 위치에 의해 결정된다. 음이 아닌 지수는 소수점 왼쪽에서 1의 순위(0부터 시작)이고, 음의 지수는 소수점 오른쪽에서 순위에 의해 결정된다.
5. 3. 멱함수
f(x) = cx^n 형태의 실수 함수 (여기서 c \ne 0 )는 멱함수라고 불린다. [23] n 이 정수 이고 n \ge 1 일 때, n 이 짝수인 경우와 홀수인 경우 두 가지로 나뉜다. 일반적으로 c > 0 일 때, n 이 짝수이면 f(x) = cx^n 은 x 가 증가함에 따라 양의 무한대로, x 가 감소함에 따라 양의 무한대로 향한다. 짝수 멱함수 그래프는 y=cx^2 의 모양과 비슷하며, n 이 증가하면 중앙에서 더 평평해진다. [24] 이러한 대칭(f(-x)= f(x) )을 갖는 함수는 우함수라고 한다.n 이 홀수일 때, f(x) 의 점근선 적 거동은 양의 x 에서 음의 x 로 반전된다. c > 0 일 때, f(x) = cx^n 은 x 가 증가함에 따라 양의 무한대로 향하지만, x 가 감소함에 따라 음의 무한대로 향한다. 홀수 멱함수 그래프는 y=cx^3 의 모양과 비슷하며, n 이 증가하면 중앙에서 더 평평해지고 n=1 인 직선에서는 평평함이 사라진다. 이러한 대칭(f(-x)= -f(x) )을 갖는 함수는 기함수라고 한다.c < 0 일 때는 각 경우에서 반대 점근선적 거동이 적용된다. [24]
6. 프로그래밍 언어에서의 구현
프로그래밍 언어는 일반적으로 지수를 위첨자로 표현하는 기능을 지원하지 않기 때문에, 거듭제곱 연산을 위해 연산자를 중위 연산자로 사용하거나 함수 호출 형태로 표현한다. 지수를 나타내는 가장 일반적인 연산자 기호는 캐럿(^
)이다. ASCII의 초기 버전에는 지수 표현을 위해 위쪽 화살표 기호(↑
)가 있었으나, 1967년에 캐럿으로 대체되면서 프로그래밍 언어에서 널리 사용되게 되었다. [39] 다양한 프로그래밍 언어에서 사용되는 거듭제곱 표현 방식은 다음과 같다.
표현 방식 사용 언어 `x ^ y` AWK , BASIC, J, MATLAB, 울프럼 언어 (Mathematica), R , 마이크로소프트 엑셀 , Analytica, TeX (및 파생), TI-BASIC, bc (정수 지수), Haskell (음이 아닌 정수 지수), Lua, 및 대부분의 컴퓨터 대수 시스템.`x y` 포트란 문자 집합은 소문자나 `+-*/()&=.,'` 이외의 구두점을 포함하지 않았으므로 지수를 위해 ``를 사용했다. [45] [40] (초기 버전에서는 `a xx b`를 사용했다. [44] ) Ada, Z 셸 , Korn 셸, Bash, COBOL, CoffeeScript, 포트란 , FoxPro, Gnuplot, Groovy, 자바스크립트 , OCaml , ooRexx, F#, Perl, PHP , PL/I , 파이썬, Rexx, 루비 , SAS, Seed7, Tcl , ABAP , Mercury, Haskell (부동 소수점 지수), 튜링, VHDL .`x ↑ y` Algol 참조 언어, 코모도어 BASIC, TRS-80 레벨 II/III BASIC. [41] [42] `x ^^ y` Haskell (분수 밑, 정수 지수), D . `x⋆y` APL .
대부분의 중위 지수 연산자가 있는 프로그래밍 언어에서, 이것은 오른쪽 결합이다. 즉, `a^b^c`는 `a^(b^c)`로 해석된다. [43] 이는 `(a^b)^c`가 `a^(b*c)`와 같아서 덜 유용하기 때문이다. 일부 언어에서는 왼쪽 결합성을 가지며, 특히 Algol, MATLAB, 마이크로소프트 엑셀 수식 언어에서 그렇다. 함수 표기법을 사용하는 경우도 있다.
표현 방식 사용 언어 `(expt x y)` Common Lisp. `pown x y` F# (정수 밑, 정수 지수).
일부 언어에서는 표준 라이브러리의 일부로 거듭제곱 기능을 제공한다.
표현 방식 사용 언어 `pow(x, y)` C , C++ ( `math` 라이브러리).`Math.Pow(x, y)` C#. `math:pow(X, Y)` Erlang. `Math.pow(x, y)` 자바 .`[Math]::Pow(x, y)` PowerShell.
정적으로 타입 지정되고 타입 안전성을 우선시하는 러스트 와 같은 일부 언어에서 지수는 다양한 방법을 통해 수행된다.
표현 방식 조건 `x.pow(y)` `x`와 `y`가 정수인 경우 `x.powf(y)` `x`와 `y`가 부동 소수점 숫자인 경우 `x.powi(y)` `x`가 float이고 `y`가 정수인 경우
컴퓨터에서 지수를 자연수로 하는 거듭제곱을 효율적으로 수행하는 연산 방법으로 '''이진법''' (이진수 법)이라고 불리는 연산 방법이 있다.RSA 암호 나 확률적 소수 판별법인 페르마 검사 등에서는 거대한 자연수를 지수로 하는 거듭제곱을 수행한다. 이 방법을 사용하면 지수가 아무리 거대하더라도 기껏해야 그 비트 수의 2배 횟수의 곱셈 으로 산출하는 것이 가능하며, 반복해서 곱하는 것보다 훨씬 효율이 좋아진다. 특히 RSA 암호나 페르마 검사 등에서 각 연산 후에 필요하게 되는 나머지 연산 (일반적으로 가장 계산 시간이 많이 소요됨) 횟수를 줄이는 효과가 있다. 일반적으로 컴퓨터에게 표준적인 (32비트 컴퓨터라면 약 4억까지) 자연수나 부동 소수점을 밑으로 하는 경우에는 하위 자릿수부터 계산하는 방식을, 앞서 언급한 바와 같이 거대한 자연수를 밑으로 하는 경우에는 상위 자릿수부터 계산하는 방식을 사용하면 효율이 좋다. 이진법은 다음 성질을 이용한다. : (a^x)^2 = a^{2x} 예를 들어 (a^8)^2 = a^{16} 이다. 따라서 `a` (즉, a^1 )부터 시작하여 제곱을 반복하면 다음과 같다. : a^1 \to a^2 \to a^4 \to a^8 \to a^{16} \to a^{32} \to \cdots 이러한 수들 중에서 적절한 것을 선택하여 곱하면 임의의 거듭제곱을 빠르게(즉, 적은 곱셈 횟수로) 계산할 수 있다 [69] . 예를 들어 a^{43} 은 지수 법칙에 의해, : a^{43} = a^{32+8+2+1} = a^{32} \times a^8 \times a^2 \times a^1 으로 계산할 수 있다.컴퓨터 의 알고리즘 으로 쓰면 다음과 같다. # 지수를 `n`으로 하고, 제곱해 가는 값 `p := a`, 결과값 `v := 1`로 한다. # `n`이 0이면, `v`를 출력하고 종료한다. # `n`의 최하위 자릿수가 1이면 `v := v * p`로 한다. # `n := [n/2]`로 하고(소수점 버림), `p := p * p`로 하여 2로 돌아간다. 정수의 내부 표현이 이진법인 컴퓨터라면, 4에서 나눗셈 대신에 시프트 연산을 사용할 수 있다. 이 방식은 `a`가 부동 소수점 수이거나 최종 결과가 레지스터에 들어가는 것을 알 때 효율적이다. 또한 곱셈에 몽고메리 곱셈 등을 사용하여 멱승 나머지를 계산하는 경우에도 이 방식으로 충분한 효율을 얻을 수 있다. 다음과 같은 성질을 사용한다. : a^{2x} = (a^x)^2 여기에 성질 a^{x+1} = a^x \cdot a 를 결합하면, 다음 관계가 성립한다. : a^{2x+1} = ( a^x )^2 \cdot a 지수가 짝수인지 홀수인지에 따라 이 두 식을 적절히 사용하며, 지수를 순차적으로 약 1/2로 줄여나갈 수 있다. 컴퓨터 알고리즘으로 나타내면 다음과 같다. : 지수 `n` 의 이진 표기를 `n`으로 하고, `n`의 최하위 자릿수를 `n[0]`, 최상위 자릿수를 `n[m]`, 최하위에서부터 `k`번째 자릿수를 `n[k]`로 표기한다. # 결과값 `v := 1`로 하고, # `k := m`으로 한다(최상위). # `v := v * v` # `n[k]`가 1이면 `v := v * a`로 한다. # `k := k - 1` # `k ≧ 0` 이면 3.으로 돌아간다. 이 방식에서는, 4. 에서의 곱수가 항상 `a` 이므로, 하위 자릿수부터 계산하는 방식에 비해 곱수의 자릿수가 작아져, 계산 시간이 단축된다. 이는 특히, 레지스터에 담을 수 없는 거대한 자연수를 다룰 경우에 현저하게 나타난다. 단, (RSA 암호처럼) 거듭제곱의 나머지를 계산하는 경우로서 법의 크기가 `a` 와 동일한 정도라면, 이 효과는 없다. 또한 4. 에서의 곱수가 항상 `a` 이므로, 미리 `a`가 상수(2나 10 등, 또는 디피-헬만 키 공유의 생성원 `g` 등)라는 것을 알고 있는 경우에는, 4. 의 곱셈을 최적화할 수 있다. 거대한 자연수의 범용적인 멱승 루틴(`a`가 작을 가능성이 높다)이나, `a`가 작거나 상수임을 알고 있는 경우, 멱승의 나머지를 계산하는 경우로서 몽고메리 연산을 사용하지 않고 별도로 나머지를 계산하는 경우, 수를 유지하는 비용이 높은 경우 등, 지수를 이진 표기하는 비용 이상의 효율을 얻을 수 있는 경우에 선택된다.
참조
[1]
웹사이트
Basic rules for exponentiation
https://mathinsight.[...]
2020-08-27
[2]
MathWorld
Power
2020-08-27
[3]
문서
multiplication
[4]
웹사이트
Exponent | Etymology of exponent by etymonline
https://www.etymonli[...]
[5]
서적
Advanced Modern Algebra, Part 1
https://www.ams.org/[...]
American Mathematical Society
2015
[6]
서적
The Beginnings of Greek Mathematics
https://archive.org/[...]
D. Reidel
1978
[7]
서적
A Short Account of the History of Mathematics
https://archive.org/[...]
Macmillan
1915
[8]
간행물
THE SAND-RECKONER
Cambridge University Press
2009
[9]
MacTutor
Abu'l Hasan ibn Ali al Qalasadi
[10]
서적
A History of Mathematical Notations
https://archive.org/[...]
The Open Court Company
1928
[11]
서적
A History of Mathematical Notations
https://archive.org/[...]
Open Court Publishing Company
1928
[12]
웹사이트
Earliest Known Uses of Some of the Words of Mathematics (E)
https://jeff560.trip[...]
2017-06-23
[13]
서적
Arithmetica integra
https://archive.org/[...]
Johannes Petreius
1544
[14]
웹사이트
Zenzizenzizenzic
https://www.worldwid[...]
World Wide Words
2020-04-16
[15]
서적
A History of Mathematical Notations
https://archive.org/[...]
The Open Court Company
1928
[16]
서적
Discourse de la méthode [...]
http://gallica.bnf.f[...]
Jan Maire
1637
[17]
MacTutor
Etymology of some common mathematical terms
[18]
OED
involution
1806
[19]
웹사이트
Scientific notation: working with orders of magnitude
https://www.visionle[...]
[20]
서적
Abstract Algebra: an inquiry based approach
https://books.google[...]
CRC Press
2014
[21]
서적
Technical Shop Mathematics
https://books.google[...]
Industrial Press
2005
[22]
서적
Trends in the Historiography of Science
Springer Netherlands
[23]
서적
Thomas' Calculus
Pearson
2018
[24]
서적
Calculus: Early Transcendentals
https://archive.org/[...]
John Wiley & Sons
2012
[25]
서적
Elements of Real Analysis
Jones and Bartlett
2011
[26]
서적
Analysis I
[27]
서적
Introduction to Algorithms
http://highered.mcgr[...]
MIT Press
2001
[28]
서적
Difference Equations: From Rabbits to Chaos
Springer
2005
[29]
MathWorld
Principal root of unity
[30]
저널
Aufgaben und Lehrsätze, erstere aufzulösen, letztere zu beweisen
https://www.digizeit[...]
1827
[31]
문서
power associativity
[32]
서적
Algèbre
Springer
1970
[33]
서적
Linear Algebra and Geometry
https://archive.org/[...]
Cambridge University Press
1979
[34]
서적
Elementary Linear Algebra
[35]
citation
Linear algebra and its applications
Brooks-Cole
1988
[36]
서적
Functional Analysis and Semi-Groups
American Mathematical Society
[37]
서적
Topologie générale
[38]
논문
A Survey of Fast Exponentiation Methods
http://www.ccrwest.o[...]
2024-01-11
[39]
서적
Unicode Demystified: A Practical Programmer's Guide to the Encoding Standard
Addison-Wesley Professional
[40]
서적
Introduction to Digital Computing and FORTRAN IV with MTS Applications
[41]
뉴스
BASCOM - A BASIC compiler for TRS-80 I and II
https://books.google[...]
Popular Computing, Inc.
2020-02-06
[42]
논문
80 Contents
https://archive.org/[...]
1001001, Inc.
2020-02-06
[43]
서적
Concepts of Programming Languages
Addison-Wesley
[44]
Preliminary report
Specifications for: The IBM Mathematical FORmula TRANSlating System, FORTRAN
https://archive.comp[...]
Programming Research Group, Applied Science Division, International Business Machines Corporation
2022-07-04
[45]
서적
The FORTRAN Automatic Coding System for the IBM 704 EDPM: Programmer's Reference Manual
https://archive.comp[...]
Applied Science Division and Programming Research Department, International Business Machines Corporation
2022-07-04
[46]
서적
Taschenbuch der Mathematik
Verlag Harri Deutsch, B. G. Teubner Verlagsgesellschaft
1987-01-01
[47]
서적
NIST Handbook of Mathematical Functions
http://www.cambridge[...]
National Institute of Standards and Technology (NIST), U.S. Department of Commerce, Cambridge University Press
2010-01-01
[48]
서적
Springer-Handbuch der Mathematik I
Springer Spektrum, Springer Fachmedien Wiesbaden
2013-01-01
[49]
서적
A History of Mathematical Notations
https://books.google[...]
Open court publishing company
2016-01-18
[50]
서적
Formulaire mathématique
1903-01-01
[51]
논문
On a Remarkable Application of Cotes's Theorem
Royal Society of London
1813-01-01
[52]
서적
A Collection of Examples of the Applications of the Calculus of Finite Differences
https://archive.org/[...]
Printed by J. Smith, sold by J. Deighton & sons
2020-08-04
[53]
서적
Introductio in analysin infinitorum
https://gallica.bnf.[...]
Marc-Michel Bousquet
1748-01-01
[54]
웹사이트
Abu'l Hasan ibn Ali al Qalasadi
[55]
서적
A History of Mathematical Notations, Vol I
Cosimo Classics
[56]
서적
La Géométrie
http://gallica.bnf.f[...]
Jan Maire
[57]
웹사이트
Zenzizenzizenzic - the eighth power of a number
http://www.worldwide[...]
World Wide Words
2010-03-19
[58]
웹사이트
involution
http://www.m-w.com/d[...]
[59]
웹사이트
冪指数
https://dictionary.g[...]
[60]
서적
Arithmetica integra
https://books.google[...]
Johannes Petreius
[61]
웹사이트
Etymology of some common mathematical terms
[62]
서적
「算木」を超えた男
東洋書店
[63]
논문
Aufgaben und Lehrsatze, erstere aufzulosen, letztere zu beweisen
http://gdz.sub.uni-g[...]
Walter de Gruyter
[64]
서적
Algèbre
Springer
[65]
서적
Elementary Linear Algebra
[66]
서적
Linear algebra and its applications
Brooks-Cole
[67]
서적
Functional Analysis and Semi-Groups
American Mathematical Society
[68]
서적
Elements of Mathematics, Theory of Sets
Springer-Verlag
[69]
서적
C言語による最新アルゴリズム事典
技術評論社
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com