Carnot's theorem (thermodynamics)
{{#invoke:Sidebar collapsible  bodyclass = plainlist  titlestyle = paddingbottom:0.3em;borderbottom:1px solid #aaa;  title = Thermodynamics  imagestyle = display:block;margin:0.3em 0 0.4em;  image =  caption = The classical Carnot heat engine  listtitlestyle = background:#ddf;textalign:center;  expanded = Equations
 list1name = branches  list1title = Branches  list1 = Template:Startflatlist
 list2name = laws  list2title = Laws  list2 = Template:Startflatlist
 list3name = systems  list3title = Systems  list3 =
State 

Processes 
Cycles 
 list4name = sysprop  list4title = System properties
 list4 =
Functions of state 

Process functions 
 list5name = material  list5title = Material properties  list5 =
 list6name = equations  list6title = Equations  list6 = Template:Startflatlist
 Maxwell relations
 Onsager reciprocal relations
 Bridgman's equations
 Table of thermodynamic equations
 list7name = potentials  list7title = Potentials  list7 = Template:Startflatlist
 list8name = hist/cult  list8title = Template:Hlist  list8 =
History 

Philosophy 
Theories 

Key publications 
Timelines 
Template:Hlist 
 list9name = scientists  list9title = Scientists  list9 = Template:Startflatlist
 Bernoulli
 Carnot
 Clapeyron
 Clausius
 Carathéodory
 Duhem
 Gibbs
 von Helmholtz
 Joule
 Maxwell
 von Mayer
 Onsager
 Rankine
 Smeaton
 Stahl
 Thompson
 Thomson
 Waterston
 below = Book:Thermodynamics
}} Carnot's theorem, developed in 1824 by Nicolas Léonard Sadi Carnot, also called Carnot's rule, is a principle that specifies limits on the maximum efficiency any heat engine can obtain, which thus solely depends on the difference between the hot and cold temperature reservoirs.
Carnot's theorem states:
 All heat engines between two heat reservoirs are less efficient than a Carnot engine operating between the same reservoirs.
 Every Carnot engine between a pair of heat reservoirs is equally efficient, regardless of the working substance employed or the operation details.
The formula for this maximum efficiency is
where T_{C} is the absolute temperature of the cold reservoir, T_{H} is the absolute temperature of the hot reservoir, and the efficiency is the ratio of the work done by the engine to the heat drawn out of the hot reservoir.
Based on modern thermodynamics, Carnot's theorem is a result of the second law of thermodynamics. Historically, however, it was based on contemporary caloric theory and preceded the establishment of the second law.^{[1]}
Proof
The proof of the Carnot theorem is a proof by contradiction, or reductio ad absurdum, as illustrated by the figure showing two heat engines operating between two reservoirs of different temperature. The heat engine with more efficiency () is driving a heat engine with less efficiency (), causing the latter to act as a heat pump. This pair of engines receives no outside energy, and operates solely on the energy released when heat is transferred from the hot and into the cold reservoir. However, if , then the net heat flow would be backwards, i.e., into the hot reservoir:
It is generally agreed that this is impossible because it violates the second law of thermodynamics.
We begin by verifying the values of work and heat flow depicted in the figure. First, we must point out an important caveat: the engine with less efficiency () is being driven as a heat pump, and therefore must be a reversible engine. If the less efficient engine () is not reversible, then the device could be built, but the expressions for work and heat flow shown in the figure would not be valid.
By restricting our discussion to cases where engine () has less efficiency than engine (), we are able to simplify notation by adopting the convention that all symbols, and represent nonnegative quantities (since the direction of energy flow never changes sign in all cases where ). Conservation of energy demands that for each engine, the energy which enters, , must equal the energy which exits, :
The figure is also consistent with the definition of efficiency as for both engines:
It may seem odd that a hypothetical heat pump with low efficiency is being used to violate the second law of thermodynamics, but the figure of merit for refrigerator units is not efficiency, , but the coefficient of performance (COP),^{[2]} which is . A reversible heat engine with low thermodynamic efficiency, delivers more heat to the hot reservoir for a given amount of work when it is being driven as a heat pump.
Having established that the heat flow values shown in the figure are correct, Carnot's theorem may be proven for irreversible and the reversible heat engines.^{[3]}
Reversible engines
To see that every reversible engine operating between reservoirs and must have the same efficiency, assume that two reversible heat engines have different values of , and let the more efficient engine (M) drive the less efficient engine (L) as a heat pump. As the figure shows, this will cause heat to flow from the cold to the hot reservoir without any external work or energy, which violates the second law of thermodynamics. Therefore both (reversible) heat engines have the same efficiency, and we conclude that:
 All reversible engines that operate between the same two heat reservoirs have the same efficiency.
