累计和推导

∵真分数加真分数永远小于一

且tan（∑θ）大于一

∴正切值之和（小于一）小于角和的正切值（大于一）