カルノーサイクルは可逆のため、この機関に仕事wを与えて、高温源に熱量formula_1を生み出すことができる(逆カルノーサイクル)。