上、下环充要条件相关论文