カルノーサイクル
可逆機関としてカルノーサイクルを考える（他の可逆機関でも良い）。このカルノーサイクルが高温源から受け取る熱をformula_1、生み出す仕事をWとする。カルノーサイクルは可逆のため、この機関に仕事Wを与えて、高温源に熱量formula_1を生み出すことができる（逆カルノーサイクル）。