奥托循环公式推导