物理/熱と熱現象(3)カルノー機関とカルノー定理
提供: Internet Web School
目次 |
熱と熱現象(3) カルノー機関とカルノー定理
第二種永久機関の失敗やカルノーの熱機関の効率の研究から,
熱力学の第2法則が認識されるようになり、やがて熱現象の基本原理として認められた。
この項ではカルノー機関とカルノーの定理について述べる。
これをもとにして、次項（「3.4」）で熱力学の第2法則とその応用としてエントロピーについて、紹介する。
熱機関と効率
熱機関とは、熱エネルギーを利用して外部に仕事をおこない続ける機関である。
最初に発明された熱機関は、蒸気機関であった。
初期の熱機関は大きな熱エネルギーを使いながら取出す仕事は小さく、効率が大変悪かった。
効率のよい熱機関を作るにはどうすればよいか。
効率はどこまで上げられるか。
これらは重大な関心事になった。
この問題を根本的に解決したのはカルノーであった。
彼は、
彼の考案したカルノー機関が理論上の最大効率の熱機関であり、
それ以上効率の良い機関はないことを、
のちに熱力学の第2法則として確立される原理を発見し、証明した。
カルノーの着想
カルノーは、
ⅰ）熱を仕事に変える(動力を発生させる)には、
UNIQ514d5fe42fd0c2b-MathJax-149-QINU高温から低温への熱の移動と熱移動を媒介する作業物質が必要
ⅱ)温度差がある時は、熱は自動的に高温側から低温側に移ってしまい、
UNIQ514d5fe42fd0c2b-MathJax-150-QINU高温熱源は、仕事を取出すことなくエネルギーを失ってしまう。
UNIQ514d5fe42fd0c2b-MathJax-151-QINU出来るだけ温度差をなくしながら、熱を仕事に変える必要がある。
ⅲ）温度差がなくても、物体の体積を変化させると
UNIQ514d5fe42fd0c2b-MathJax-152-QINU熱を移動させ、それを仕事に変換できる。
UNIQ514d5fe42fd0c2b-MathJax-153-QINU（例えば、熱源と等しい温度の気体を熱源と接触させ、
UNIQ514d5fe42fd0c2b-MathJax-154-QINUゆっくりと体積を大きくしてゆくと、気体の温度は熱源と同じだが、
UNIQ514d5fe42fd0c2b-MathJax-155-QINU熱源から気体に熱が流れて行く。膨張する気体は外部に仕事をする）
ⅳ）気体の断熱膨張で温度がさがり、断熱圧縮で温度が上がることを利用すれば、
UNIQ514d5fe42fd0c2b-MathJax-156-QINU温度差による熱移動を全く行わないサイクル機関を作れるのではないか
ということに気づいた。
カルノー機関
カルノーは、
高温 UNIQ514d5fe42fd0c2b-MathJax-157-QINU 、低温 UNIQ514d5fe42fd0c2b-MathJax-158-QINU の2つの熱源を用意し、熱媒体を理想気体にした。
すべての過程で、気体の体積変化による熱移動だけを起こさせる、
4つの過程からなるサイクル機関を考案した。
- ファイル:GENPHY00010303-01.jpg図 カルノーサイクルのV-p状態遷移図
第１過程
まず高温熱源から気体への熱移動を、気体の膨張だけで起こすため、
気体を高温熱源と同じ温度にしてから、接触させ、気体の体積を非常にゆっくり膨張させる。
こうすると気体は高温熱源と同じ温度を保ち、温度差による熱移動は起こらず、
体積変化による熱移動だけが起こる。
熱源からの熱エネルギーはすべて仕事に変換される。
（気体の膨張で気体温度が無限小さがっても、すぐに高温熱源から熱が気体に流れ込み、気体は高温熱源と等しい温度を保つ。）
（体積を急に変えると気体の温度は不均一になるだけでなく、気体温度が下がり、温度差により高温熱源から熱が流れ込んでしまう）
第2過程
高温熱源から吸収した熱の一部を低温熱源に（温度差でなく体積変化で）放出する準備として、
気体温度を低温熱源の温度になるまで、ゆっくりと断熱膨張させる。
温度差による熱移動がないので、気体の熱エネルギーの減少分はすべて気体の膨張による仕事に転化する。
第3過程
気体の温度が低温熱源と等しくなったら、気体を低温熱源に接触。
今までに取り出した仕事の一部を使って、ゆっくりと気体を圧縮。
気体の断熱圧縮で、最初の状態(高温熱源に接触させるときと同温、同体積）に戻れる
体積まで圧縮したら、低温熱源から切り離す。
第4過程
最初の2つの過程から取り出した仕事の一部をつかって、
ゆっくりと断熱圧縮し、気体を最初の状態に戻す。
カルノー機関は、
4つの過程で１サイクルをなして気体は元の状態に戻り、
この間に高温の熱源から得た熱エネルギーの一部を仕事に変え、残りは低温熱源に放出する。
このサイクルを繰り返し、熱エネルギーをもらいながら、その一部を仕事に変え続ける。
準静的過程
この機関の効率を極限まで高めるには、
仕事を取り出すことなく無駄に使われる温度差による熱の移動を全くなくすことが必要であると思われる。
そこでカルノーは、温度差による熱移動が起こらないようにするため、
4つの過程の体積変化をどんどん遅くしていき、その極限となる過程を考えた。
これを準静的過程(quasi-static process) という。
準静的過程の定義と注意
系の全体は静止(マクロの物体として静止）にきわめて近く、
さらには熱平衡にも極めて近い状態を保つようゆっくりと変化させる。
この変化速度をどんどん遅くして行きときの、極限の過程を、
準静的過程(quasi-static process) という。
この過程は、
「マクロには静止し、熱平衡を保ちながら、無限の時間をかけて無限にゆっくりと状態変化していく過程」
と考えられる。
熱平衡の系は温度や圧力などの状態量が定まるので、
この過程は状態量の推移で正確に記述できることになる。
しかし、厳密には、常に静止し、熱平衡状態を完全に保つならば
系は力学的にも熱的にも全く変化は起こるはずがない。
そのため、準静的過程は、厳密には矛盾を含む表現であり、もちろん実現不可能である。
マクロな観測では検出できない程度の非平衡状態を持ちながら、
長時間かけて変化していく過程と考えればよいだろう。
この過程を想定した系の挙動は、大変簡潔となり、
しかもこの仮想の挙動は、
外部から孤立(外部との熱や仕事の授受がない)した系を十分ゆっくり変化させれば
任意の精度で実現できるので、
熱機関の挙動や効率を調べるのに大変有用である。
カルノーの熱機関の研究では、要の概念になっている。
準静的に系を変化させるには、
系には無限小の力や
無限小の仕事、熱エネルギーを与える必要がある。
カルノーサイクルの効率
4つのカルノー過程において、
気体が吸収・放出する熱量と外部との間でやり取りする仕事を求め、
それを総合して、カルノーサイクルの効率を求めよう。
- ファイル:GENPHY00010303-01.jpg図 カルノーサイクルのV-p状態遷移図
カルノー機関で気体の状態（気圧ｐと体積V）がどのように変化していくかを図に示す。
① 高温熱源から熱をもらいながら準静的に等温膨張
温度 UNIQ514d5fe42fd0c2b-MathJax-159-QINU を保ちながら理想気体は準静的に膨張するので
この過程のどの時状態でも状態方程式 UNIQ514d5fe42fd0c2b-MathJax-160-QINU(定数)をみたす。
(V,p)はこの双曲線上を、状態１ UNIQ514d5fe42fd0c2b-MathJax-161-QINU から状態2 UNIQ514d5fe42fd0c2b-MathJax-162-QINU まで、
無限にゆっくりと移動していく。
従って、UNIQ514d5fe42fd0c2b-MathJax-163-QINU
この時気体がおこなう仕事を求めよう。
今、この線上の一状態UNIQ514d5fe42fd0c2b-MathJax-164-QINUから、UNIQ514d5fe42fd0c2b-MathJax-165-QINU(dV,dpは無限小)まで膨張する間に
気体のする仕事は、すでに証明したように、UNIQ514d5fe42fd0c2b-MathJax-166-QINU
故に状態1から状態2まで膨張する間に気体のする仕事は
UNIQ514d5fe42fd0c2b-MathJax-167-QINU（注を参照のこと）
UNIQ514d5fe42fd0c2b-MathJax-168-QINU 状態方程式から、UNIQ514d5fe42fd0c2b-MathJax-169-QINU なので
UNIQ514d5fe42fd0c2b-MathJax-170-QINU
UNIQ514d5fe42fd0c2b-MathJax-171-QINU UNIQ514d5fe42fd0c2b-MathJax-172-QINU の原始関数(微分するとUNIQ514d5fe42fd0c2b-MathJax-173-QINUになる関数)は
UNIQ514d5fe42fd0c2b-MathJax-174-QINUなので、良く知られた微積分学の基本定理から
UNIQ514d5fe42fd0c2b-MathJax-175-QINU
UNIQ514d5fe42fd0c2b-MathJax-176-QINU
温度が変化しないので、理想気体の内部エネルギーは変化していないので、
熱力学の第一法則から、
気体のした仕事と同量の熱エネルギーを高温熱源からもらっていることが分かる。
UNIQ514d5fe42fd0c2b-MathJax-177-QINU
(注) 準静的な膨張時の気体の仕事とグラフ面積
・ 図のように、
曲線UNIQ514d5fe42fd0c2b-MathJax-178-QINUとV軸、両側のV軸の垂線という4本の線で囲まれた領域Rを考える。
・ Rの面積Sは、気体が温度 UNIQ514d5fe42fd0c2b-MathJax-179-QINU を保ちながら、
体積を UNIQ514d5fe42fd0c2b-MathJax-180-QINU から UNIQ514d5fe42fd0c2b-MathJax-181-QINU まで準静的に増加させるとき、
気体が外部になす仕事に等しい。
② 準静的な断熱膨張とそれによる冷却
準静的な断熱膨張で気体の状態変数は
UNIQ514d5fe42fd0c2b-MathJax-182-QINU
を満たしながら、図の状態２から状態３まで、無限にゆっくりと移動していく。
従って UNIQ514d5fe42fd0c2b-MathJax-183-QINU
この過程でも体積は増加するので、気体は外部に正の仕事をする。
この量は、最初の過程の時と全く同じように考えれば、次のようになることが分かる。
UNIQ514d5fe42fd0c2b-MathJax-184-QINU
UNIQ514d5fe42fd0c2b-MathJax-185-QINUこの非積分関数の原始関数は UNIQ514d5fe42fd0c2b-MathJax-186-QINU なので、
UNIQ514d5fe42fd0c2b-MathJax-187-QINU
UNIQ514d5fe42fd0c2b-MathJax-188-QINU UNIQ514d5fe42fd0c2b-MathJax-189-QINU なので
UNIQ514d5fe42fd0c2b-MathJax-190-QINU
UNIQ514d5fe42fd0c2b-MathJax-191-QINUUNIQ514d5fe42fd0c2b-MathJax-192-QINU なので、
UNIQ514d5fe42fd0c2b-MathJax-193-QINU
断熱変化なので、気体の受け取った熱量は
UNIQ514d5fe42fd0c2b-MathJax-194-QINU
③ 低温熱源に熱を与えながら準静的に等温圧縮
①の場合と同様に出来る。
等温圧縮なので、この過程中、
状態量は UNIQ514d5fe42fd0c2b-MathJax-195-QINUを満たしながら図の状態３から状態４まで曲線UNIQ514d5fe42fd0c2b-MathJax-196-QINU上をゆっくり移動する。
従って、UNIQ514d5fe42fd0c2b-MathJax-197-QINU
この間、気体は、外から
UNIQ514d5fe42fd0c2b-MathJax-198-QINU
だけ仕事をしてもらい、
それと同量の熱エネルギー
UNIQ514d5fe42fd0c2b-MathJax-199-QINU
を低温熱源に与える。
④ 準静的な断熱圧縮とそれに伴う加熱
②準静的な断熱圧縮 と全く同じようにしてできる。
気体が外から仕事をしてもらい、
図の状態４から状態１まで準静的に断熱圧縮する。
従って、UNIQ514d5fe42fd0c2b-MathJax-200-QINU
この時外から気体がしてもらう仕事は、
UNIQ514d5fe42fd0c2b-MathJax-201-QINU
なお、断熱変化なので、気体が受け取る熱量は
UNIQ514d5fe42fd0c2b-MathJax-202-QINU
気体の内部エネルギーは、外から受けた仕事だけ増加するので、温度も上昇していく。
気体が状態１に戻ったら、1サイクルは終りである。
⑤ 1回のサイクルあたりの熱と仕事の授受
・ 1サイクルで気体が外部にした仕事 UNIQ514d5fe42fd0c2b-MathJax-203-QINU は
UNIQ514d5fe42fd0c2b-MathJax-204-QINU
UNIQ514d5fe42fd0c2b-MathJax-205-QINU
UNIQ514d5fe42fd0c2b-MathJax-206-QINU
UNIQ514d5fe42fd0c2b-MathJax-207-QINU
故に
UNIQ514d5fe42fd0c2b-MathJax-208-QINU
これは、図のように、4本の状態遷移腺で囲まれた領域Rの面積Sに等しい。
・ 一回のサイクルで気体が熱源から受け取った総熱量 Q は
UNIQ514d5fe42fd0c2b-MathJax-209-QINU
・ 高温熱源から気体に流れ出た熱エネルギー UNIQ514d5fe42fd0c2b-MathJax-210-QINU は、
UNIQ514d5fe42fd0c2b-MathJax-211-QINU が外部への仕事に転化し、
残りの UNIQ514d5fe42fd0c2b-MathJax-212-QINU が低温熱源に吸収されたことになる。
図を参照のこと。
カルノー機関の効率
カルノー機関の効率UNIQ514d5fe42fd0c2b-MathJax-213-QINU(気体のなす仕事／気体が高温熱源から受け取った熱量）は定義から
UNIQ514d5fe42fd0c2b-MathJax-214-QINU
UNIQ514d5fe42fd0c2b-MathJax-215-QINUこの式に、式(13)と式（３）を代入すると、
UNIQ514d5fe42fd0c2b-MathJax-216-QINU
ここで、次の重要な補題が成り立つ。
補題；UNIQ514d5fe42fd0c2b-MathJax-217-QINU
証明；
UNIQ514d5fe42fd0c2b-MathJax-218-QINU
UNIQ514d5fe42fd0c2b-MathJax-219-QINU
UNIQ514d5fe42fd0c2b-MathJax-220-QINU
UNIQ514d5fe42fd0c2b-MathJax-221-QINU
なので、これらの４式の左辺の積は、右辺の積に等しい。
UNIQ514d5fe42fd0c2b-MathJax-222-QINU
両辺をUNIQ514d5fe42fd0c2b-MathJax-223-QINU で割ると、
UNIQ514d5fe42fd0c2b-MathJax-224-QINU
これより、所望の結果を得る。
この補題を式(15)
UNIQ514d5fe42fd0c2b-MathJax-225-QINU
に適用して、
UNIQ514d5fe42fd0c2b-MathJax-226-QINU
を得る。
かくして、次の命題が得られた。
命題；
カルノー機関の効率 UNIQ514d5fe42fd0c2b-MathJax-227-QINU は、
UNIQ514d5fe42fd0c2b-MathJax-228-QINU
で与えられる。
また、式（９）に、この補題を適用すると、
UNIQ514d5fe42fd0c2b-MathJax-229-QINU
なので、
一回のサイクルで気体が受け取る実質の総熱量 Q は
UNIQ514d5fe42fd0c2b-MathJax-230-QINU
また、式（３）も考慮すると
UNIQ514d5fe42fd0c2b-MathJax-231-QINU
これより、
UNIQ514d5fe42fd0c2b-MathJax-232-QINU
カルノーの定理
カルノー機関が最大効率の熱機関であることをカルノーは証明した。
これをカルノーの定理という。
カルノーはこの考察の過程で、熱力学の第2法則の原型に気付いた。
彼は、この仮説とカルノー機関の可逆性を用いて、カルノーの定理を証明した。
可逆過程
ある過程が、可逆(reversible )であるとは、
外界に何の変化も残さずに、系を元の状態に戻せる過程のことである。
戻る過程(逆過程と呼ぼう)は、行きの過程を逆方向に辿る必要はない。
とくに、経路を逆にたどって系を元の状態に戻せるとき、
狭義の可逆(逆行可能）といい、逆にたどる過程を逆行過程という。
詳しくは、
カルノー機関は逆行可能な機関
カルノー機関は4つの過程からなるサイクルを繰り返す。
- ファイル:GENPHY00010303-01.jpg図 カルノーサイクルのV-p状態遷移図
UNIQ514d5fe42fd0c2b-MathJax-233-QINU 第一の過程（等温膨張）は、逆行可能である。
第一の過程は、状態１UNIQ514d5fe42fd0c2b-MathJax-234-QINUにある気体を高温UNIQ514d5fe42fd0c2b-MathJax-235-QINUの熱源に接触させ、
準静的に等温膨張させ、状態２(UNIQ514d5fe42fd0c2b-MathJax-236-QINU に移す。
この間,気体は外部へ
UNIQ514d5fe42fd0c2b-MathJax-237-QINUの仕事をし、
これと同量の熱量 UNIQ514d5fe42fd0c2b-MathJax-238-QINU を高温熱源から奪う。
これを、準静的に元の状態に戻すには、
気体の圧力より無限小だけ大きい圧力を気体に加え、
準静的に等温圧縮する。
気体の状態は、曲線 UNIQ514d5fe42fd0c2b-MathJax-239-QINU 上を、
状態２から状態1へ向かって無限にゆっくり逆行して、状態１に戻る。
この間の任意の状態 UNIQ514d5fe42fd0c2b-MathJax-240-QINU で体積を 微小量ｄV 変えるには、
外力は UNIQ514d5fe42fd0c2b-MathJax-241-QINU の仕事をするので（注2を参照のこと)、
状態1に戻すまでに外力がする仕事は、
UNIQ514d5fe42fd0c2b-MathJax-242-QINU
となり、順行時に気体が外部になした仕事UNIQ514d5fe42fd0c2b-MathJax-243-QINUと一致する。
等温変化なので、外部からの仕事は、熱として高温熱源に戻される。
順行時に気体が外部にした仕事を何らかの方法でためておけば、
これを使って逆行させることが出来ることが分かった。
同時に高温熱源は順行時に失ったエネルギーを逆行時に取り戻せた。
従って、第一の過程は逆行可能である。
第三の過程も同様に、逆行可能である。
UNIQ514d5fe42fd0c2b-MathJax-244-QINU 第二の過程（断熱膨張）は逆行可能である。
この過程では、気体はUNIQ514d5fe42fd0c2b-MathJax-245-QINU
を満たしながら(曲線 UNIQ514d5fe42fd0c2b-MathJax-246-QINU 上を）、図の状態２から状態３まで、無限にゆっくりと移動していく。
このとき、気体は外部に仕事
UNIQ514d5fe42fd0c2b-MathJax-247-QINU
をする。
この気体を、気体の圧力より無限小(UNIQ514d5fe42fd0c2b-MathJax-248-QINU)大きい圧力を外部からかけて断熱圧縮すると、
気体は、曲線 UNIQ514d5fe42fd0c2b-MathJax-249-QINU 上を状態３から、状態２に向かって逆行していく。
状態２に達したら、外圧を気体圧力と等しくして、圧縮をやめる。
この間に外力のする仕事は
UNIQ514d5fe42fd0c2b-MathJax-250-QINU
UNIQ514d5fe42fd0c2b-MathJax-251-QINU は無限小なので省略出来て
UNIQ514d5fe42fd0c2b-MathJax-252-QINU
行きの経路で取り出した仕事を使って、元の状態に戻せることができた。
この間、気体を断熱にしているため、外部には何の変化もない。
これで、第二の過程が逆行可能であることが分かった。
第四の過程の逆行可能性も同様にして示せる。
さらに、熱源と接触させ次の過程に移るときには、系と熱源の温度と等しくしてあるので
熱平衡は保たれている。
ゆえに、4つの過程からなるカルノーサイクルは逆行可能である。
カルノー機関より効率のよい機関が存在したら、どうなるか？
カルノー機関の一サイクルで、高温 UNIQ514d5fe42fd0c2b-MathJax-253-QINU 熱源から熱 UNIQ514d5fe42fd0c2b-MathJax-254-QINU を吸収し、
低温 UNIQ514d5fe42fd0c2b-MathJax-255-QINU 熱源に熱 UNIQ514d5fe42fd0c2b-MathJax-256-QINU を放出し、外部に仕事 UNIQ514d5fe42fd0c2b-MathJax-257-QINU をしたとする。
効率は
UNIQ514d5fe42fd0c2b-MathJax-258-QINU
カルノー機関と同じ温度の高低２つの熱源を用いた、
別の方式のサイクル熱機関を考える。
この機関は、熱媒体や、熱を仕事に変える過程に工夫を凝らし、
カルノー機関より効率が高いとする。すると、
一サイクルで、高温熱源から熱量 UNIQ514d5fe42fd0c2b-MathJax-259-QINU を吸収し、
より多くの仕事 UNIQ514d5fe42fd0c2b-MathJax-260-QINU を取り出せる。
このような機関を、「夢の機関」と言おう。
もし「夢の機関」が存在したら何が起こるだろうか。
熱媒体は、サイクルの開始時と一サイクル終了時では同じ状態なので、
内部エネルギーは不変である。
熱力学の第一法則を用いると
この間に熱媒体が得た熱量(UNIQ514d5fe42fd0c2b-MathJax-261-QINU）は、
すべて、外部への仕事UNIQ514d5fe42fd0c2b-MathJax-262-QINUに転化したことが分かる。
UNIQ514d5fe42fd0c2b-MathJax-263-QINU
故に、
UNIQ514d5fe42fd0c2b-MathJax-264-QINU
この「夢の機関」の一サイクルを順行運転する。すると、この間
高温熱源の放出熱量；UNIQ514d5fe42fd0c2b-MathJax-265-QINU
低温熱源の吸収熱量；UNIQ514d5fe42fd0c2b-MathJax-266-QINU
外部にする仕事；UNIQ514d5fe42fd0c2b-MathJax-267-QINU
（１）一つの熱源から熱をとり、それをすべて仕事に変える熱機関ができる
夢の機関を一サイクル運転して、
高温熱源から UNIQ514d5fe42fd0c2b-MathJax-268-QINU の熱を吸収し、低温熱源に UNIQ514d5fe42fd0c2b-MathJax-269-QINU の熱を放出したあと、
カルノー機関を一サイクル逆行運転して、
低温熱源が得た熱量 UNIQ514d5fe42fd0c2b-MathJax-270-QINU を吸収し、高温熱源に UNIQ514d5fe42fd0c2b-MathJax-271-QINU の熱を放出する
ことを一サイクルとする熱機関を考える。
命題；
この機関は、高温熱源から熱を吸収して、それをすべて仕事にする。
それ以外は外部に何の痕跡も残さない。
証明
この機関の一サイクルで
高温熱源は、UNIQ514d5fe42fd0c2b-MathJax-272-QINU の熱を放出し
低温熱源の熱の授受は零である。
UNIQ514d5fe42fd0c2b-MathJax-273-QINU であることを示せばよい。
カルノーサイクルを逆行させると、
低温熱源から熱量 UNIQ514d5fe42fd0c2b-MathJax-274-QINU を吸収させたときには
高温熱源に熱量 UNIQ514d5fe42fd0c2b-MathJax-275-QINU を放出する。
この機関では、カルノーサイクルの逆行で、
低温熱源から UNIQ514d5fe42fd0c2b-MathJax-276-QINU より少ない熱量 UNIQ514d5fe42fd0c2b-MathJax-277-QINU を吸収するので、
高温熱源に放出する熱量 UNIQ514d5fe42fd0c2b-MathJax-278-QINU は、UNIQ514d5fe42fd0c2b-MathJax-279-QINU より小さい。
さらに、系の状態は、
夢の機関の一サイクルで元に戻り、カルノーサイクルの逆行でも元に戻るので、
この機関の一サイクルでも元に戻る。
このため系の内部エネルギーは変わらず、
高温熱源から吸収した熱は全て仕事に転化することが分かる。
証明終わり。
(注）今までに導出した式を用いると、以下のように UNIQ514d5fe42fd0c2b-MathJax-280-QINU の正確な値が導ける。
カルノーサイクルの効率は
UNIQ514d5fe42fd0c2b-MathJax-281-QINU
これより、
UNIQ514d5fe42fd0c2b-MathJax-282-QINU
故に、 UNIQ514d5fe42fd0c2b-MathJax-283-QINU
UNIQ514d5fe42fd0c2b-MathJax-284-QINU
（２）低温熱源から、高温熱源にエネルギーを使わず熱を移せる
今度は、「夢の機関」の一サイクルの順行で取出した仕事をすべて使って、
カルノー機関の一サイクルを逆行させることを一サイクルとする機関を考える。
前項と同じように考えると、この機関を一サイクル順行運転すると、
低温熱源から、エネルギーを全く使わず、高温熱源に熱を移すことができることになる。
カルノー機関は効率最高の機関
カルノーは、
(1) 低温熱源から、高温熱源にエネルギーを使わず熱を移すことはできない。
(2） また、サイクル運転で一つの熱源から熱をとり、それをすべて仕事に変えることもできない。
これは自然の持つ法則だという仮説をたてた。
これらは、後に熱力学の第2法則として確立された。
ここまで説明したことから、
もしカルノー機関より効率が良い「夢の機関」があれば、この仮説に反する結果が導かれる。
そこで、「夢の機関」は存在しないという結論を得た（背理法）。
可逆なサイクル熱機関は、すべて最高効率
２つの熱源で働く可逆なサイクル熱機関を考える。
命題
可逆な熱機関は最高効率である。
証明；
もし、カルノーサイクルより効率が低い可逆機関があるとしよう。
すると
カルノー機関を一サイクル順行運転して、
高温熱源から吸収する熱量を UNIQ514d5fe42fd0c2b-MathJax-285-QINU 、低温熱源に放出する熱量を UNIQ514d5fe42fd0c2b-MathJax-286-QINU
とする。次に
この可逆機関を一回逆サイクル運転して
低温熱源が得た熱量 UNIQ514d5fe42fd0c2b-MathJax-287-QINU をすべて吸収し、高温熱源に熱量 UNIQ514d5fe42fd0c2b-MathJax-288-QINU を放出する。
これを一サイクルとする、熱機関を考える。
補題；
この機関は、高温熱源から熱を吸収し、それを全て仕事に変えるサイクル機関となる。
何故ならば
カルノーサイクルの効率は UNIQ514d5fe42fd0c2b-MathJax-289-QINU
可逆機関の効率 UNIQ514d5fe42fd0c2b-MathJax-290-QINU が UNIQ514d5fe42fd0c2b-MathJax-291-QINU より
小さいので
UNIQ514d5fe42fd0c2b-MathJax-292-QINU
故に、
UNIQ514d5fe42fd0c2b-MathJax-293-QINU
従って、この機関は、高温熱源から UNIQ514d5fe42fd0c2b-MathJax-294-QINU の熱を吸収して、
これを全て外部への仕事に転化する機関となる。
これは、カルノーの仮説に反し、矛盾が生じた。
従って、すべての可逆熱機関は最高効率である。
証明終わり。
