60°,30°,90°的直角三角形斜边是短边的二倍,这叫什么