数学题中判断图形的形状用不用证明