中国南宋时期杰出数学家秦九韶在《数书九章》中提出了已知三角形三边求面积的公式，其求法是：“以小斜幂并大斜幂减中斜幂，余半之，自乘于上，以小斜幂乘大斜幂减上，余四约之，为实，一为从隅，开平方得积．”若把以上这段文字写成公式，即 ． 现有△满足 ， 且 ， 请判断下列命题正确的是（   ）