إذا كان حاصل ضرب ميلي مستقيمين غير رأسيين يساوي
تكتب المعادلة ص
معادلة المستقيم الذي ميله ٢ ومقطعه الصادي ٤ هي :
فرضيّة طاليس: بُرهَانَانِ
يكون ظل الزاوية الحادة موجبًا، بينما يكون ظل الزاوية المنفرجة سالبًا.
كما يمكنك ملاحظة أنه باستخدام الآلة الحاسبة، تكون قيمة ظل الزاوية المنفرجة سالبة.