热带数学中运算性质与多项式不等式研究.pdfVIP

th

11‑麻省理工数学竞赛年度赛事

星期六

团队赛：B组

热带数学{TropicalMathematics}[95]

对于实数x和y，我们考虑由下式定义的两个运算⊕和

x⊕y=min(x,y)andxy=x+y.

我们也在集合中包含∞，它满足对所有x有x⊕∞=x和x∞=∞。当未特别说明时，运算顺

序中优先于⊕。

1.[10](分配律)证明(x⊕y)z=xz⊕yz对所有x,y,z∈R∪{∞}成立。

解：这等价于证明

min(x,y)+z=min(x+z,y+z).

考虑两种情形。如果x≤y，则LHS=x+z且RHS=x+z。如果xy，则LHS=y+z且

RHS=y+z。因此得出LHS=RHS。

nnnn

2.[10]()设z表示zz······z·z，其中z出现n次。证明(x⊕y)=x⊕y

对所有x,y∈R∪{∞}和正整数n成立。

nnnn

解：不失一般性，假设x≤y，则LHS=min(x,y)=x=nx，且RHS=min(x,y)

=min(nx,ny)=nx。

3.[35]我们称热带多项式为如下形式的函数：

p(x)=axn⊕axn−1⊕····⊕ax⊕a,

nn−110

其中指数运算的定义与上一题中给出的一致。

设p是一个热带多项式。证明：

x+yp(x)+p(y)

p≥

22

对所有x,y∈R∪{∞}成立。（这意味着所有热带多项式都是凹函数。）

解：首先，对于任意的x,...,x,y,...,y，我们有

1n1n

min{x+y,x+y,...,x+y}≥min{x,x,...,x}+min{y,y,...,y}.

1122nn12n12n

上，假设x+y=min{x+y}，那么x≥minx且y≥miny，因此min

mmiiimiimii

{x