Problema
Se me pide demostrar el siguiente resultado (Ejercicio 2.F.5 de MWG):
La ley de la demanda siempre se cumple si la función de demanda walrasiana $x(\mathbf{p},w)$ satisface el axioma débil de preferencia revelada (WARP), la ley de Walras, la homogeneidad de grado 0 y la homogeneidad de grado 1 con respecto a la riqueza.
Mi Intento Hasta Ahora
Esto es lo que tengo hasta ahora:
Supongamos que la función de demanda walrasiana $x(\mathbf{p},w)$ satisface el axioma débil de preferencia revelada (WARP), la ley de Walras, la homogeneidad de grado 0 y la homogeneidad de grado 1 con respecto a la riqueza $w$. Queremos demostrar que, para cualquier cambio de precio de $\mathbf{p}$ a $\mathbf{p}'$ (sin cambio en la riqueza), tenemos \begin{align*} (\mathbf{p}' - \mathbf{p}) \cdot [x(\mathbf{p}',w) - x(\mathbf{p},w)] \leq 0.\tag1 \end{align*} Por homogeneidad de grado 1 en $w$, demostraremos \begin{align*} (\mathbf{p}' - \mathbf{p}) \cdot [x(\mathbf{p}',1) - x(\mathbf{p},1)] \leq 0\tag2 \end{align*} para todo $\mathbf{p}$ y $\mathbf{p}'$. Consideramos los siguientes casos:
Caso 1: Supongamos que $x(\mathbf{p},1) = x(\mathbf{p}',1)$. Entonces la desigualdad $(2)$ siempre se cumple con $(\mathbf{p}' - \mathbf{p}) \cdot [x(\mathbf{p}',1) - x(\mathbf{p},1)] = 0$.
De ahora en adelante, supongamos que $x(\mathbf{p},1) \neq x(\mathbf{p}',1)$.
Caso 2: Supongamos que $\mathbf{p}' \cdot x(\mathbf{p},1) > 1$ y $\mathbf{p} \cdot x(\mathbf{p}',1) > 1$. Observamos que, por la ley de Walras, $1 = \mathbf{p} \cdot x(\mathbf{p},1) = \mathbf{p}' \cdot x(\mathbf{p}',1)$. Entonces, \begin{align*} (\mathbf{p}' - \mathbf{p}) \cdot [x(\mathbf{p}',1) - x(\mathbf{p},1)] &= \mathbf{p}' \cdot x(\mathbf{p}',1) - \mathbf{p}' \cdot x(\mathbf{p},1) - \mathbf{p} \cdot x(\mathbf{p}',1) + \mathbf{p} \cdot x(\mathbf{p},1)\\ &= 1 - \mathbf{p}' \cdot x(\mathbf{p},1) - \mathbf{p} \cdot x(\mathbf{p}',1) + 1\\ &< 0. \end{align*}
Aquí es donde me quedé atascado:
Caso 3: Supongamos que $\mathbf{p}' \cdot x(\mathbf{p},1) \leq 1$ y $\mathbf{p} \cdot x(\mathbf{p}',1) > 1$.
Caso 4: Supongamos que $\mathbf{p}' \cdot x(\mathbf{p},1) > 1$ y $\mathbf{p} \cdot x(\mathbf{p}',1) \leq 1$.
Mi Pregunta
¿Podría alguien ayudarme a derivar la desigualdad $(2)$ para los Casos 3 y 4 anteriores? Básicamente podríamos simplemente considerar el Caso 3. Quiero demostrar que, si $\mathbf{p}' \cdot x(\mathbf{p},1) \leq 1$ y $\mathbf{p} \cdot x(\mathbf{p}',1) > 1$, entonces \begin{align*} \mathbf{p}' \cdot x(\mathbf{p},1) + \mathbf{p} \cdot x(\mathbf{p}',1) \geq 2. \end{align*} ¡Muchas gracias de antemano!