나머지 정리

덤프버전 :

분류

[[대수학|대수학

Algebra
]]

틀 색상에 대한 토론이 진행중입니다. #
[ 펼치기 · 접기 ]
이론
기본 대상
연산 · 항등식(가비의 이 · 곱셈 공식(통분 · 약분) · 인수분해) · 부등식(절대부등식) · 방정식(풀이 · (무연근 · 허근 · 비에트의 정리(근과 계수의 관계) · 제곱근(이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술(시계 산술)
수 체계
자연수(소수) · 정수(음수) · 유리수 · 실수(무리수(초월수) · 초실수) · 복소수(허수) · 사원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요 토픽
대수적 구조
군(group)
대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리
환(ring)
아이디얼
체(field)
갈루아 이론 · 분해체
대수
가환대수 · 리 대수 · 불 대수(크로네커 델타)
마그마·반군·모노이드
자유 모노이드 · 가환 모노이드
선형대수학
벡터 · 행렬 · 텐서(텐서곱) · 벡터 공간(선형사상) · 가군(Module) · 내적 공간(그람-슈미트 과정 · 수반 연산자)
정리·추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
관련 하위 분야
범주론
함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 층 이론(층들) · 토포스 이론 · 타입 이론
대수기하학
대수다양체 · 스킴 · 사슬 복합체(에탈 코호몰로지) · 모티브
대수적 정수론
타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학
스펙트럼 정리
표현론
실베스터 행렬
기타 및 관련 문서
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재




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


Polynomial Remainder Theorem


1. 개요[편집]


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

정식 [math(B(x))]를 정식 [math(A(x))]로 나누었을 때 [1]

, [math(B(x)=A(x)Q(x)+R(x),\,(0\leq\deg R(x)<\deg A(x)))]를 만족시키는 정식 [math(Q(x),R(x))]가 유일하게 존재한다. 이때, [math(Q(x))]를 몫, [math(R(x))]를 나머지라고 한다.

나머지 정리는 위 나눗셈 정리의 특별한 경우에 대한 따름정리이다.


2. 나머지 정리[편집]


[math(x)]에 대한 다항식 [math(f(x))]를 일차식 [math(x-a)]로 나누었을 때의 나머지는 [math(f(a))]이다.

위 정리는 일반적인 일차식 [math(ax+b)]에 대해 일반화가 가능하며, 그 내용은 아래와 같다.

[math(x)]에 대한 다항식 [math(f(x))]를 일차식 [math(ax+b)]로 나누었을 때의 나머지는 [math(f\biggl(-\dfrac{b}{a}\biggr))]이다.



3. 활용[편집]


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


4. 관련 항목[편집]




파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-11-17 22:31:03에 나무위키 나머지 정리 문서에서 가져왔습니다.

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