…と言いつつ訂正を…
 a= tan(π/7)^2,