الشكل المقابل مرسوم بأطوال غير حقيقية
ABCD رباعي قطراه متعامدان و متقاطعان فيO حيث :
برهن أن المستقيمين(AB) و (CD) متوازيان
بما أن النقط C,O,A و D,O,B على استقامة واحدة حسب عكس مبرهنة طاليس :
نستنتج أن
أحسب الطول AB
حساب AB
لدينا المثلث AOB قائم في O (حسب نظرية فيتاغورس ) :