求证:在三角形ABC中,三角形的面积等于(a*2)/[2(cotB+cotC)]