s = RRtan(th)/2
扇形CED面积d=RR(th)/2
s=2d就能让两块阴影部分相等。
RRtan(th)/2= RR(th)
得到
tan(th)=2(th) (1)
这就是必要条件。
因所有论述都是等式连接(1)也是充分条件。