展开 直角三角形斜边长度怎么算