请问怎么解tan(π/8) 的精确值,用倍角公式