[주의!] 문서의 이전 버전(에 수정)을 보고 있습니다. 최신 버전으로 이동
분류

1. 개요[편집]

반대말은 제곱[1]. x2=ax^2=a 일 때 x=ax=\sqrt{a}, x=ax=-\sqrt{a}라고 하며 기호 \sqrt{}를 쓴다. 근호가 뿌리처럼 생겼다고 해서 기호 이름이 루트이다.

2. 표현[편집]

실수 aa에 대하여 제곱근을 말할 때, "aa 제곱근"과 "제곱근 aa" 두 용례의 혼동에 주의하자.
  • "aa의 제곱근"은 개요에서 설명하다시피 a\sqrt{a}, a-\sqrt{a}를 가리킨다.
  • "제곱근 aa"는 a\sqrt{a}를 가리킨다.
    • 따라서 "'aa의 제곱근'은 '플러스 제곱근 aa'와 '마이너스 제곱근 aa'이다." 라고 말해야 한다.
이는 세제곱근, 네제곱근 등 거듭제곱근에도 동일하다. 단, 제곱근의 개수와 그에 따른 표현이 홀수이냐 짝수이냐에 따라 다를 뿐이다.
  • 이를테면 a3\sqrt[3]{a}은 "세제곱근 aa", "aa실수의 세제곱근"으로 불러야 한다. (그렇지 않으면 허수 문단에서 설명하는 ω\omega까지 가리키게 된다.)
  • 또 이를테면 a4\sqrt[4]{a}는 "네제곱근 aa", "aa의 네제곱근"으로 불러야 한다. "의 네제곱근"인 a4-\sqrt[4]{a}가 있기 때문.

한편 제곱근은 "분수"의 지수로 표현할 수 있다. 이를테면 a\sqrt{a}의 경우 a=a12\sqrt{a} = a^{{1}\over{2}}로 지수에 12{{1} \over {2}}을 적음으로써 표현할 수 있다.
세제곱근의 경우 지수에 13{{1} \over {3}}을 적음으로써 표현할 수 있다.

더시드엔진에서는 다음 TeX 문법을 사용하여 호출할 수 있다.
[math(\sqrt{a})] : 제곱근 aa
[math(\sqrt[n]{a})] : nn 제곱근 aa
자세한 TeX 문법에 대하여는 다음의 나무위키 도움말 문서 또는 다음의 (<math>...</math>입력과 [math(...)] 입력의 차이를 제외하고)위키피디아 도움말 문서를 참조할 수 있다.

3. 허수[편집]

허수 문서 참조.

3.1. i의 제곱근[편집]

ii의 제곱근은 무엇인가 생각할 수 있다. 곧 x2=ix^2=i를 만족하는 xx가 무엇인지 궁금할 수 있다.

이는 앞의 x2=ix^2=i에서 대소를 비교할 수 있는 수(실수)인 aa, bb에 대하여 x=a+bix=a+bi로 치환한 방정식 (a+bi)2=i\left(a+b i\right)^2=i을 풀어보면 된다.
좌변을 전개하면 (bi)2=b2\left(bi\right)^{2}=-b^{2}가 되므로
a2b2+2abi=ia^{2}-b^{2}+2ab i=i을 얻는다. 두 복소수가 같으려면 실수부끼리 같아야 하면서 허수부끼리 같아야 한다는 사실에 기반하여 이 식의 양변에서 실수부와 허수부를 비교해보면 미지수 aa, bb에 대한 연립이차방정식을 얻을 수 있다.
{a2b2=0(실수부)2ab=1(허수부)\begin{cases} a^{2}-b^{2}=0 \quad\text{(실수부)} \\ 2ab=1 \quad\text{(허수부)} \end{cases}
실수부의 좌변을 인수분해하면
(a+b)(ab)=0\left(a+b\right)\left(a-b\right)=0이 되므로
a=ba=b 또는 a=ba=-b 이라는 결과를 얻는다.

a=ba=-b를 허수부인 2ab=12ab=1에 대입하여 미지수 aa를 소거하면 2b2=1-2b^{2}=1을 얻는다. 이는 정리하면 b2=12b^{2}=-{{1}\over{2}}가 되는데, bb가 실수라는 조건에 모순이 된다.

한편 a=ba=b를 허수부인 2ab=12ab=1에 대입하여 미지수 aa를 소거하면 2b2=12b^{2}=1을 얻고, 정리하면 b2=12b^{2}={{1}\over{2}}가 되어 다음을 얻게 된다.
b=22b={{\sqrt{2}}\over{2}} 또는 b=22b=-{{\sqrt{2}}\over{2}}
이를 a=ba=b에 대입하면 다음을 얻는다.
a+bi=22+22ia+bi={{\sqrt{2}}\over{2}}+{{\sqrt{2}}\over{2}}i 또는 a+bi=2222ia+bi=-{{\sqrt{2}}\over{2}}-{{\sqrt{2}}\over{2}}i
정리하면 x=a+bix=a+bi에서
x=22+22ix={{\sqrt{2}}\over{2}}+{{\sqrt{2}}\over{2}}i 또는 x=2222ix=-{{\sqrt{2}}\over{2}}-{{\sqrt{2}}\over{2}}i라는 해를 얻는다.

따라서 ii의 제곱근은 22+22i{{\sqrt{2}}\over{2}}+{{\sqrt{2}}\over{2}}i2222i-{{\sqrt{2}}\over{2}}-{{\sqrt{2}}\over{2}}i임을 알 수 있다.

한편 ii의 제곱근을 조금 식을 바꿔 표현하면 다음과 같이 된다.
cos(π4)+isin(π4)\cos\left({{\pi} \over {4}}\right)+i \sin\left({{\pi} \over {4}}\right), cos(5π4)+isin(5π4)\cos\left({{5\pi} \over {4}}\right)+i \sin\left({{5\pi} \over {4}}\right)
실제로 복소평면[2]상에서 삼각함수를 이런 용도로도 사용할 수 있다. ii의 경우 i=cos(π2)+isin(π2)i=\cos\left({{\pi} \over {2}}\right)+i \sin\left({{\pi} \over {2}}\right)가 된다.

3.2. 세제곱근[편집]

세제곱근 8인 8=838 = \sqrt[3]8 은 실수 범위 내에서는 2이지만 복소수 범위에서는 x=2 ,or x=1±3ix=2 \text{ ,or }x=-1\pm\sqrt{3}i가 있다.

x3=1x^3=-1이나 x3=1x^3=1을 구해야 하는 경우가 있다. 이는 ω\omega 기호를 이용하여 나타내기도 한다.
일단 x31=0x^3-1=0로 이항한 후 인수분해를 하면 x31=(x1)(x2+x+1)=0x^3-1=(x-1)(x^2+x+1)=0 이 식이 되는데, 그러면 근은 x=1  or  x=1±3i2x=1\;\textsf{or}\;x=\dfrac{-1\pm \sqrt 3i}{2} 이 된다. 한 허근이 ω\omega이면 다른 허근은 켤레복소수이므로 ω\overline \omega가 된다.

4. 둘러보기[편집]

[1]y=xy=\sqrt{x} 이 함수는 이차함수에 대해서 역함수다.[2] 수직선을 생각해보면 이해하기 쉬운 개념이다. 실수부 수직선과 직교되는 허수부 수직선이 있다. 흔히 생각하는 좌표평면처럼 되며, 복소수를 점으로 표시할 수 있다. 단, 복소수는 대소를 비교할 수 없음에 유의하자.