N代表法向量，其余代表什么的长度，用在求什么的公式中，这个公式是怎么推的？说详细点，谢了！

热心网友

(EF·n)/|n|是向量EF在向量n上的投影，|EF·n|/|n|是向量EF在向量n上投影的绝对值。如果n是平面N的法向量，E是平面N内的一个点，F是空间的一个点，则d=|EF·n|/|n|是点F到平面N的距离。