カルノーの定理を証明します。
カルノーの定理
【証明】
熱機関は
C:
と表現できる。ただしは断熱過程であり、はそれぞれ温度の熱浴との純粋な熱的接触である。H→A→H→A...というパターンもあるが、初期状態の位置をずらせば同じサイクルをこのパターンと同じ表現にすることができ、一般性を失わない。
まずエネルギー収支を考える。
における外界にした断熱仕事をと書く。
における熱浴からもらった熱エネルギーをと書く。これが負の場合は、熱浴にエネルギーを渡した場合である。熱効率を考える上で、吸熱と発熱を区別する必要がある。そこで、が正となるようなiの集合を(吸熱)と書く。それ以外の集合を(発熱)と書くことにする。すると熱効率は
...*
である。ただし、
と定義し、系の一周のエネルギー収支から、
であることを用いた。
ところで、クラウジウスの不等式より、
である。
従って、
...①
左辺に注目すると、が最大の温度であることから、
...②
右辺に注目すると、が最小の温度であることから、
...③
①、②、③を組み合わせると、
これを*に対して適用すると、確かに、
...④
である。系がどのような物質かによらず、熱浴として使う最大温度と最低温度の比によってのみ最大熱効率が与えられることになる。
カルノーサイクル
実際に
となる熱機関が理想的には存在しうる。これをカルノーサイクルという。
カルノーサイクルでは、温度がの二つの熱源のみを使う。との純粋な熱的接触では発熱し、では吸熱する。すると、②、③は等号成立する。二つの熱的接触の間には、断熱過程を挟むが、この時非常にゆっくりと変化させることで、エントロピーが変化しないようにする*1。すると、純粋な熱的接触中のエントロピー変化の合計であるクラウジウスの不等式の等号が成立する*2ことにより、①が等号成立する。従って、④も等号が成立する。