연립방정식
최근 수정 시각:
|
|
聯立方程式(연립방정식) / simultaneous equations
方程式系(방정식계) / system of equations
방정식계라고도 한다. 방정식 중에서 복수의 방정식이 세트로 묶여 있는 것을 일컫는다.
미지수가 2~3개 정도인 1차 연립방정식 정도는 여러 가지의 초보적인 계산법이 있긴 하지만, 가장 확실하고 보편적인 방법은 행렬을 이용하는 것이다.
미지수의 개수에 따라 n원 연립방정식으로 정의한다.[1] 경제학과 학생들의 주적. (구조 공학도에게도 주적이다)
가장 널리 알려진 연립방정식으로는 맥스웰 방정식이 있다.
1차 연립방정식에 대해 처음 배울 때 실생활에 비유해서 흔히 나오는 설명이 바로 '동물의 마리 수와 다리 수 계산하기'이다. 가령 닭과 토끼가 총 a마리가 있고 다리 수를 모두 더하면 b개가 될 때 닭과 토끼는 각각 몇 마리인지 계산하는 것.
方程式系(방정식계) / system of equations
방정식계라고도 한다. 방정식 중에서 복수의 방정식이 세트로 묶여 있는 것을 일컫는다.
미지수가 2~3개 정도인 1차 연립방정식 정도는 여러 가지의 초보적인 계산법이 있긴 하지만, 가장 확실하고 보편적인 방법은 행렬을 이용하는 것이다.
미지수의 개수에 따라 n원 연립방정식으로 정의한다.[1] 경제학과 학생들의 주적. (구조 공학도에게도 주적이다)
가장 널리 알려진 연립방정식으로는 맥스웰 방정식이 있다.
1차 연립방정식에 대해 처음 배울 때 실생활에 비유해서 흔히 나오는 설명이 바로 '동물의 마리 수와 다리 수 계산하기'이다. 가령 닭과 토끼가 총 a마리가 있고 다리 수를 모두 더하면 b개가 될 때 닭과 토끼는 각각 몇 마리인지 계산하는 것.
위의 꼴로 정리되는 방정식을 뜻한다. 중학교 2학년 때 배우며, 일차함수, 직선의 방정식하고도 연결된다. [3] 선형 연립 방정식이라고도 한다. 선형을 수식의 형태로 나타내면 일차가 되므로 같은 말이다. 선형대수학에서는 벡터 공간에서 벡터 공간으로 가는 함수[4]로써 다루게 된다.
역사적으로 본다면 행렬은 '연립 일차 방정식의 풀이를 어떻게 하면 될까'라는 고민을 한데서 시작했다. 아서 케일리가 연구하던 중에 의 값에 따라 연립 방정식의 해가 다르게 나오는 것을 보고 얘네가 해를 판별한다는 관점에서 determinant라고 부른데서 행렬식이 탄생했고, 윌리엄 로원 해밀턴이 '야, 그러면 연립 방정식의 계수랑 변수를 따로 떼어내서 쓰면 어떨까?'라는 생각에서 행렬이 탄생했다(그래서 역사적으로 따지고 보면 행렬식이 먼저 나오고 행렬은 나중에 나온 것이다).
연립 방정식의 풀이는 크게 두가지 관점으로 나뉘는데, '해가 존재 하는가? 존재하지 않는가?'라는 관점이 있고, '해가 존재하는가? 그러면 한 쌍만 나오는가? 아니면 여러개 나오는가?'라는 관점이 있다.
연립방정식 중에서 가장 만만한 녀석이므로 해법이 다양한 편이다.
- 대입법: 연립방정식의 한 식을 한 문자에 관해서 푼 후 다른 식에 대입해서 푼다.
- 미지수가 2개라면 간단한 근의 공식이 생긴다.
가 주어졌을 때- 위쪽 식을 이항해서 정리하면
- 이 식을 아래 식 에 넣고 에 대해서 풀면 가 된다.
- 여기서 를 구하는 식에 의 값을 넣어서 풀면 가 된다.
- 이 근의 공식을 행렬로 표현하면 위에서 말한 '역행렬'과 동치가 된다:
- 고1 수학 나머지정리 때도 쓰이며 이차함수 풀 때도 쓰이는 녀석이다.
연립일차방정식을 푸는 것은 생각 이상으로 중요한데, 대부분의 컴퓨터 시뮬레이션이 복잡한 방정식들을 연립일차방정식으로 바꿔[9] 이를 푸는 방식을 갖고 있기 때문이다. 기계공학에서의 FEM(Finite Element Method; 유한요소해석)이 대표적인 예. 다만, 이러한 방정식들은 미지수가 기본적으로 몇백 개가 넘어가기 때문에[10] 손으로 푸는 것은 불가능에 가깝고, 위에서 언급한 방법 중 가우스 소거법이나 역행렬을 사용하는 방법을 n차 정사각행렬의 경우로 일반화하여 이용하게 된다. 실제로, 연립방정식을 일정 이상의 정확도로 빠르게 푸는 것은 초기 선형대수학의 중요한 과제 중 하나였고 이 학문이 발전하는 중요한 계기였다.
다음 연립방정식의 해를 구하시오.
고등학교 올라가면[15] 간혹 시험문제에 이런 연립방정식이 나온다. 푸는 방법은 먼저 미지수 하나를 없앤다. 그리고 두 개의 미지수를 구한 다음에 마지막으로 소거한 미지수를 얻는다. 대입법이나 가감법으로 어떤 미지수를 먼저 없애느냐, 행렬을 이용해 한 번에 처리하는 식으로 푸느냐에 따라 풀이 방법이 다양하게 나올 수 있다. 여기에서는 3가지 풀이 방법만 소개한다. 이 외에도 무수히 많다.
고등학교 올라가면[15] 간혹 시험문제에 이런 연립방정식이 나온다. 푸는 방법은 먼저 미지수 하나를 없앤다. 그리고 두 개의 미지수를 구한 다음에 마지막으로 소거한 미지수를 얻는다. 대입법이나 가감법으로 어떤 미지수를 먼저 없애느냐, 행렬을 이용해 한 번에 처리하는 식으로 푸느냐에 따라 풀이 방법이 다양하게 나올 수 있다. 여기에서는 3가지 풀이 방법만 소개한다. 이 외에도 무수히 많다.
이므로 대신 를 대입해주면 된다. 그러면
, 이 나온다. 정리해주면
, 이 나오고, 에 대입해주면 임을 알 수 있다.
에서
㉠-㉡에서
이때 이므로
, ,
를 세번째 방정식에 대입하면
두번째 방정식을 ㉠라 할 때 3×㉠+2×㉡을 하면
,
,
두번째 방정식을 ㉠라 할 때 3×㉠+2×㉡을 하면
,
,
또는
여러 다항방정식을 연립하였을 때, 연립방정식의 차수를 말하려면 원칙적으로는 모든 방정식의 차수가 같아야 하나, 통상 가장 높은 방정식의 차수를 기준으로 말하기도 한다.[16]
차수가 2 이상인 연립방정식은 1차 연립방정식에 비해 풀이가 많이 복잡한 편이다. 보통 인수분해를 이용하거나, 미지수 하나를 상수취급하여 근의 공식을 사용하여 대입하는 방법도 있다[17]. 하지만 근의 공식을 사용하게 된다면 근호 안에 들어있는 값들 때문에 연립방정식을 풀려다 무리방정식을 풀게 될 수도 있다. 참고로 무리방정식은 교육과정 개편이 되면서 사라졌다.
고급 테크닉으로는 이 식에 미분(!!)을 해서 해를 구하는 경우가 있는데, 길을 잘못 들면 혹 떼려다 혹 붙이는 꼴이 되니 주의.
연립일차방정식과 비슷하게 이차형식이나 삼차형식 등으로 선형 변환한 뒤, 대각화를 이용해서 빠르게 풀 수 있다.
고교 과정에서는 미지수 두 개가 엉겨붙어 있는 식(xy 등)의 형태는 가르치지 않는다. 그래서 고교과정에서는 평면좌표를 이용해서 풀 수도 있다.
여담으로 위의 식은 그래프로 나타내면 두 원뿔곡선의 교점, 원뿔곡선과 직선의 교점이 근이 된다.
- 인수분해가 되는 이차식이 하나라도 있으면 그걸 인수분해해서 이차식 & 일차식 꼴로 바꾸어 푼다.
- 인수분해가 되는 게 없으면 두 식에 적당한 수를 곱하거나 나누어서 서로 더했을 때 이차항[19]이 소거되는지 확인한다.
만약 가능하다면 위 1번의 인수분해가 되는 꼴로 바뀐다. - 그래도 안 되면 상수항을 적당히 소거할 수 있는지 확인한다.
만약 가능하다면 위 1번의 인수분해가 되는 꼴로 바뀐다. - 그래도 안 되면 근의 공식을 사용한다.
뭇 수학자와 물리학 전공자들을 멘탈 붕괴로 이끄는 진 최종보스. 위의 방정식은 두 종류의 생물 간의 관계를 선형화하여 나타낸 로지스틱 방정식의 일종인 로트카-볼테라 방정식.
식 한 개만으로도 푸는 사람을 괴롭게 만드는 미분방정식[23]이 둘 이상 있다고 보면 되는데, 이것이 얼마나 무시무시하고 끔찍한(...) 상황인 지는 더 이상 말할 필요가 없다. 그나마 위의 식은 상미분방정식이라서 그나마 낫지만, 편미분방정식이 연립방정식으로 묶여 있다면... 더 이상의 자세한 설명은 생략한다..
단, 위에 언급된 로지스틱 방정식과 같이 1차 상미분방정식으로만 이루어진 연립미분방정식은 선형대수학의 이론을 사용하여 행렬을 이렇게 저렇게 만지작거려 일반해를 구할 수 있다. 보통 학부 수준의 선형대수학이나 미분방정식을 공부하면서 이를 배운다. 다만 이를 푸는 방법을 제대로 이해하려면 고윳값(Eigenvalue)이나 '함수를 벡터로 바라보는' 선형대수학적 개념을 반드시 알아야 하기에 궁금한 분들은 여기서 답을 찾지 말고 본인들의 전공책에서 해법을 찾는 것을 추천한다. 애초에 위의 과목들에서도 이에 대한 내용만 한 단원 전체에 걸쳐 다루기 때문에 여기다 서술하기에는 여백이 남아나지 않을 정도다. 공업수학 및 수리물리학 등에서 넘어야 할 산 중 하나.
편미분으로 이뤄진 연립미분방정식 중 하나인 런던 방정식으로, 초전도체에 관련되어 있다. 익히 잘 알려져 있는 맥스웰 방정식도 편미분 연립미분방정식이다.
참고로 위와 같은 편미분 연립방정식은 전자기학과 양자역학에서 많이 출현한다.
혼돈의 대표적인 예시로 드는 이중 진자 역시 연립미분방정식의 일종이다. 비선형 미분방정식 두 개만으로도 어디까지 복잡해지는 지를 단적으로 보여준다.
출처
바늘 가는 데 실 간다고, 적분방정식에도 연립방정식이 있다.
미적분의 특성상 연립미분방정식은 발산 정리와 스토크스 정리를 통해 연립적분방정식으로 상호 변환이 가능하다.
[1] 이에 비추어 미지수가 하나인 방정식을 '일원방정식'이라고 한다.[2] 聯立線刑方程式(연립선형방정식)이라고도 부른다. 선형방정식과 일차방정식은 동의어이다.[3] 단, a, b, c, d는 수, !=0[4] 이를 선형사상이라고 한다[5] 이를 기본행연산이라고 한다.[6] 그런데 이 때 꼴의 항이 있으면 이차방정식이 돼서 풀기가 더 어려워진다(...). 항을 잘 보고 판단하자.[7] 이 때 가우스 소거법을 쓸 수 있다.[8] 엄밀한 명칭은 등치법이다.[9] 이렇게 할 수 없는 방정식도 있는데 이를 '비선형 방정식'이라고 한다. 단진자 운동의 해석이 가장 대표적으로 알려진 예.[10] 복잡한 방정식들을 선형으로 '근사'하는 과정에서 미지수가 다량으로 발생한다. 따라서 미지수가 많아질수록 시뮬레이션의 정확도가 높아진다. 다만 계산 시간도 한참 늘어나겠지만...[11] [Matrix calculator]연립 선형 방정식 풀기https://matrixcalc.org/ko/slu.html[12] [13] [14] [15] 2015 개정 교육과정에서는 공간벡터가 삭제되면서 같이 삭제되어 현재는 다루지 않는다.[16] 즉, 연립이차방정식은 이차방정식만을 연립한 방정식을 뜻하지만, 통상 일차방정식과 이차방정식을 연립한 연립방정식 또한 연립이차방정식이라고 말하기도 한다.[17] 1차 연립방정식의 대입법과 비슷하다.[18] 편의상 이차식의 첫 번째 근을 , 두 번째 근을 라고 하자. 그러면 이에 대응하는 , 도 각각 찾아낼 수 있다.[19] 여기서 이차항은 항을 말한다.[20] 이 문제는 로 치환해서 의 타원곡선 꼴로 바꿀 수 있다.[21] 한때 인터넷에서 'MIT 졸업생의 95%는 못 푸는 문제'라는 이름으로 유행했던 방정식. 에르되시 번호 2인 Alon Amit이 무려 79, 80, 81자리나 되는 해를 제시했다. 이 문제는 95%는커녕 99.999995%는 못 풀고, 이중에는 정수론을 전공하지 않은 대학교 수학 교수도 포함될 것이라는 단언과 함께.[22] 여담으로 저 식에서 집합 표기를 에서 로 바꾸게 되면 훨씬 간단한 수에서도 해가 나온다. 대표적인 해는 .[23] 당장 밀레니엄 문제 중 하나인 나비에-스톡스 방정식만 해도 1개짜리 식이다!
이 저작물은 CC BY-NC-SA 2.0 KR에 따라 이용할 수 있습니다. (단, 라이선스가 명시된 일부 문서 및 삽화 제외)
기여하신 문서의 저작권은 각 기여자에게 있으며, 각 기여자는 기여하신 부분의 저작권을 갖습니다.
나무위키는 백과사전이 아니며 검증되지 않았거나, 편향적이거나, 잘못된 서술이 있을 수 있습니다.
나무위키는 위키위키입니다. 여러분이 직접 문서를 고칠 수 있으며, 다른 사람의 의견을 원할 경우 직접 토론을 발제할 수 있습니다.