수학(mathematics)에서, 비에타의 공식(Vieta's formulas)은 다항식(polynomial)의 계수(coefficient)를 그의 근(roots)의 합과 곱으로 관련시키는 공식입니다. 프랑수아 비에트(François Viète)의 이름을 따서 명칭이 지어졌으며 (보다 공통적으로 그의 이름의 라틴어로된 형식, 프란키스쿠스 비에타(Franciscus Vieta)로 참조됩니다), 그 공식은 대수학(algebra)에서 특별히 사용됩니다.
Basic formulas
차수 n의 임의의 일반적인 다항식은 다음과 같습니다:
(여기서 계수는 실수 또는 복소수이고
비에타의 공식은 동동하게, k = 1, 2, ..., n에 대해, 다음으로 쓰일 수 있습니다:
(여기서 인덱스
비에타의 공식의 왼쪽 변은 근의 기본 대칭 함수(elementary symmetric function)입니다.
Generalization to rings
비에타의 공식은 임의의 정수 도메인(integral domain) R에서 계수를 가진 다항식과 함께 자주 사용됩니다. 그런-다음, 몫
비에타의 공식은, 그런-다음, 사용되는데 왜냐하면 공식은 근을 계산하는 것없이 근 사이의 관계를 제공합니다.
정수 도메인이 아닌 교환 링에 걸쳐 다항식에 대해, 비에타의 공식은
Example
비에타의 공식은 이차 및 삼차 다항식에 적용됩니다:
이차 다항식(quadratic polynomial)
이들 방정식의 첫 번째는 P의 최솟값 (또는 최댓값)을 찾기 위해 사용될 수 있습니다; Quadratic equation § Vieta's formulas를 참조하십시오.
삼차 다항식(cubic polynomial)
Proof
비에타의 공식은 다음 상등을 전개함으로써 입증될 수 있습니다:
(이것은 참인데 왜냐하면
공식적으로, 만약 우리가
History
이름에 반영된 바와 같이, 공식은, 양의 근의 경우에 대해, 16세기 프랑스 수학자 프랑수아 비에트(François Viète)에 의해 발견되었습니다.
18세기 영국 수학자 찰스 허튼(Charles Hutton)의 의견에서, 펑카우서에 의해 인용된 것처럼, (양의 실수 근에 제한되지 않는) 일반적인 원리는 17세기 프랑스 수학자 알버트 지라드(Albert Girard)에 의해 처음으로 이해되었습니다:
...[지라드는] 근과 그들의 곱의 합으로부터 거듭제곱의 계수의 형성에 대한 일반적인 정리를 이해했던 첫 번째 사람이었습니다. 그는 임의의 방정식의 근의 거듭제곱을 합하는 것에 대해 규칙을 발견한 첫 번째 사람이었습니다.
See also
References
- "Viète theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Funkhouser, H. Gray (1930), "A short account of the history of symmetric functions of roots of equations", American Mathematical Monthly, Mathematical Association of America, 37 (7): 357–365, doi:10.2307/2299273, JSTOR 2299273
- Vinberg, E. B. (2003), A course in algebra, American Mathematical Society, Providence, R.I, ISBN 0-8218-3413-4
- Djukić, Dušan; et al. (2006), The IMO compendium: a collection of problems suggested for the International Mathematical Olympiads, 1959–2004, Springer, New York, NY, ISBN 0-387-24299-6