罗伊恒等式是指：分量商品的马歇尔需求等于间接效用对分量价格和对收入偏导之比的相反数。这个等式可以用包络定理来证明。证明过程是应用了对偶理论，像支出函数就是一个可行集的支撑函数。支出函数对价格求偏导则得希克斯需求函数，而罗伊恒等式和它不同，需要除以间接效用函数对收入的偏导，这是一个单位化的过程。