لتطبيق مبرهنة فيثاغورس وحساب أطوال أضلاع المثلث، وجب تحقق شرط بنيوي واحد وقطعي:
إذا كان المثلث $ABC$ قائماً في $A$، فإن مربع طول الوتر يساوي مجموع مربعي طولي الضلعين القائمين:
$$BC^2 = AB^2 + AC^2$$
نستعمل المبرهنة العكسية عندما تكون أطوال الأضلاع الثلاثة معلومة، ونريد وضع اليد على شرط التعامد وإثبات أن المثلث قائم:
- نحدد الضلع الأطول ونحسب مربعه منفرداً (ليكن $BC^2$).
- نحسب مجموع مربعي الضلعين الآخرين ($AB^2 + AC^2$).
النتيجة: إذا تطابقت النتيجتان ($BC^2 = AB^2 + AC^2$)، فإن المثلث قائم حتماً في $A$، والمستقيمين متعامدان.
مثلث $ABC$ قائم في $A$ حيث الوتر $BC = 10$ والضلع القائم $AB = 6$. احسب الطول $AC$.
المبرهنة المباشرة تحسب الأطوال بتوظيف التعامد، والمبرهنة العكسية تثبت التعامد والزاوية القائمة بتوظيف الأطوال.