완전제곱식 (Completing the Square)
쉽게 풀면
이차식 x² + 6x + 5는 언뜻 봐서는 이 식이 어디서 가장 작아지는지 바로 알기 어렵습니다. 하지만 이를 (x+3)² - 4로 바꿔 쓰면 이야기가 달라집니다. (x+3)²은 항상 0 이상이므로, 이 식은 x = -3일 때 최솟값 -4를 가진다는 사실이 한눈에 드러납니다. 이렇게 이차식을 "완전제곱 꼴 + 상수"로 바꾸는 작업이 완전제곱식입니다. 방법은 간단합니다. x²+bx 부분에서 b의 절반의 제곱, 즉 (b/2)²을 더하고 빼서 (x+b/2)² 형태를 만들어내는 것입니다. 이 기법은 근의 공식을 유도하는 데 쓰일 뿐 아니라, 이차함수와 그래프의 꼭짓점을 구하거나 최적화 문제에서 목적함수의 최솟값을 손으로 확인할 때도 유용하게 쓰입니다.
왜 중요한가
완전제곱식은 이차식을 다루는 거의 모든 분야에서 미분이나 수치 계산 없이도 최적점을 대수적으로 확인할 수 있게 해주는 기본 도구입니다. 회귀분석에서 손실함수를 최소화하는 지점을 구하거나, 신호처리·제어이론에서 이차형식(quadratic form)의 안정성을 판단하거나, 물리학에서 에너지 함수의 평형점을 찾을 때 공통적으로 쓰이는 기법이기 때문에 다양한 분야의 논문에서 배경 설명이나 유도 과정의 일부로 자주 등장합니다. 또한 정규분포의 확률밀도함수를 다루거나 베이지안 추론에서 사후분포를 정리할 때도 지수 안의 이차식을 완전제곱 꼴로 바꾸는 절차가 핵심적으로 쓰입니다.
논문에서는 이렇게 쓰입니다
이 문장은 "미분을 쓰지 않고도, 이차식을 완전제곱 꼴로 바꾸는 것만으로 손실함수(오차 함수)가 최소가 되는 지점과 그때의 최솟값을 정확히 알아낼 수 있었다"는 뜻입니다. 회귀분석이나 최적화 모델에서 이차식 형태의 목적함수를 다룰 때 자주 등장하는 접근입니다.
베이지안 통계에서는 사후분포를 정규분포 형태로 나타내기 위해 지수 안의 이차식을 완전제곱 꼴로 정리하는 과정이 자주 필요합니다. 이 문장은 로그 가능도와 사전분포를 합친 복잡한 이차식을 정리해, 결과가 익숙한 정규분포의 형태를 띤다는 것을 보여주었다는 뜻입니다.
물리학이나 역학 관련 논문에서는 계의 에너지를 나타내는 이차식을 완전제곱 꼴로 바꾸어, 계가 안정적으로 머무르는 평형 위치를 대수적으로 구하는 데 이 기법을 활용합니다.
조금 더 깊게 보면
완전제곱식으로 정리한 이차식 a(x-p)² + q에서 p는 함숫값이 최소(또는 최대)가 되는 위치를, q는 그때의 함숫값을 각각 나타냅니다. 여러 변수를 가진 이차형식으로 확장하면, 이 절차는 행렬을 이용한 표현(예: 이차형식을 대칭행렬로 나타내고 그 행렬이 양의 정부호인지 판별하는 것)과 자연스럽게 연결되며, 이는 최적화 문제에서 극값이 최소인지 안장점인지를 구분하는 데 쓰입니다. 또한 이차방정식의 판별식이나 근의 공식 역시 완전제곱식을 전개하는 과정에서 유도되므로, 두 개념은 논문에서 함께 언급되는 경우가 많습니다.
주의할 점
이차항의 계수 a가 1이 아닐 때는 먼저 a를 괄호 밖으로 묶어낸 뒤 완전제곱식을 적용해야 합니다. 이 과정을 생략하고 바로 (b/2)²을 더하면 식이 원래와 달라지는 실수를 하기 쉬우므로, a로 묶어낸 뒤 계산하고 마지막에 다시 a를 곱해 정리하는 순서를 지켜야 합니다.