mula_3则formula_4”且“仅当formula_3则formula_4”时，称为“当且仅当formula_3则formula_4”，其他等价的说法有“formula_4当且仅当formula_3”；“formula_3是formula_4的充分必要条件（充要条件）”；“formula_3等价于formula_4”。一般而言，当我们看到“当且仅当formula_3则formula_4”，我们可以知道“如果formula_3成立时，则formula_4一定成立；如果formula_4成立时，则fo