充分必要条件的应用