国内有几家航空公司:数学换底公式及其推论有谁能告诉我?