Distância de um ponto a um plano (I)

Esta demonstração é inspirada na resolução de um "problema tipo" do exame de Matemática A realizado no dia 25/06/2018... em todo o território português
Considere-se o ponto $P$ de coordenadas $(x_P,y_P,z_P)$ e o plano de equação $ax+by+cz+d=0$. Vamos assumir que o ponto não pertence ao plano e que $(a,b,c)$ é um vector não nulo
A recta perpendicular ao plano que passa em $P$ tem como possível equação vectorial:

$$(x,y,z)=(x_P,y_P,z_P)+k(a,b,c); k \in \R$$ .
Assim, um ponto genérico desta recta tem por coordenadas $( x_P+ka,y_P+kb,z_P+kc)$
Logo, o ponto $I (x_I,y_I,z_I)$ de intersecção da recta com o plano verifica a condição:
$$\begin{eqnarray*} {a(x_P+ka)+b(y_P+kb)+c(z_P+kc)+d}&{=}&{0}\\ {\Leftrightarrow ax_P+by_P+cz_P+k(a^2+b^2+c^2)+d}&{=}&{0}\\ {\Leftrightarrow k}&{=}&{-\frac{ax_P+by_P+cz_P+d}{a^2+b^2+c^2}} \end{eqnarray*}$$ Portanto $$(x_I,y_I,z_I)=(x_P,y_P,z_P)-\frac{ax_P+by_P+cz_P+d}{a^2+b^2+c^2}(a,b,c)$$ ou, equivalentemente $$\frac{ax_P+by_P+cz_P+d}{a^2+b^2+c^2}(a,b,c)=(x_P-x_I,y_P-y_I,z_P-z_I)$$ Assim sendo,$\overline{IP}$, a distância de $P$ ao plano verifica. $$\overline{IP}=\frac{\left|ax_P+by_P+cz_P+d\right| \sqrt{a^2+b^2+c^2}}{a^2+b^2+c^2}=\frac{\left|ax_P+by_P+cz_P+d\right| }{\sqrt{a^2+b^2+c^2}}$$ Então a distância do ponto de coordenadas $(x_P,y_P,z_P)$ ao plano de equação $ax+by+cz+d=0$ é dada por: $$\text{dist}=\frac{\left|ax_P+by_P+cz_P+d\right| }{\sqrt{a^2+b^2+c^2}}$$ Note-se que a fórmula mantém-se válida se o ponto $P$ pertencer ao plano.

---

PS: qualquer aluno que utilizasse esta fórmula (correcta) no exame nacional teria cotação zero, pois não está no programa de Matemática A