로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.중간의 다른 편집과 충돌하여 이 편집을 되돌릴 수 없습니다. 스팸 방지 검사입니다. 이것을 입력하지 마세요!{{다른 뜻|방정식 (배우)||이 이름을 가진 배우}} [[파일:FoundX v2.svg|섬네일|Find x. ]] '''방정식'''(方程式, Equation)이란 간단히 말하자면 어떤 ''<math>x</math>''를 찾는 식으로, 미지수의 값에 따라서 참이 되거나 거짓이 되는 등식이다.<ref>[http://terms.naver.com/entry.nhn?docId=1099560&cid=40942&categoryId=32207 네이버 사전]</ref> 미지수의 값에 따라 참/거짓 여부가 달라지기 때문에 방정식은 일반적으로 [[명제]]가 될 수 없으며, 방정식을 참으로 만드는 미지수의 값을 그 방정식의 '''해''' 또는 '''근'''이라고 부른다. 한 가지 예시를 들어보자. <math>x^2-3x+2=0</math>라는 식은 <math>x</math>가 1 또는 2일 때는 참이지만, <math>x=0</math>일 때는 거짓이다. 따라서 이 식은 방정식이며, 해는 1 또는 2다. 주의할 점은 '''항상 참이거나, 항상 거짓'''인 경우 역시 방정식이라는 것이다. 전자의 경우를 [[항등식]]이라고 하며, 후자의 경우를 불능이라 한다. 이런 경우에는 참/거짓이 분명하므로 [[명제]]가 된다. [[항등식]]의 예는 항목을 참조하고, 불능의 예는 <math>x=x-1</math>, <math>0x=1</math> 등이 있다. 수학적인 직관이 있는 사람이라면 방정식의 해가 항상 존재하는지 아닌지<ref>당연하지만 항등식과 불능의 경우는 제외</ref> 의문을 가질 수 있다. [[대수학의 기본 정리]]라 불리는 이는 18세기 수학의 뜨거운 감자였으며, 많은 수학자들이 증명을 시도하였지만 [[카를 프리드리히 가우스]]가 하나하나 오류를 밝혀가며 그 증명들을 깨부셨다. 그리고선 본인이 그 때 당시에는 완벽한 증명을 보여 [[대수학의 기본 정리]]를 푼 수학자라는 명예를 얻었지만 현대에 와서는 가우스의 증명에도 살짝 오류가 있다는 것이 밝혀졌다.(위상수학적 오류로, 현대 수학에서 쓰이는 해에 관한 위상수학적 내용이 그 당시에는 완전하지 않아서 아러한 오류를 범한 것으로 보인다.) 이에 대한 더 자세한 설명은 해당 문서를 참조하자. == 왜 중요한가? == 방정식 따위를 도대체 왜 배우냐고 묻는 학생들이 많은데, '''세상 거의 모든 것이 다 방정식이다.''' 당신이 용돈을 얼마만큼 받아서 사고싶은 물건을 얼마나 살 수 있는가 같은 것도 실은 간단한 방정식이다. 집에서 학교까지 가는 시간을 계산하는 것도 방정식이며, 지금 자고 새벽에 일어나 몇 시간 공부할 수 있는지 계산하는 것도 방정식이다. 이렇게 간단한 것들도 방정식인데 복잡한 것으로 가면 더욱 말할 것도 없다. 그러니 불평하지 말고 배우자. == 방정식의 종류 == === 일변수 방정식 === 일변수 방정식은 일반적으로 다음과 같은 꼴이다. :<math>\sum_{i=0}^{n}{{a}_{i}}x^{i} = 0</math>. 이 때, <math>a_i</math>가 0이 아닌 i 중에서 가장 큰 i의 값을 n이라고 하자. 그러면 이 방정식을 n차 방정식이라고 한다. ==== 일차방정식 ==== <math>ax+b=0</math>형태의 방정식. 가장 간단한 방정식이며, 미지수를 <math>\square</math>에서 <math>x</math>로 바꿨을 뿐, 초등학교 때 부터 계속 배워온 것이다. 답은 a와 b의 값에 따라 세 가지로 나뉜다. *<math>a\neq0</math>: <math>x=-\frac{b}{a}</math>가 유일한 답이다. *<math>a=0, b=0</math>: <math>x</math>의 값에 상관없이 항상 성립하므로 [[항등식]]이다. *<math>a=0,b\neq0</math>: <math>x</math>의 값에 상관없이 항상 성립하지 않으므로 불능이다. ==== 이차방정식 ==== <math>ax^2+bx+c=0</math>형태의 방정식. 단 <math>a\neq0</math>이다. 중학교 때 처음 배우며, [[인수분해]]와 함께 본격적으로 학생들을 괴롭히기 시작한다. 크게 두 가지 풀이법이 있다. *인수분해: <math>\left(x-\alpha\right)\left(x-\beta\right)=0</math>의 형태로 인수분해를 할 수 있다면 <math>x=\alpha,\beta</math>가 답이다. *근의 공식: 인수분해가 잘 안 된다면 망설이지 말고 바로 근의 공식을 쓰도록 하자. <math>x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}</math>가 답. 만약 <math>b</math>가 짝수라면 <math>b'=b/2</math>로 바꾼 뒤 <math>x=\frac{-b'\pm\sqrt{{b'}^2-ac}}{a}</math>을 쓸 수도 있다. 이 공식은 방정식을 완전제곱꼴로 바꾼 뒤 근호를 씌워 유도할 수 있다. ==== 삼차방정식 ==== 여기서 부터는 [[인수분해]]가 필수. <math>ab=0</math>이라면, <math>a=0</math> 또는 <math>b=0</math>인 것에서 착안하여 일단 다항식을 인수분해한다. 편의상 최고차항의 계수를 1이라고 하면, <math>\left(x-\alpha\right)\left(x-\beta\right)\left(x-\eta\right)=0</math>로 인수분해가 될 것이고, 따라서 <math>x=\alpha,\beta,\eta</math>가 답이 된다. 만약 인수분해가 안되면 '''포기한다'''. 참고로 근의 공식이 있는데, 외울 생각 절대 하지 말자. 직접 보면 안다. 삼차방정식의 근의 공식은 타르탈리아라는 수학자가 발견했는데, 그는 카르다노라는 다른 수학자한테 "절대 발표하지 말 것"이라는 조건으로 근의 공식을 알려줬다. 하지만 카르다노는 이 근의 공식을 당당하게, 그것도 마치 자기가 발견한 것 처럼 세상에 발표했고, 삼차 방정식의 근의 공식은 "카르다노의 공식"이라는 이름이 붙었다. 뒷통수를 맞은 타르탈리아는 카르다노를 죽을 때까지 저주하게 된다. 현대에는 이를 "타르탈리아의 공식"으로 바꾸자고 주장하는 수학자들이 많다. ==== 사차방정식 ==== 이차 이상의 방정식들과 마찬가지로 인수분해를 이용하며, 복이차방정식이라는 것이 존재하는데, 좀 풀기 번거로운 녀석으로 사차항을 이차항으로 치환하여 이차방정식으로 바꾼 뒤 치환한 미지수의 값과 원래 사차항이 같다고 놓고 풀면 복소수 범위에서 무조건 해가 나온다. 인수분해가 되지 않는다면 이차항을 적당히 분리하여 푼다. 만약 치환한 뒤 근의 공식에 대입하면 이중근호가 나오므로 망했어요가 된다. 사차방정식 역시 근의 공식이 있는데, 정말 외울 생각 못 한다. ==== 오차 이상의 고차방정식의 비가해성 ==== 흥미롭게도, 오차 이상의 방정식은 근의 공식이 존재하지 않는다. 증명은 닐스 헨리크 아벨이 했다. 그러나 이것이 근이 존재하지 않음을 의미하는 것은 아니다. 근 자체는 [[대수학의 기본 정리]]에 의해 복소수 범위에서 존재하며, 근의 공식이 존재하지 않는다는 것은 사칙연산과 근호만을 사용한 근의 표현식이 존재하지 않는다는 뜻이다. 이와는 별도로 갈루아는 5차 이상의 방정식의 해를 구할 수 있는 조건에 대한 논문을 발표했는데, 역시 사칙연산과 근호만을 사용해 해를 구하는 것을 뜻한다. === 다변수 방정식 === 변수가 <math>x</math>하나가 아니라 <math>y,z</math>등 여러 개가 있는 경우. 미지수의 개수 > 식의 개수일 경우 일반적으로 [[부정방정식]]이 되며, 미지수의 개수 = 식의 개수일 경우 보통 단 하나의 해, 마지막으로 미지수의 개수 < 식의 개수 일 경우 해가 하나 있거나 없다. [[선형대수학]]의 지식이 필요하며, 더 자세한 것은 [[연립방정식]] 항목을 참조. === 미분 방정식 === 방정식에 미분 계수가 들어가 있는 경우. 더 자세한 내용은 [[미분방정식]] 항목을 참조하자. 참고로 미분방정식이 중요한 이유는 많은 물리학 법칙들이 미분의 형태로 나타나기 때문이다. 대표적인 것으로 <math>F=m\frac{\mathrm{dv}}{\mathrm{dt}}</math>. <math>\frac{\mathrm{dv}}{\mathrm{dt}}</math>가 고정돼 있을 경우 고등학교 물리시간에 많이 본 식인 <math>F=ma</math>가 된다. === 함수 방정식 === 위의 경우들은 모두 변수가 어떤 [[실수]]나 [[복소수]] 값들을 구했다. 함수방정식은 변수가 함수인 경우다. 예를 들어보자. <math>f\left(x+y\right)=f\left(x\right)f\left(y\right)</math>라는 방정식은 <math>f\left(x\right)=a^x</math>일 때 참이 된다. 코시의 함수 방정식도 대표적인 예이며, 중요한 예는 윗문단의 [[미분방정식]]이다. === 기타 === *분수 방정식: 분모에 미지수가 포함되어 있는 방정식을 말한다. 예를 들면 <math>\frac {1}{x}-\frac {1}{x-2}=0.</math>같은 것. 푸는 방법은 [[분모]]의 [[최소공배수]]를 양 변에 곱하여 다항 방정식으로 바꾼 뒤 풀면 된다. 그러면 분수 방정식은 다항 방정식과 차이점이 무엇인지 의문이 들 수 있는데, 바로 무연근의 존재. 무연근이란, 풀기 편한 형태로 바꾼 방정식(위에선, 최소공배수를 곱해 만든 다항방정식)에선 해가 되지만, 원래의 방정식에선 해가 되지 않는 값인데, 예시를 들어보자. <math>\frac{1}{x}=\frac{1}{x\left(x+1\right)}</math>이라는 방정식을 풀기 위해 양 변에, <math>x\left(x+1\right)</math>을 곱하면, <math>x+1=1</math>가 되어 <math>x=0</math>이 된다. 하지만 원래의 방정식의 해는 되지 않는데, 분모를 0으로 만들기 때문이다. [[무연근]]이 존재하는 이유는 다음과 같다. <math>a=b</math>라는 분수방정식을 풀기 위해 최소공배수 <math>L</math>을 곱한다고 해보자. 그러면, <math>aL=bL</math>이라는 형태의 다항방정식이 되는데, 이때 <math>L=0</math>인 경우, <math>a=b</math>가 아니더라도 이 다항방정식은 참이 된다. 이런 경우 무연근이 생기는 것이다. *무리 방정식: 근호에 미지수가 포함되어 있는 방정식을 말한다. 예를 들면 <math>\sqrt{x-2}+x=8</math>. 무리 방정식을 어떻게 푸는 방법은 적당히 거듭제곱을 취해서 근호를 제거, 다항방정식 형태로 만든 뒤 푼다. 무리방정식의 경우도 분수방정식처럼 무연근이 존재할 수 있다. 그 이유는 다음과 같다. <math>a=b</math>를 풀기 위해 양변을 제곱했다 하자. 그럼 <math>a^2=b^2</math>인데, 이 경우 <math>a=-b</math>도 근이 된다. 하지만 원 방정식의 근은 되지 않으며, 이런 경우 무연근이 생긴다. *절대값이 들어간 방정식: <math>\left|x\right|=1</math>같은 경우. 절대값을 풀 때 다른 쪽의 부호가 양수, 음수일 경우로 나눠서 풀면 된다. *삼각 방정식: [[삼각함수]]안에 미지수가 있는 경우. 특별한 경우가 아니면 해가 주기성을 띈다. *지수/로그 방정식: [[지수]], [[로그]]안에 미지수가 있는 경우. 지수 방정식의 경우 밑의 조건에 따라, 로그 방정식의 경우 로그의 조건에 따라 무연근이 생길 수 있으니 주의하자. == 관련 항목 == *[[연립방정식]] *[[미분방정식]] *[[오차방정식]] *[[오일러 방정식]] *[[로지스틱 방정식]] *[[함수방정식]] {{각주}} [[분류:방정식| ]] 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț 이 문서에서 사용한 틀: 틀:각주 (원본 보기) (준보호됨)틀:다른 뜻 (원본 보기) (준보호됨)