已知直角三角形斜长 短边是长边的一半 求公式