به دلیل اینکه:از آنجا که میدانیم خط مماس بر شعاع دایره عمود است پس هردو مثلث قائم الزاویه هستند و coوao چون هردو شعاع دایره کوچک هستند باهم مساوی اند و doوbo هم که هر دو شعاع دایره بزرگ هستند با هم برابر اند پس نتیجه میگیریم با حالت همنهشتی دو مثلث قائم الزاویه «برابری وتر و یک ضلع یا همان (و ض)» دو مثلث همنهشت هستند