OP=1,过P作PP1⊥OP,得OP1等于√2,;再过P1作P1P2⊥OP1且P1P2=1,得OP2=√3;