Hace dos días, hice una pregunta sobre excedente del consumidor. Pregunté si $$\text{CS en }p_0 = \int_{0}^{q_0} [p(q) - p_0] \ dq = \int_{p_0}^{p_\max} q(p) \ dp$$ se cumple cuando $p_\max$ existe y $D(p_\max) = 0$.
Estaba verificando con un ejemplo hoy y parece que no lo es. Considera $Q_d = 20 - P_d$ y $Q_s = P_s - 5$. Supongamos que el gobierno impone un precio de $p_0 = 8$. Luego
$$\int_{0}^{q_0} [p(q) - p_0] \ dq = 31.5 \neq 72 = \int_{p_0}^{p_\max} q(p) \ dp$$
parece ser el caso aquí. He explicado gráficamente cada cálculo aquí, gracias a Desmos, por lo que el trabajo será más fácil para ti: https://www.desmos.com/calculator/hnjtruvfyj.
Por favor, explique la inconsistencia y si me estoy perdiendo algo.