A formação do trióxido de enxofre SO3(g) pode ocorrer espontaneamente a partir da oxidação do dióxido de enxofre SO2(g) reagindo com oxigênio O2(g) a uma temperatura T, onde a constante de equilíbrio nesta temperatura é K. Supondo que as pressões parciais sejam, respectivamente, PSO2, PO2 e PSO3, e a constante dos gases R. Dada a reação representada a seguir 

A expressão da energia de Gibbs é definida em