شکل (الف ب ج د) یک مربع است، پس:الف-ب=ب-ج=ج-د=الف-د (ب م ج) یک مثلث متساوی‌الاضلاع است، پس: م-ج=ب-م=ب-ج بنابراین الف-ب با ب-م برابر است و این مثلث یک مثلث متساوی الساقین است.