최근 수정 시각 : 2021-08-14 16:20:57

나머지 정리

[[대수학|대수학
Algebra
]]
{{{#!wiki style="margin:0 -10px -5px; word-break: keep-all;"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="letter-spacing: -1px"
{{{#!wiki style="margin:-6px -1px -11px"
이론
기본 대상 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해)) · 부등식( 절대부등식) · 방정식( 풀이 · ( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술)
수 체계 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 초월수) · 초실수) · 복소수( 허수) · 사원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요토픽
대수적 구조
군(group) 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring) 아이디얼
체(field) 갈루아 이론
대수 가환대수 · 리 대수 · 불 대수( 크로네커 델타)
마그마 · 반군 · 모노이드 자유 모노이드 · 가환 모노이드
선형대수학 벡터 · 행렬 · 선형사상 · 가군(Module)
정리 · 추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
분야와 관심대상
대수기하학 대수다양체 · 스킴 · 에탈 코호몰로지 · 모티브 · 사슬 복합체
대수적 정수론 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학 스펙트럼
표현론
기타 및 관련 문서
수학 관련 정보 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 }}}}}}}}}}}}


1. 개요2. 나머지 정리3. 활용4. 관련 항목


Polynomial Remainder Theorem

1. 개요

고등학교 1학년 수학에서 항등식의 개념 뒤에 나오는 내용. 한국의 수학 교육과정에서는 다루지 않고 당연하게 받아들이는 나눗셈 정리가 기본 바탕으로 깔려있는 정리이다. 나눗셈 정리를 간단하게 설명하자면, 자연수 [math(b)]를 [math(a)]로 나누었을 때 ([math(b\geq a)]), [math(b=aq+r)]([math(0\leq r<a)])를 만족하는 정수 [math(q,r)]이 유일하게 존재한다는 내용. 이 나눗셈 정리는 다항식에 대해 확장 할 수 있으며, 다항식 버전의 정리는 아래와 같다.
정식 [math(B\left(x\right))]를 정식 [math(A\left(x\right))]로 나누었을 때 [1], [math(B\left(x\right)=A\left(x\right)Q\left(x\right)+R\left(x\right),\,\left(0\leq\deg R\left(x\right)<\deg A\left(x\right)\right))]를 만족시키는 정식 [math(Q\left(x\right),R\left(x\right))]가 유일하게 존재한다. 이 때, [math(Q\left(x\right))]를 몫, [math(R\left(x\right))]를 나머지라고 한다
나머지 정리는 위 나눗셈 정리의 특별한 경우에 대한 따름정리이다.

2. 나머지 정리

[math(x)]에 대한 다항식 [math(f\left(x\right))]를 일차식 [math(x-a)]로 나누었을 때의 나머지는 [math(f\left(a\right))]이다.
위 정리는 일반적인 일차식 [math(ax+b)]에 대해 일반화가 가능하며, 그 내용은 아래와 같다.
[math(x)]에 대한 다항식 [math(f\left(x\right))]를 일차식 [math(ax+b)]로 나누었을 때의 나머지는 [math(f\left(-\dfrac{b}{a}\right))]이다.

3. 활용

나머지 정리는 고차식의 인수분해를 하는 데 쓸 수 있다. 만약 어떤 수 [math(a)]를 대입했는데 값이 0이라면, 원 다항식 [math(f\left(x\right))]는 [math(x-a)]를 인수로 가진다.[2] 이 과정을 빠르게 할 수 있는 것이 바로 조립제법이며, 조립제법에 대한 더 자세한 내용은 항목 참조.

4. 관련 항목



[1] 단, [math(\deg B\left(x\right)\geq\deg A\left(x\right))]이다. 참고로 deg는 방정식 최고차항 차수를 뜻한다. [2] 이를 인수정리(factor theorem) 이라고 부른다.

분류