展开 a平方加b平方大于c平方证明