tanAtanB
=sinα·sinβ/cosα·cosβ
=[cos(α-β)-cos(α+β)]/)[cos(α-β)+cos(α+β)]
由于为锐角三角形,故α+β>Pai/2,则cos(α+β)为负数
故[cos(α-β)-cos(α+β)]>[cos(α-β)+cos(α+β)]
故结果大于1