Home Competitions Putnam 2018 B5
Let f = ( f 1 , f 2 ) f = (f_1, f_2) f = ( f 1 , f 2 ) be a function from R 2 \mathbb{R}^2 R 2 to R 2 \mathbb{R}^2 R 2 with continuous partial derivatives ∂ f i ∂ x j \frac{\partial f_i}{\partial x_j} ∂ x j ∂ f i that are positive everywhere. Suppose that ∂ f 1 ∂ x 1 ∂ f 2 ∂ x 2 − 1 4 ( ∂ f 1 ∂ x 2 + ∂ f 2 ∂ x 1 ) 2 > 0 \frac{\partial f_1}{\partial x_1} \frac{\partial f_2}{\partial x_2} - \frac{1}{4} \left( \frac{\partial f_1}{\partial x_2} + \frac{\partial f_2}{\partial x_1} \right)^2 > 0 ∂ x 1 ∂ f 1 ∂ x 2 ∂ f 2 − 4 1 ( ∂ x 2 ∂ f 1 + ∂ x 1 ∂ f 2 ) 2 > 0 everywhere. Prove that f f f is one-to-one.
Curated text Kedlaya Putnam archive . Quoted with source.
Solutions
Human solution Solution 1 by Kiran Kedlaya and Lenny Ng
The terms of the source let olymmath link to this solution but not copy it. Read the solution (Kedlaya Putnam archive).
Locator putnam/2018/b5 · Tag VP1334PGSM · Edit this page on GitHub · Keys: j next, k previous