크래머 공식 (Cramer's Rule)
쉽게 풀면
연립방정식을 풀 때 보통은 한 변수를 다른 식에 대입하거나 더하고 빼면서 하나씩 소거해 나갑니다. 크래머 공식은 이런 번거로운 과정 없이, 계수들을 정해진 틀에 맞춰 행렬식이라는 하나의 숫자로 바꾼 다음, 그 숫자들끼리 나누기만 하면 각 변수의 값이 바로 나오는 지름길입니다. 마치 레시피의 재료 비율표만 보고 몇 인분인지 계산하는 것처럼, 방정식을 풀지 않고도 특정 값을 뽑아낼 수 있는 공식이라고 생각하면 됩니다. 다만 미지수 개수만큼 행렬식을 매번 계산해야 하므로, 변수가 많아지면 오히려 비효율적이라는 한계가 있습니다.
왜 중요한가
크래머 공식은 선형방정식의 해가 계수들의 함수로서 어떻게 구성되는지를 명시적인 식으로 보여주기 때문에, 수치적으로 방정식을 반복해서 푸는 대신 해의 구조 자체를 분석해야 하는 이론적 논의(민감도 분석, 매개변수에 대한 해의 변화 등)에서 자주 인용됩니다. 또한 회로이론이나 제어이론처럼 변수 수가 적은 선형계를 다루는 공학 논문에서 계산 과정을 명료하게 제시하는 용도로도 쓰입니다.
논문에서는 이렇게 쓰입니다
이 문장은 회로 해석에서 나온 연립방정식을 반복 계산 없이 행렬식 비율로 곧바로 풀었다는 뜻입니다. 공학 논문에서 변수가 2~3개인 소규모 선형계를 다룰 때, 계산 과정을 명시적으로 보여주는 용도로 자주 언급됩니다.
제어이론에서 수치해 자체보다 해의 구조를 파라미터별로 분석하고자 할 때 크래머 공식이 활용되는 예입니다.
조금 더 깊게 보면
크래머 공식으로 구한 각 변수의 값은 계수행렬의 특정 열을 상수항 벡터로 바꾼 행렬의 행렬식을, 원래 계수행렬의 행렬식으로 나눈 형태로 표현됩니다. 변수 개수가 n개면 행렬식을 n+1번 계산해야 하고 행렬식 계산 자체의 복잡도가 변수 수에 따라 급격히 커지기 때문에, 실제 수치 계산에서는 가우스 소거법이나 LU분해 같은 방법이 훨씬 효율적입니다. 따라서 크래머 공식은 실무적 계산 도구라기보다는 해의 이론적 구조를 이해하거나 소규모 문제를 다룰 때 주로 쓰입니다.
주의할 점
크래머 공식은 계수행렬의 행렬식이 0이 아닐 때만 사용할 수 있습니다. 행렬식이 0이면 해가 없거나 무수히 많은 경우이므로 이 공식 자체가 적용되지 않으며, 이런 특수한 경우는 역행렬 존재 여부와도 직결됩니다.