一个三角形三个角分别是90°,30°,60°,求证最长边是最短边的2倍