[[대수학|대수학 Algebra ]]
|
||||
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
이론 | |||
기본 대상 | 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술) | |||
수 체계 | 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간 | |||
다루는 대상과 주요 토픽 | ||||
대수적 구조 | ||||
군(group) | 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리 | |||
환(ring) | 아이디얼 | |||
체(field) | 갈루아 이론 · 분해체 | |||
대수 | 가환대수 · 리 대수 · 불 대수( 크로네커 델타) | |||
마그마· 반군· 모노이드 | 자유 모노이드 · 가환 모노이드 | |||
선형대수학 | 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자) | |||
정리·추측 | ||||
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결 | ||||
관련 하위 분야 | ||||
범주론 | 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론 | |||
대수 위상수학 | 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 | |||
대수기하학 | 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 | |||
대수적 정수론 | 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리 | |||
가환대수학 | 스펙트럼 정리 | |||
표현론 | 실베스터 행렬 | |||
기타 및 관련 문서 | ||||
수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 | }}}}}}}}} |
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]이 아닌 정수론적 방법으로 유도되는 정리이고, '해가 있을 수 있다'는 것에서 볼 수 있듯 유리수 해가 있음을 보장하지는 않는다는 맹점이 있다. 그리고 원래 방정식의 해인지를 확인하는 방법이라는 것조차 일일이 부정방정식으로 도출한 집합의 원소를 하나하나씩 대입시키는 것이 고작이다.