1:√3:2是什么定理