This is an important result because it helps establish the Clausius theorem, which implies that the change in entropy is unique for all reversible processes.,^{[4]}
over all paths (from a to b in VT space). If this integral were not path independent, then entropy, S, would lose its status as a state variable.^{[5]}
Irreversible engines
If one of the engines is irreversible, it must be the (M) engine, placed so that it reverse drives the less efficient but reversible (L) engine. But if this irreversible engine is more efficient than the reversible engine, (i.e., if ), then the second law of thermodynamics is violated. And, since the Carnot cycle represents a reversible engine, we have the first part of Carnot's theorem:
 No irreversible engine is more efficient that the Carnot engine.
Definition of thermodynamic temperature
{{#invoke:mainmain}} The efficiency of the engine is the work divided by the heat introduced to the system or Template:NumBlk
where w_{cy} is the work done per cycle. Thus, the efficiency depends only on q_{C}/q_{H}.
Because all reversible engines operating between the same heat reservoirs are equally efficient, any reversible heat engine operating between temperatures T_{1} and T_{2} must have the same efficiency, meaning, the efficiency is the function of the temperatures only: Template:NumBlk
In addition, a reversible heat engine operating between temperatures T_{1} and T_{3} must have the same efficiency as one consisting of two cycles, one between T_{1} and another (intermediate) temperature T_{2}, and the second between T_{2}andT_{3}. This can only be the case if
Specializing to the case that is a fixed reference temperature: the temperature of the triple point of water. Then for any T_{2} and T_{3},
Therefore, if thermodynamic temperature is defined by
then the function f, viewed as a function of thermodynamic temperature, is
and the reference temperature T_{1} has the value 273.16. (Of course any reference temperature and any positive numerical value could be used—the choice here corresponds to the Kelvin scale.)
It follows immediately that Template:NumBlk
Substituting Equation Template:EquationNote back into Equation Template:EquationNote gives a relationship for the efficiency in terms of temperature:
Applicability to fuel cells and batteries
Since fuel cells and batteries can generate useful power when all components of the system are at the same temperature (), they are clearly not limited by Carnot's theorem, which states that no power can be generated when . This is because Carnot's theorem applies to engines converting thermal energy to work, whereas fuel cells and batteries instead convert chemical energy to work.^{[6]} Nevertheless, the second law of thermodynamics still provides restrictions on fuel cell and battery energy conversion.^{[7]}
References
 ↑ Template:Cite web Template:PDFWayback
 ↑ {{#invoke:citation/CS1citation CitationClass=book }}
 ↑ Template:Cite web
 ↑ {{#invoke:citation/CS1citation CitationClass=book }}
 ↑ http://faculty.wwu.edu/vawter/PhysicsNet/Topics/ThermLaw2/ThermalProcesses.html, and http://www.itp.phys.ethz.ch/education/hs10/stat/slides/Laws_TD.pdf. Both retrieved 13 December 2013.
 ↑ Template:Cite web
 ↑ {{#invoke:citation/CS1citation CitationClass=conference }}