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}}$$