已知,三角形ABC中,AB=m,AC=n,角BAC=阿尔法,求证:三角形ABC的面积的1/2mnsin阿尔法