در شکل روبرو $AB$ قطر نیم دایره است و $O$ وسط $AB$ است. ثابت کنید: $AC = BD$ (نوشتن فرض و حکم الزامی است.) [شکل: نیم‌دایره با قطر AB و مرکز O، نقاط C و D روی نیم‌دایره قرار دارند، دو مثلث AOC و BOD تشکیل شده که در C و D قائمه هستند و زاویه‌های قائمه مشخص شده‌اند]