三角形ABC 边长为3 4 5 求证三角形ABC为直角三角形 用三段论解答