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.