وی قضیهٔ تانژانتها را در حل مثلث قائم‌الزاویهٔ کروی بکار بست و تقدم در اثبات را بیرونی به وی نسبت داده‌است .
vˈej q1azˈihje tˈɑnʒˈɑnthɑ rɑ dˈar hˈal mosˈallas q1ˈɑʔemalzˈɑviˌeːje korˈavi bekˈɑr bˈast vˈa taq1ˈaddom dˈar ˈesbɑt rɑ birˈuːni beː vˈej nˈesbat dˈɑdeːˈast .