The strict positivity comes からin半径 segment IK IK IK.
Substituting 積 gives RI2+SI2−RS2=2(BI2−BK2)=2IK2>0 RI^2+SI^2-RS^2=2(BI^2-BK^2)=2IK^2>0RI2+SI2−RS2=2(BI2−BK2)=2IK2>0, なのでBIK BIK BIK はright でK K K. By converse のcosine rule, ∠RIS\angle RIS ∠RIS はacute.