论证三角形的内角和等于180度的权威数学家是（）。