다항식의 나머지 정리
(다항식 나머지 정리에서 넘어옴)
비슷한 이름의 베주 정리에 관해서는 해당 문서를 참조하십시오.
나머지 정리는 여기로 연결됩니다. 다른 뜻에 대해서는 중국인의 나머지 정리 문서를 참고하십시오.
대수학에서 (다항식) 나머지 정리((多項式)-定理, 영어: (polynomial) remainder theorem) 또는 베주의 소정리(영어: Little Bézout's theorem, 프랑스의 수학자인 에티엔 베주에서 이름을 따옴)[1]는 다항식을 1차 다항식으로 나눈 나머지를 구하는 정리이다. 대략 다항식 를 1차 다항식 로 나눈 나머지가 라는 내용이다.
나눗셈 정리의 따름정리이며 인수 정리를 특수한 경우로 포함한다. 후자에 따르면 는 인 경우에만 의 배수이다.[2] 여러 개의 근을 갖는 다항식은 인수 정리를 반복적으로 적용하여 인수분해할 수 있다.[3]
정의 편집
가환환 및 다항식 및 가 주어졌다고 하자. 나머지 정리에 따르면, 다항식 를 다항식 로 나눈 나머지는 이다.
더 일반적으로, 환 및 다항식 및 중심의 원소 가 주어졌다고 하자. 나머지 정리에 따르면, 다항식 를 다항식 로 나눈 나머지는 이다.
증명 편집
나눗셈 정리를 통한 증명:
테일러 전개를 통한 증명:
증명3:
가 의 배수임을 보이면 된다. 는
꼴의 다항식들의 -선형 결합이므로 의 배수가 맞다.
예 편집
다항식 에서 으로 나눈 몫과 나머지는 각각 과 이다. 따라서 이다.
응용 편집
나머지 정리에 따라, 는 를 로 나누는 조립제법을 통해 계산할 수 있다. 함수에의 대입은 직접 계산하는 것보다 조립제법을 사용하는 방법이 계산의 대가가 더 적다.
인수 정리는 나머지 정리에서 인 특수한 경우이다.
각주 편집
- ↑ Piotr Rudnicki (2004년). “Little Bézout Theorem (Factor Theorem)” (PDF). 《Formalized Mathematics》 12 (1): 49–58.
- ↑ Larson, Ron (2014), College Algebra, Cengage Learning
- ↑ Larson, Ron (2011), Precalculus with Limits, Cengage Learning