设f：Rⁿ→Rⁿ可微，且f^′在Rⁿ上连续，若存在常数c〉0，使对一切x₁，x₂∈Rⁿ，均有‖f（x₁）-f（x₂）‖≥c‖x₁-x₂‖。试证明：f是Rⁿ上的一一映射。

证明：若DRⁿ是凸开集，f：D→Rⁿ是D上的可微函数，则对任意两点a，b∈D，以及每一常向量β∈Rⁿ，必存在c=a+θ（b-a）D，0〈θ〈1，满足β^T[f（b）-f（a）]=β^Tf^′（c）（b-a）。

设DRⁿ是开集，f：D→Rⁿ为可微函数，且对任何x∈D，detf^′（x）≠0，试证：若yf（D），φ（x）=‖y-f（x）‖²，则对一切x∈D，φ（x）≠0。