這個規律在數學上可以表示為:pV=C(常數),或者p1V1=p2V2。
這個結論是由英國科學家波義耳(R. Boyle,1627-1691)和法國科學家埃德姆·馬略特(E. Mariotte,1620-1684)獨立發現的,有時被稱為波義耳-埃德姆·馬略特定律。