{cos((r-r')/2)}/{cos((i-i')/2)}の最小値の求め方、
最小値、そのときの条件を教えてください。

ただし、sin(i)=n*sin(i'), sin(r)=n*sin(r')とします。