I found an exercise with solution in the field of Mechanism Design. The problem is I don't understand the solution.
Exercise. Use the characterization of incentive compatible direct-revelation mechansisms to show that there is no such mechanism for the problem of the department deciding whether to buy a 3-d printer of cost $C$ (even in the case of just two employees with values $v_1$ and $v_2$) with property that:
If $v_1 + v_2 > C$ then the printer is purchased and if $v_1 + v_2 < C$ then it’s not.
If the printer is purchased, then the employees are in total charged at least $C$ (i.e., no subsidy by the department), and player $i$ is never charged more than $v_i$.
Solution. Consider $v_1 = v_2 = 3C/4$. The price charged to player $1$ cannot be a function of $v_1$,
Q: why not?
and it can’t be larger than $C/4 + 1$ else the mechanism wouldn’t act correctly for $v_1 = C/4 + 1$
Q: but we set $v_1=v_2=3C/4$
(either it would fail to purchase or it would charge more than $v_1$). Similarly the price charged to player $2$ can’t be larger than $C/4 + 1$. So this violates the no-subsidy requirement.
I would appreciate if you could shed the light on the solution.
At least I can answer you first question : why can't the price charged to player 1 be a function of $v_1$?
The answer is that the mechanism would violate incentive compatibility. In order to derive a contradiction, assume that such mechanism exists and that the price charged to agent $1$ is a function of her value.
Denote by $p_1$ the price charged to player 1. As $p_1$ is a function of $v_1$, there must exists $v_1' \neq v_1''$ such that $p_1(v_1')\neq p_1(v_1'')$.
Without loss of generality, assume $p_1(v_1')< p_1(v_1'')$.
Now assume that the real value of player $1$ is $v_1''$, and the real value of $2$ is $v_2$ such that both $v_1' + v_2 > C$ and $v_1''+v_2>C$.
By assumption, the printer must be bought and it will be bought whether $1$ report her true value $v_1''$ or the false value $v_1$.
But then player $1$ has an incentive to misreport her preferences, claiming her value is $v_1'$, because she would be charged less.