مثلث قائم الزاوية في EAD لتكن F نقطة تنتمي الى القطعة[DE] و I منتصف [DF] بين أن AD2-AF2=4ID.IE 2 تعني أس 2