α属于(0,2分之π)sinα>0,cosα>0sinα+cosα>0sinα+cosα=√2(√2/2sinα+√2/2cosα)=√2sin(a+π/4)≤√2α属于(0,π/2)a+π/4∈(π/4,3π/4)所以√2sin(a+π/4)>1
sinα=PM/OP=PMcosα=OM/OP=OMPM+OM>OP=1PM²+OM²=1(PM+OM)²≤2(MP²+OP²)=2PM+OM≤√2当且仅当PM=OM时等号成立