在q-级数两百多年的发展史中,Rogers-Ramanujan型恒等式始终是q-级数的重要研究课题。Rogers-Ramanujan恒等式的组合解释由Mac Mahon利用组合构造的方法给出,此类分拆定理还有著名的Euler分拆定理,Schur定理和G（?）llnitz-Gordon定理,它们相应的代数形式也被称为Rogers-Ramanujan型恒等式。1980年,Bressoud得到Rogers-Ramanujan恒等式的一个代数推广,其中囊括了许多经典的Rogers-Ramanujan型分拆恒等式,除以上恒等式,还有Andrews-Gordon恒等式,Bressoud-Rogers-Ramanujan恒等式,Andrews-G（?）llnitz-Gordon恒等式和Bressoud-G（?）llnitz-Gordon恒等式等等。Bailey对和Bailey引理是q-级数理论的重要工具,Bailey和Slater利用它们得到很多Rogers-Ramanujan型的恒等式。本文主要是综述Bailey引理在Rogers-Ramanujan型恒等式中的应用,特别地,通过利用Bailey引理,本文给出了Rogers-Ramanujan恒等式的Bressoud推广的一个新的代数证明。第一章,主要介绍了整数分拆和q-级数中的一些基本概念和定理以及一些经典的Rogers-Ramanujan型恒等式。第二章,主要回顾一些Rogers-Ramanujan型恒等式的证明,包括Rogers-Ramanujan恒等式,Rogers-Ramanujan-Gordon定理,BressoudRogers-Ramanujan-Gordon定理和Andrews-G（?）llnitz-Gordon定理。第三章,介绍了Bailey对和Bailey引理及相关知识在证明Rogers-Ramanujan恒等式,Andrews-Gordon恒等式,Bressoud恒等式和Andrews-G（?）llnitz-Gordon恒等式上的应用。第四章,主要利用Bailey对和Bailey引理以及换基公式,完成了Rogers-Ramanujan恒等式的Bressoud推广的代数证明。