hk:当;}-命题formula_2满足“zh-tw:若; zh-cn:当; zh-hk:当;formula_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”，我