卡诺定理的数学表达式有哪些