Use the formulas for twice an angle: Divide both sides by cos(2x) x is between 0 and 2p, but 2x is between 0 and 4p so and taking half of all those: Edwin