Skutečný roztok je homogenní směs dvou nebo více složek, jejíž vznik je doprovázen tepelným efektem (uvolňováním nebo absorpcí tepla) a změnou objemu. To je vysvětleno (na rozdíl od ideálního řešení ) odlišnou van der Waalsovou energií intermolekulární interakce mezi homogenními a nepodobnými molekulami.
Reálná řešení se neřídí Raoultovým zákonem (zde P je parciální tlak par složky nad roztokem, je tlak par nad čistou složkou, x je její molární zlomek v roztoku) a existují kladné a záporné odchylky od tohoto zákon - viz obr. 1 a 2. Plné křivky na nich ukazují závislost parciálních tlaků par složek na složení binárního roztoku, dlouhá tečkovaná čára je Raoultův zákon , krátká tečkovaná čára je Henryho zákon ; tečkované půlkruhy označují oblasti extrémně zředěných roztoků . V oblasti limitního ředění se přitom nadále naplňuje Raoultův zákon . V extrémně zředěném roztoku je Henryův zákon splněn pro druhou složku :
,
kde K je Henryho konstanta.
V ideálních roztocích je Raoultův zákon splněn v celém koncentračním rozsahu a Henryho konstanta je rovna tlaku par P o nad čistou složkou; v reálných řešeních K ≠ P o .
Aby bylo možné použít vzorec Raoultova zákona pro skutečná řešení, Lewis navrhl nahradit molární zlomek složky (X) v něm její „aktivitou“ (a). Poměr aktivity složky k jejímu molárnímu zlomku se nazývá koeficient aktivity: . Závislost tlaku par složky na její koncentraci v reálném roztoku je tedy vyjádřena vzorcem .
Aktivní koeficient je vztažen k entalpii ΔH a „nekombinatorické“ entropii ΔS tvorby roztoku podle vzorce
.
Zlomek pod exponentem je funkcí molárního zlomku x . Označíme-li to jako f(x) a φ(y) pro první a druhou složku (zde y=1–x je molární zlomek druhé složky), pak závislost tlaku par složek na složení roztoku bude vyjádřeno vzorci
;
Poté má Gibbs-Duhemova rovnice tvar [4]
,
a Raoultův zákon
,
tj. Raoultův zákon je důsledkem Gibbs-Duhemovy rovnice, s výhradou platnosti rovnosti
.
V [1] bylo ukázáno , že pokud jsou funkce f(x) a φ(y) aproximovány polynomy pátého stupně
a
a zavést notaci
; ; ;
kde W i jsou druhé viriální koeficienty složek v roztoku, jsou molární objemy čistých složek, pak mají koeficienty polynomů tvar:
Rovnice (1)–(4) jsou v dobré shodě s experimentálními daty, včetně separovatelných řešení.
V případě a, rovnice (1)–(4) přecházejí na Margulesovy rovnice [2] , a pokud je to navíc požadováno , pak na Van Laarovy rovnice [3] , tzn. Margulesovy a Van Laarovy rovnice jsou speciální případy rovnic (1)–(4).
Pro některé hodnoty parametrů se závislosti stávají extrémními (viz obr. 3), což znamená separaci roztoku (interval separace na obr. 3 je od do ). V tomto případě je separační interval určen křivkami , na základě následujících úvah [4] : tlak par každé složky na levém okraji separačního intervalu se rovná jeho tlaku par na pravé hranici (přerušovaná čáry na obr. 3).