Sharp remainder of the Poincare inequality.

In this paper, we obtain a sharp remainder formula for the Poincaré inequality which implies a simple proof of the sharp Poincaré inequality without using the variational principle. We also extend the idea to general Carnot groups. Thus, we have succeeded in finding a simple proof of the sharp Poincaré inequality in a more general case. [ABSTRACT FROM AUTHOR]