arcsec(x) + arccosec(x) = π/2 を証明してください。