第四节 形式化工具：加入交易费用的曲线推导