As primeiras máquinas térmicas, inventadas no século XVIII, ...

O cálculo da eficiência térmica (ε) pela expressão , em que T_F é a temperatura da fonte fria e T_Q é a temperatura da fonte quente, aplica-se a qualquer tipo de máquina.

O enunciado de Clausius afirma ser impossível um processo cujo único resultado efetivo seja o de retirar calor de um reservatório frio e liberar a mesma quantidade de calor para um reservatório quente.

Se, durante cada ciclo, uma máquina térmica absorve 200 J de calor de um reservatório quente, realiza trabalho e libera 160 J para reservatório frio, então o rendimento dessa máquina é de 20%.

O teorema de Carnot afirma que nenhuma máquina, trabalhando entre dois reservatórios térmicos, pode ser mais eficiente do que uma máquina reversível que trabalhe entre os dois reservatórios.

É impossível para uma máquina térmica, operando em um ciclo, produzir como único efeito o de retirar calor de um único reservatório e realizar uma quantidade equivalente de trabalho.