با توجه به شکل مقابل ثابت کنید $AC = BD$. [شکل: دو مثلث قائم‌الزاویه با اضلاع برابر که دارای یک وتر مشترک هستند؛ زوایای قائمه در نقاط A و B؛ علائم مساوی بودن روی اضلاع AD و BC مشخص شده است.]