جتا س = 2جا^2 س/2 - 1 فيكون :

جاس/2 = جذر ( [جتاس +1 ] /2)

لكن في المثلث س ع ص القائم في ع :

جتا س = س ع / س ص

بالتعويض تحت الجذر :

جاس/2 = جذر ( [(س ع / س ص) +1 ] /2)

جاس/2 = جذر ( [(س ع - س ص)/ س ص] /2)

جاس/2 = جذر ( [س ع - س ص]/ 2س ص )

وهو المطلوب