三角形的面积S=1/2*IaI×IbI×sinC 这个公式是怎么推得