为方便理解,图 高温热库T2 中热量Q已用箭 Q1+Q2 Q2 头标明流向,其 W=Q2 WR 值为绝对值大小 Ol (下一图同) 低温热库T1 这样,环境无功的得失,高温热源得到Q1, 低温热源失去Q1,总效果是:
◼ 为方便理解，图 中热量Q已用箭 头标明流向，其 值为绝对值大小 (下一图同)。 • 这样，环境无功的得失，高温热源得到 Q1， 低温热源失去Q1，总效果是：
高温热库T2 Q1+Q2 Q2 W=02 R Q1 低温热库T1 热自发地由低温(T1)流到高温(T2)而 不发生其他变化,即 Clausius表述不成立, 即:非A成立 由非B→非A,∴A→B
• 热自发地由低温（T1）流到高温（T2）而 不发生其他变化，即 Clausius 表述不成立， 即：非A成立 • 由 非B 非A， A B
I证明若 Clausius表述不成立(非A 则 Kelvin表达不成立(非B) 若非A,即热(Q2)可自发地由低温热源 (T流向高温热源(T2),而不发生其他 变化; ■在T1、T2之间设计一热机R,它从高温 热源吸热Q2,使其对环境作功W,并 对低温热源放热Q1(如图);
II. 证明若Clausius表述不成立(非A)， 则Kelvin表达不成立(非B) ◼ 若非A，即热 (Q2 )可自发地由低温热源 ( T1 ) 流向高温热源 ( T2 )，而不发生其他 变化； ◼ 在 T1、T2之间设计一热机R，它从高温 热源吸热 Q2，使其对环境作功 W，并 对低温热源放热Q1（如图）；
高温热库T2 02 发 Q2 R Q1 低温热库T1 这样,环境得功W,高温热源无热量得失, 低温热源失热:Q2-Q1=W
◼这样，环境得功W，高温热源无热量得失， 低温热源失热： Q2－ Q1 = W
高温热库T2 O2 发 O2 R Q1 低温热库T1 即总效果是:从单一热源T吸热(Q2-Q 全部变为功(W)而不发生其他变化,即 Kelvin表达不成立(非B成立); 即:由非A→非B,∴B→A
◼ 即总效果是：从单一热源 T1吸热 (Q2−Q1 ) 全部变为功 (W)而不发生其他变化，即 Kelvin 表达不成立(非B成立)； ◼ 即：由非A 非B ， B A