三角形ABC中,BC为定长a,周长为定长l,则当AB等于AC时,三角形ABC面积S最大,请证明