Da(entropia(para(a(energia(livre((6)((
SubsHtuindo(esta(expressão(na(desigualdade(para(dS
tot
:((dEresT+pdVresT+dSsis>0
A(expressão(anterior(nos(dá:((dSres=dEresT+pdVresT
A(energia(e(o(volume(total(do(conjunto((sistema(+(reservatório)(se(
conservam:(
E
tot(
=(E
sis(
+(E
res(
! dE
res
(=(JdE
sis
((e((V
tot(
=(V
sis(
+(V
res(
! dV
res
(=(JdV
sis
((
Da(entropia(para(a(energia(livre((7)((
SubsHtuindo(as(expressões(para(dE
res
(e(dV
res
(na(desigualdade:((−dEsisT−pdVsisT+dSsis>0
MulHplicando(todos(os(termos,(dos(dois(lados(da(desigualdade,(
por(–T((note(que(isto(inverte(o(sinal(da(desigualdade):((dEsis+pdVsis−TdSsis<0⇒⇒dEsis+pVsis−TSsis( )<0⇒⇒dGsis<0