求tan(π/8)