أشكال أخرى للمبرهنة إستلزامها المضاد للعكس نص الإستلزام المضاد للعكس: « إذا كانت أطوال أضلاع مثلث ABC تحقق فإن المثلث ABC ليس قائما في النقطة A. » رغم أن الإستلزام المضاد للعكس يكافئ منطقيا المبرهنة المباشرة، إلا أن إستعماليهما مختلفان: فمبرهنة فيثاغورس المباشرة تستعمل لحساب طول ضلع مثلث قائم الزاوية بدلالة طولي الضلعين الآخرين، في حين أن إستلزامها المضاد للعكس يستعمل لإثبات كون مثلث (قياسات أضلاعه معلومة) ليس قائم الزاوية. الإستلزام المضاد للعكس للخاصية العكسية يقول ما يلي: « إذا كان المثلث ABC ليس قائم الزاوية في A فإن » .. .