사분식 다항식 양성 판정의 새로운 분리법

초록

본 논문은 페라리(Ferrari) 기법을 활용해 4차 다항식 f(x)=x⁴+px²+qx+r 의 양성을 판정하는 새로운 “분리법”을 제시한다. 자유 매개변수 m 을 도입해 f(x)=h_m(x)−g_m(x) 로 분해하고, h_m(x)≥0 와 g_m(x)<0 을 동시에 만족하는 m<0 의 존재 여부를 통해 필요충분 조건을 여러 형태(C0–C5)로 기술한다. 또한 이 조건들을 기존 판정식과 연결하고, (p,r) 평면에 대한 정사영을 구해 계수 공간의 구조를 시각화한다.

상세 분석

논문은 먼저 표준형 4차 다항식 f(x)=x⁴+px²+qx+r 을 고려한다. 페라리(Ferrari)의 해법을 변형해 자유 변수 m 을 도입하고,
(h_m(x)=\bigl(x^2+\frac{p}{2}+m\bigr)^2)와
(g_m(x)=2mx^2-qx+\bigl(m+\frac{p}{2}\bigr)^2-r)
을 정의한다. 여기서 h_m(x) 는 항상 비음이며, g_m(x) 는 이차식이므로 판별식 (D(m)=-8m\bigl(m^2+pm+\frac{p^2}{4}-r\bigr)+q^2) 을 통해 부호를 판단한다.

주요 정리는 다음과 같다.

• (C0) f(x)>0 ∀x∈ℝ.
• (C1) 음의 m 이 존재해 D(m)<0. 즉, g_m(x) 가 실근을 갖지 않아 전 구간에서 음이다.
• (C2) D(m)=0 이 적어도 두 개의 실근을 가지며, 그 중 하나는 단일 음근이다.
• (C3) D′(m)=0 의 두 실근 m₋<m₊ 중 m₋<0, D(m₋)<0, D(m₊)≥0 을 만족한다.
• (C4) 다항식 계수 (p,q,r) 에 대한 대수적 조건을 제시한다. 여기서 Δ는 4차식의 전통적인 판별식이며, Δ_D=4r-p², Δ_P=p, Δ_Q=q 로 정의한다. 최종적으로 (p,q,r) 가
  ({Δ>0}\cap\bigl({Δ_D>0}\cup{Δ_P>0}\bigr)) 혹은 ({Δ_D=0}\cap{Δ_P>0}\cap{Δ_Q=0})
  에 속하면 (C0)와 동치임을 보인다.
• (C5) 실제로 h_m(x)≥0 와 g_m(x)<0 을 동시에 만족하는 m<0 이 존재하면 (C0)가 성립한다.

증명 과정에서는 q=0인 특수 경우와 q≠0인 일반 경우를 구분하여 IVT(중간값 정리)와 부호 분석을 반복한다. 특히 D(m)와 D′(m)의 근 구조를 통해 m₋와 m₊의 존재와 부호를 명확히 하고, 이를 Δ와 연결시켜 기존 판정식과의 등가성을 확보한다.

마지막으로 일반 4차식 ax⁴+bx³+cx²+dx+e 에 대해 변수 치환을 통해 p,q,r을 표현하고, (p,r) 평면에 대한 정사영을 구한다. 여기서는 q축을 제거하고, b(m)=m²+pm+p²/4−r<0 을 만족하는 음의 m 이 존재하는 영역을 찾는다. 결과적으로 (p,r) 쌍이
({p²<4r}\cup{p>0,;r>0})
에 속하면 원 4차식이 양성임을 보여준다. 이는 계수 공간을 시각화하고, 파라미터 설계 시 유용한 지표가 된다.

전체적으로 논문은 페라리 기법을 “분리”라는 새로운 관점으로 재구성함으로써, 기존에 복잡하고 비직관적인 판정식들을 보다 구조화된 형태(C0–C5)로 정리하고, 계수 공간의 기하학적 해석까지 제공한다.