في الفضاء المنسوب إلى معلم متعامد و متجانس
بين أن النقط
لدينا :
بمنا أن
بين أن معادلة المستوي
لدينا :
إذن إحداثيات
إذن إحداثيات
إذن إحداثيات
نعتبر المستويين
بين أن تقاطع المستويين
إذن
لنتحقق أنه من أجل كل من
و منه
و منه
و بالتالي تقاطع
ما هو تقاطع المستويات
لدينا
نعوض كل من
و منه
و منه :
عين بعد النقطة
حيث
و منه
إحداثيات
إذن المسافة بين