展开 两条边成比例的两个直角三角形相