  In this paper, we obtain a generalization of an identity due to Carlitz on
Bernoulli polynomials. Then we use this generalized formula to derive two
symmetric identities which reduce to some known identities on Bernoulli
polynomials and Bernoulli numbers, including the Miki identity.
