خب ببین در مرحله اول یه خط عمودکننده از A به ضلع X بکش(H) و یه خط عمودکننده از A به Y بکش(H')(جوری که دو تا مثلث قایم الزوایه تشکل بشه و زاویه 90 روی ضلع های XوY باشه)
طبق فرض ot نیمسازه و نیمساز زاویه رو به دو قسمت مساوی تقسیم میکنه پس در دو مثلث تشکیل شده ما زاویه مساوی داریم= O1=O2
اگر دقت کنی میبینی ضلع OA=OA چون ضلع مشترکن و اون ضلع وتره
. حالا چون مثلث قایم الزاویس میشه قضیه رو با وتر و زاویه تنداثبات کرد
{ O1=O2 (نیمساز)
{ OA=OA (وتر مشترک) ==> XOA = YOA => اجزای متانظر حکم سواله
{ H=H'=90 (نوشتن اختیاری)