Editing Carnot's theorem (thermodynamics) (section)

==Proof==
[[File:Carnot theorem paradox.svg|thumb|300px|An impossible situation: A heat engine cannot drive a less-efficient reversible heat engine without violating the second law of thermodynamics. Quantities in this figure are the absolute values of energy transfers (heat and work). ]]

The proof of the Carnot theorem is a [[proof by contradiction]] or [[reductio ad absurdum]] (a method to prove a statement by assuming its falsity and logically deriving a false or contradictory statement from this assumption), based on a situation like the right figure where two heat engines with different [[Heat engine#Efficiency|efficiencies]] are operating between two [[Thermal reservoir|thermal reservoirs]] at different temperature. The relatively hotter reservoir is called the hot reservoir and the other reservoir is called the cold reservoir. A (not necessarily [[Reversible process (thermodynamics)|reversible]]) heat engine <math>M</math> with a greater efficiency <math>\eta_{_M}</math> is driving a reversible heat engine <math>L</math> with a less efficiency <math>\eta_{_L}</math>, causing the latter to act as a [[heat pump]]. The requirement for the engine <math>L</math> to be reversible is necessary to explain work <math>W</math> and heat <math>Q</math> associated with it by using its known efficiency. However, since <math>\eta_{_M}>\eta_{_L}</math>, the net heat flow would be backwards, i.e., into the hot reservoir:

:<math>Q^\text{out}_\text{h} = Q < \frac{\eta_{_M}}{\eta_{_L}}Q=Q^\text{in}_\text{h},</math>

where <math>Q</math> represents heat, <math>\text{in}</math> denotes input to an object, <math>\text{out}</math> for output from an object, and <math>h</math> for the hot thermal reservoir. If heat <math>Q^\text{out}_\text{h} </math> flows from the hot reservoir then it has the sign of + while if <math>Q^\text{in}_\text{h} </math> flows from the hot reservoir then it has the sign of -. This expression can be easily derived by using the definition of the [[Heat engine#Efficiency|efficiency]] of a heat engine, <math>\eta=W/Q_\text{h}^\text{in}</math>, where work and heat in this expression are net quantities per engine cycle, and the conservation of energy for each engine as shown below. The sign convention of work <math>W</math>, with which the sign of + for work done by an engine to its surroundings, is employed.

The above expression means that heat into the hot reservoir from the engine pair (can be considered as a single engine) is greater than heat into the engine pair from the hot reservoir (i.e., the hot reservoir continuously gets energy). A reversible heat engine with a low efficiency delivers more heat (energy) to the hot reservoir for a given amount of work (energy) to this engine when it is being driven as a heat pump. All these mean that heat can transfer from cold to hot places without external work, and such a heat transfer is impossible by the [[second law of thermodynamics]]. 

* It may seem odd that a hypothetical reversible heat pump with a low efficiency is used to violate the second law of thermodynamics, but the [[figure of merit]] for refrigerator units is not the efficiency, <math>W/Q_\text{h}^\text{out}</math>, but the [[coefficient of performance]] (COP),<ref>{{cite book |last=Tipler |first=Paul |title=Physics for Scientists and Engineers |author2=Mosca, G. |publisher=Freeman |year=2008 |isbn=9781429201322 |edition=6th |chapter=19.2, 19.7}}</ref> which is <math>Q_\text{c}^\text{out}/W</math> where this <math>W</math> has the sign opposite to the above (+ for work done to the engine).

Let's find the values of work <math>W</math>and heat <math>Q</math> depicted in the right figure in which a reversible heat engine <math>L</math> with a less efficiency <math>\eta_{_L}</math> is driven as a heat pump by a heat engine <math>M</math> with a more efficiency <math>\eta_{_M}</math>.

The definition of the [[Heat engine#Efficiency|efficiency]] is <math>\eta = W/Q_\text{h}^\text{out}</math> for each engine and the following expressions can be made:

:<math>\eta_M= \frac{W_M}{Q^{\text{out},M}_\text{h}} = \frac{\eta_M Q}{Q}=\eta_M,</math>

:<math> \eta_L = \frac{W_L}{Q^{\text{out},L}_\text{h}} = \frac{-\eta_M Q}{-\frac{\eta_M}{\eta_L}Q} = \eta_L.</math>

The denominator of the second expression, <math> Q^{\text{out},L}_\text{h} = -\frac{\eta_M}{\eta_L}Q</math>, is made to make the expression to be consistent, and it helps to fill the values of work and heat for the engine <math>L</math>.

For each engine, the absolute value of the energy entering the engine, <math> E_\text{abs}^\text{in} </math>, must be equal to the absolute value of the energy leaving from the engine, <math> E_\text{abs}^\text{out} </math>. Otherwise, energy is continuously accumulated in an engine or the conservation of energy is violated by taking more energy from an engine than input energy to the engine:

:<math>E_\text{M,abs}^\text{in} = Q = (1-\eta_M)Q + \eta_M Q = E_\text{M,abs}^\text{out},  </math>

:<math>E_\text{L,abs}^\text{in} = \eta_M Q + \eta_M Q \left(\frac{1}{\eta_L}- 1 \right ) = \frac{\eta_M}{\eta_L}Q = E_\text{L,abs}^\text{out}. </math>

In the second expression, <math display="inline"> \left| Q^{\text{out},L}_\text{h} \right| = \left| - \frac{\eta_M}{\eta_L}Q \right|</math> is used to find the term <math display="inline">\eta_M Q \left(\frac{1}{\eta_L}- 1 \right ) </math> describing the amount of heat taken from the cold reservoir, completing the absolute value expressions of work and heat in the right figure.

Having established that the right figure values are correct, Carnot's theorem may be proven for irreversible and the reversible heat engines as shown below.<ref name="CarnotThoerem">{{cite web
|url=http://seit.unsw.adfa.edu.au/staff/sites/hrp/Literature/articles/CarnotTheorem.pdf
|title=Lecture 10: Carnot theorem
|date=Feb 7, 2005
|access-date=October 5, 2010}}</ref>

===Reversible engines===
To see that every [[Reversible process (thermodynamics)|reversible engine]] operating between reservoirs at temperatures <math>T_1</math> and <math>T_2</math> must have the same efficiency, assume that two reversible heat engines have different efficiencies, and let the relatively more efficient engine <math>M</math> drive the relatively less efficient engine <math>L</math> as a heat pump. As the right figure shows, this will cause heat to flow from the cold to the hot reservoir without external work, which violates the second law of thermodynamics. Therefore, both (reversible) heat engines have the same efficiency, and we conclude that:

:''All reversible heat engines that operate between the same two thermal'' (''heat'') ''reservoirs have the same efficiency.''

The reversible heat engine efficiency can be determined by analyzing a Carnot heat engine as one of reversible heat engine.

This conclusion is an important result because it helps establish the [[Clausius theorem]], which implies that the change in [[entropy]] <math>S</math> is unique for all reversible processes:<ref>{{cite book |last=Ohanian |first=Hans |title=Principles of Physics |publisher=W.W. Norton and Co. |year=1994 |isbn=039395773X |pages=438}}</ref>

:<math>\Delta S = \int_a^b \frac {dQ_\text{rev}}T </math>

as the entropy change, that is made during a transition from a [[thermodynamic equilibrium]] state <math>a</math> to a state <math>b</math> in a ''V-T'' (Volume-Temperature) space, is the same over all reversible process paths between these two states. If this integral were not path independent, then entropy would not be a [[state function|state variable]].<ref>http://faculty.wwu.edu/vawter/PhysicsNet/Topics/ThermLaw2/ThermalProcesses.html {{Webarchive|url=https://web.archive.org/web/20131228111404/http://faculty.wwu.edu/vawter/PhysicsNet/Topics/ThermLaw2/ThermalProcesses.html |date=2013-12-28 }}, and http://www.itp.phys.ethz.ch/education/hs10/stat/slides/Laws_TD.pdf {{Webarchive|url=https://web.archive.org/web/20131213183127/http://www.itp.phys.ethz.ch/education/hs10/stat/slides/Laws_TD.pdf |date=2013-12-13 }}. Both retrieved 13 December 2013.</ref>

===Irreversible engines===
Consider two engines, <math>M</math> and <math>L</math>, which are irreversible and reversible respectively. We construct the machine shown in the right figure, with <math>M</math> driving <math>L</math> as a heat pump. Then if <math>M</math> is more efficient than <math>L</math>, the machine will violate the second law of thermodynamics. Since a Carnot heat engine is a reversible heat engine, and all reversible heat engines operate with the same efficiency between the same reservoirs, we have the first part of Carnot's theorem:

:''No irreversible heat engine is more efficient than a Carnot heat engine operating between the same two thermal reservoirs.''