a+b+c≥根号什么的 那个公式是什么