0<x<π/2,tanx^2+8cos2x の　最小値