Carnot's theorem (thermodynamics)¶

The thermodynamic result that no engine operating between two heat reservoirs can exceed the efficiency of a reversible engine between them, and all such reversible engines share efficiency 1−Tc/Th on an absolute temperature scale.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8347
Domain group: Natural Sciences
Origin domain: Physics
Subdomain: Thermodynamics → Physics

Core Idea¶

Carnot's theorem says no cyclic engine between two reservoirs can exceed a reversible engine, and every reversible engine between them has efficiency 1−Tc/Th using absolute temperatures. For absolute temperatures Th>Tc, the reversible upper bound is ηrev=1−Tc/Th, with efficiency Wout/Qh. For absolute temperatures Th>Tc, the reversible upper bound is ηrev=1−Tc/Th, with efficiency Wout/Qh.

How would you explain it like I'm…

The Best Engine Rule

An engine can make things move by letting heat flow from something hot to something cold. Carnot's theorem says there is a best-possible engine, and no engine can ever beat it. How good the best one can be depends only on how hot the hot side is and how cold the cold side is, not on what the engine is made of.

No Engine Beats a Perfect One

A heat engine works by taking heat from a hot place, turning some of it into work, and dumping the rest into a cold place. Carnot's theorem says no engine working between the same hot and cold places can do better than a perfect, 'reversible' engine, which wastes nothing through friction or leaks. Every perfect engine between those two temperatures does equally well, whatever gas or liquid it uses inside. The best efficiency is 1 minus the cold temperature divided by the hot temperature, using the absolute temperature scale. Real engines always do worse because of friction, leaks and heat flowing across big temperature gaps.

Reversible Engine Efficiency Limit

Carnot's theorem says that no cyclic heat engine running between the same hot and cold reservoirs can be more efficient than a reversible engine, and that all reversible engines between those reservoirs have the same efficiency, no matter what working substance they use. It is proved by imagining a better engine driving a reversible one backward and showing this would break the second law of thermodynamics. For absolute temperatures T_h > T_c, the maximum efficiency (work out divided by heat in) is η = 1 − T_c/T_h. Real engines fall short because friction, heat transfer across finite temperature differences, mixing, pressure losses and leaks create entropy. The formula is an upper limit to compare against, not a prediction of how well a real power plant will do.

Carnot's theorem states that no cyclic heat engine operating between the same hot and cold reservoirs can exceed the efficiency of a reversible engine, and that all reversible engines between those reservoirs have the same efficiency, independent of working substance. The proof couples a hypothetical more-efficient engine to a reversible engine run in reverse; the combination would produce net work or net heat transfer from cold to hot with no compensating effect, contradicting the second law. With efficiency defined as η = W_out/Q_h and absolute reservoir temperatures T_h > T_c, the reversible bound is η_rev = 1 − T_c/T_h. Equality requires reversibility; entropy generated by heat transfer across finite temperature differences, friction, mixing, pressure losses, chemical irreversibility, and leakage lowers the achievable efficiency. The bound is a benchmark, not a design forecast: real plants exchange heat over ranges of temperature rather than at two fixed values, include pumps and auxiliaries, and may involve combustion and material streams, so exergy or integrated reversible analysis may be needed for a fair comparison. None of these complications overturn the two-reservoir limit.

Scope of Application¶

Carnot's theorem is used in thermodynamics, heat-engine analysis, power generation, refrigeration foundations, entropy/exergy education, and evaluation of claimed efficiency improvements. Use it with cyclic boundary, heat/work convention, kelvin reservoir temperatures, reversible versus actual status, finite-source qualifications, and distinction among Carnot bound, Carnot cycle, exergy efficiency, and refrigerator COP explicit.

Engine benchmarking. Computes a reservoir-temperature ceiling.
Second-law analysis. Locates irreversibility relative to the bound.
Temperature scales. Motivates absolute thermodynamic temperature.
Power cycles. Compares ideal and realized performance.
Claim checking. Rejects impossible heat-to-work efficiencies.

Clarity¶

State reservoir temperatures in kelvins, heat/work sign convention, cyclic boundary, efficiency denominator, reversible versus actual status, and whether sources vary in temperature. Do not report the Carnot number as expected plant output. The closest near miss sets the boundary: A Carnot cycle is one reversible construction attaining the bound; the theorem is the broader comparison result.

Manages Complexity¶

One ratio removes working-fluid and mechanism detail to expose a universal bound. That simplification is exact for the idealized comparison but omits the engineering sources that determine distance below the limit. The central universal bound–real temperature profiles tradeoff is this: Two reservoirs yield clarity while practical sources change temperature. A second maximum efficiency–power and feasibility tension matters because Reversibility raises efficiency while infinitesimal gradients reduce power. The working-fluid independence–engineering dependence tension adds that The ceiling ignores substance while actual losses depend strongly on design.

Abstract Reasoning¶

Use three linked moves: draw the cyclic system boundary and energy flows; identify effective hot/cold reservoir temperatures on an absolute scale; compute the reversible bound and verify 0≤η<1 for finite temperatures. As a collapse test, the case exits when reservoir temperatures are not defined, temperatures are not absolute, the device is not cyclic, or other energy/material streams invalidate the two-reservoir model. A fourth check is to estimate actual efficiency using consistent heat input and net work. A final check is to attribute the gap to entropy generation or model mismatch rather than exceeding the theorem.

Knowledge Transfer¶

Upper bounds from reversible comparison recur in information and transport analogies, but Carnot's formula transfers literally only to thermodynamic heat engines and absolute reservoir temperatures. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. Reversible performance caps all irreversible engines. Equality requires no entropy generation.

Relationships to Other Abstractions¶

Current abstraction Carnot's theorem (thermodynamics) Domain-specific

Parents (1) — more general patterns this builds on

Carnot's theorem (thermodynamics) is a kind of Second Law of Thermodynamics Prime

Carnot's efficiency bound is a direct quantitative consequence of entropy non-decrease applied to a cyclic engine.

Hierarchy path (1) — routes to 1 parentless root

Carnot's theorem (thermodynamics) → Second Law of Thermodynamics

Neighborhood in Abstraction Space¶

Carnot's theorem (thermodynamics) sits in a moderately populated region (56^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Thermodynamics & Dissipative Systems (19 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08