山路引理(mountain pass lemma)是证明非线性椭圆型方程边值问题有解的重要工具，是极小极大原理的一个简单而重要的特殊情形，由意大利数学家阿姆布罗塞蒂(A.Am-brosetti , )和美国数学家拉比诺维茨(P. H.Rabi-nowitz)于1973年证明的定理。