Оптимальный налог — половина расстояния AB

Докажите, что налоговые сборы максимальны, если потоварный налог $t=\frac{AB}{2}$ (половина расстояния между $P^s_{\min}$ и $P^d_{\max}$).