유리근 정리

덤프버전 :


[[대수학|대수학

Algebra
]]

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



1. 개요
2. 상세
3. 증명


1. 개요[편집]


rational root theorem ·

임의의 정수 계수 다항방정식유리수 를 찾는 방법이다.

2. 상세[편집]


다항방정식 [math(a_1x^n + a_2x^{n-1}+\cdots+a_{n-1}x+{\sf const.} =0)]에 대해서 최고차항 계수와 상수항에 대한 부정방정식
[math(\pm \dfrac{d_{\sf const.} | {\sf const.}}{d_{a_1} | a_1})]
의 해 집합 중에 원래 방정식의 해가 있을 수 있다는 정리이다. 즉 최고차항 계수의 약수와 상수항의 약수의 몫으로 방정식의 유리수 해를 찾을 수 있음을 뜻한다. 여기서 갑자기 부정방정식의 집합이 왜 나오냐는 질문이 나올 수도 있는데 정확히는 단순히 정수 계수 방정식 뿐만 아니라 유일인수분해환의 원소를 계수로 가지는 다항식환에 대해 적용되기 때문이다.

그러나 대수학의 관점에서는 이질적인 정리인데, 초등적 증명[1]이 아닌 정수론적 방법으로 유도되는 정리이고, '해가 있을 수 있다'는 것에서 볼 수 있듯 유리수 해가 있음을 보장하지는 않는다는 맹점이 있다. 그리고 원래 방정식의 해인지를 확인하는 방법이라는 것조차 일일이 부정방정식으로 도출한 집합의 원소를 하나하나씩 대입시키는 것이 고작이다.

3. 증명[편집]


[math(\pm \dfrac{d_{\sf const.} | {\sf const.}}{d_{a_1} | a_1})]이 아닌 해가 존재한다면, 이를 [math(\dfrac q{p})]([math(p,q)]는 서로소인 정수, [math(p,q \ne 0)][2])라 하자. [math((px-q))]는 다항식의 인수이다. 여기서 다항식에 [math(p^n=K)]를 곱해 [math(Ka_1x^n+Ka_2x^{n-1}+\cdots+Ka_{n-1}x+KC=0)]이라 한 후 [math((px-q)(p^{n-1} a_1x^{n-1}+...+C'))]의 정수다항식으로 인수분해를 할 수 있다. 그런데 이에 따르면 [math(-qC'=KC)]이지만, [math(q)]는 [math(KC)]의 약수이므로 전제에 모순.
파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-11 22:05:48에 나무위키 유리근 정리 문서에서 가져왔습니다.

[1] 대수학만 써서 하는 증명[2] [math({\sf const.})]가 0이 아니라면 [math(x=0)]은 trivial solution이므로 해가 될 수 없지만 만에 하나의 오해를 피하기 위해 조건으로 달아둔다.