최근 수정 시각 : 2025-10-08 22:49:48

취른하우스 정리


[[대수학|대수학
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. 개요2. 역사3. 정리4. 예시5. 기타6. 관련 문서

1. 개요

Tschirnhaus transformation

대수학에서 [math(n)]차 방정식에 대하여 적당한 변환을 하여 [math((n-1))]차항을 압축하여 소거할 수 있는 정리.

2. 역사

1683년, 취른하우스가 그의 논문에서 이를 제안하였다.

이후 이러한 방법은 카르다노 또는 페로 등에 의해서 사용된바 있다는 언급이 오일러의 1770년 저서 〈대수학원론〉에 나온다.

3. 정리

다음과 같은 [math(x)]에 관한 [math(n)]차 방정식을 고려하자.
[math(\displaystyle \begin{aligned} a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots+a_{2}x^2+a_{1}x+a_{0}=0 \end{aligned} )]
이때, 다음과 같은 변환
[math(\displaystyle \begin{aligned} x=y-\frac{a_{n-1}}{n a_{n}} \end{aligned} )]
을 고려하면, 위 방정식에서 [math((n-1))]차항을 소거할 수 있다.

4. 예시

[math(x)]에 관한 이차방정식
[math(\displaystyle \begin{aligned} ax^{2}+bx+c=0 \end{aligned} )]
을 고려하자. 이때, 다음과 같은 변환
[math(\displaystyle \begin{aligned} x=y-\frac{b}{2a} \end{aligned} )]
을 고려해보자.

한편, 위에서 제시된 방정식은 다음과 같은 꼴로 다시 쓸 수 있다.
[math(\displaystyle \begin{aligned} x^{2}+\frac{b}{a}x+\frac{c}{a}=0 \end{aligned} )]

위의 변환식을 대입하면,
[math(\displaystyle \begin{aligned} \biggl(y-\frac{b}{2a} \biggr)^{2}+\frac{b}{a} \biggl(y-\frac{b}{2a} \biggr)+\frac{c}{a}=0 \end{aligned} )]
좌변을 정리하면,
[math(\displaystyle \begin{aligned} &\biggl(y-\frac{b}{2a} \biggr)^{2}+\frac{b}{a} \biggl(y-\frac{b}{2a} \biggr)+\frac{c}{a} \\ &=y^{2}-\frac{b}{a}y+\frac{b^{2}}{4a^2}+\frac{b}{a}y-\frac{b^{2}}{2a^2}+\frac{c}{a} \\ &=y^2-\frac{b^2-4ac}{4a^2} \end{aligned} )]
이므로 이상의 방정식은 다음과 같이 변환되었다.
[math(\displaystyle \begin{aligned} y^2-\frac{b^2-4ac}{4a^2}=0 \end{aligned} )]
즉, 1차항이 소거된 것이다.

이 방정식은 원래의 방정식보다 다루기 쉽다. 해는 바로
[math(\displaystyle \begin{aligned} y=\pm \frac{\sqrt{b^2-4ac}}{2a} \end{aligned} )]
이며, 원래의 변환식을 고려하면,
[math(\displaystyle \begin{aligned} x=y-\frac{b}{2a} \end{aligned} )]
이므로
[math(\displaystyle \begin{aligned} x&=-\frac{b}{2a}\pm \frac{\sqrt{b^2-4ac}}{2a} \\ &=\frac{-b \pm \sqrt{b^2-4ac}}{2a} \end{aligned} )]
이차방정식의 근의 공식이 나오게 된다.

5. 기타

삼차방정식사차방정식의 근의 공식 유도에서도 이 정리가 쓰이게 된다.

6. 관련 문서

분류