rt三角形abc沿斜边翻折得到三角形adc