已知三角形ABC,求证角A+角B+角C=180度