取a1=pi/2,可以推导出pi/2<=ai<pi。
数学归纳法，ai满足范围，ai+1>ai>=pi/2, ai+1=ai+sin(pi-ai)<ai+pi-ai=pi
所以ai单调递增且有上界。
实际上任意a1取任意(0,pi)，都是单调递增且有上界。极限为pi。
【 在 Am2sempron 的大作中提到: 】
: 最后一问怎么判断？  
: --  
: https://static.mysmth.net/nForum/att/XiTiYanJiu/6827/306/large "单击此查看原图"](https://static.mysmth.net/nForum/att/XiTiYanJiu/6827/30
: ..................

发自「今日水木 on iPhone 13 Pro」
--
FROM 39.144.45.173