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