s = RRtan(th)/2
扇形CED面積d=RR(th)/2
s=2d就能讓兩塊陰影部分相等。
RRtan(th)/2= RR(th)
得到
tan(th)=2(th) (1)
這就是必要條件。
因所有論述都是等式連接(1)也是充分條件。