distance between a point and a plane (Lagrange)

n공간 전체에서 정의된 일급함수 \(g\)의 등위면 \(g=c\)에서 n공간의 한 점 \(P\)에 이르는 최단거리를 주는 점은 항상 존재한다. 이 때 \( \text{grad}\left( \frac 12 | X - P |^2 \right) = X - P \) 이므로, (이하로 grad는 \(\nabla\)) 최단점 \(X\)에서는 (\(\nabla g(X) = 0\)이 아니라면)
$$X-P = \lambda \nabla g(X) $$
인 실수 \(\lambda\)가 존재한다. (목적함수를 \(\frac 12 | X - P |^2\)로 잡은 것)
구체적으로,
$$ S := \{ (x_1, ... , x_n) | a_1x_1 + ... + a_nx_n = c \} $$ 라고 하자.
이 때, \( A := (a_1, ... , a_n) \)으로 두면, 점 \( P = (p_1, ... , p_n)\)과 \(S\)사이의 최단거리는
$$ X - P = \lambda A , \qquad A \cdot X = c $$
를 만족시키는 점 \(X\)와 \(P\)사이의 거리다.
양변에 \(A\)를 곱하면
$$ A \cdot (X-P) = \lambda |A|^2 $$
$$ \lambda = \frac{c - A \cdot P }{|A|^2} $$
구하는 점 X는
$$ X = P + \lambda A = P + \frac{c - A \cdot P}{|A|^2}A $$
이때의 거리는
$$ |X-P| = |\lambda A| = \frac{|c - A \cdot P|}{|A|} = \frac{|a_1p_1 + ... + a_np_n - c|}{\sqrt{a_1^2 + ... + a_n^2}}$$