나름 개발자의 IT블로그

지난 시간 가볍게 알아본 Resultant를 활용해보자. 가환대수학에 포함되는 Elimination Theory에 있는 매개변수 함수를 음함수로 나타내는 법을 알아볼 것이다. 아직 Resultant의 성질은 알아보지 않았지만 그래도 충분하다. 음함수와 매개변수 함수 수학적인 함수를 표현하는 다양한 방법이 있다. $y = f(x)$같이 나타내는 양함수(Explicit function), $F(x,y) = 0$같이 나타내는 음함수(Implicit function), $x = f(t), y = g(t)$로 나타내는 매개변수 함수(Parameterized function)가 그 예시이다. 각 표현에 있어서 장단점이 있고 여기에서는 음함수와 매개변수 함수에 주목한다. 우리의 질문은 "매개변수로 표현된 함수를 음함..

다항식의 공통 근 두 다항식 $f, g$가 주어질 때 공통 근이 존재하는지 판단하려면 어떻게 해야 할까? 가장 쉬운 방법은 각각의 근을 모두 구하고 겹치는게 있는지 확인하는 것이다. 하지만 이는 2차 다항식까지는 근의 공식으로 편리하게 확인할 수 있지만 3차 이상으로 올라가게 되면 자명한 근 아니면 찾기 힘들어진다. 한 번 알 방법이 있는지 알아보자. 다항식이 공통 근을 가지려면.. $r$차 다항식 $f(x) = a_r x^r + a_{r-1} x^{r-1} + ... + a_1 x + a_0$과 $s$차 다항식 $g(x) = b_s x^s + b_{s-1} x^{s-1} + ... + b_1x^1 + b_0$이 있다. 다항식이 어떤 근 $\alpha$를 가진다는 것은 $x-\alpha$를 인수로 가진다..