3.两种表述的等效性 正定理:如果K成立,C一定成立 逆定理:如果C成立,K一定成立 否定理:如果K不成立,C一定不成立 逆否定理:如果C不成立,K一定不成立 用反证法证明后两项 1)如果K不成立,则存在单热源热机, 建立如图联合循环, 总效果 T1 低温热源(2)放热Q2 A A+Q2=Q1+Q2 高温热源(T吸热: Q 1+Q2-Q1=C2 无其它影响,故C不成立
3. 两种表述的等效性 正定理：如果 K 成立，C 一定成立 逆定理：如果 C 成立，K 一定成立 否定理：如果 K 不成立，C 一定不成立 逆否定理：如果 C 不成立，K 一定不成立 用反证法证明后两项 1） 如果 K不成立，则存在单热源热机， 建立如图联合循环， 2 2 低温热源（T ) 放热Q 1 2 1 2 1 ) : Q Q Q Q T + − = 高温热源（ 吸热 无其它影响，故 C 不成立 总效果：
2)如果C不成立,则存在A=0的致冷机, 建立如图联合循环 总效果: T1 低温热源(T2)不变 A=Q-Q 2高温热源(T) 放热:Q1-Q2 2 做功:Q1-Q2 无其它影响,故K不成立 由1),2),C、K两种表述等效
2）如果 C 不成立，则存在 A=0 的致冷机， 建立如图联合循环 总效果： 低温热源（T2 )不变 1 2 1 : ) Q Q T 放热 − 高温热源（ 1 2 做功: Q −Q 无其它影响，故 K 不成立。 由 1）， 2）， C、K 两种表述等效