We strengthen Hölder's inequality. The new family of sharp inequalities we obtain might be thought of as an analog of the Pythagorean theorem for the L^p-spaces. Our treatment of the subject matter is based on Bellman functions of four variables.