Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove that the inner product associated with a positive definite quadratic form $q(x)$ is given by the polarization formula $\langle x, y\rangle = \frac{1}{2}[q(x+y) - q(x) - q(y)]$.

How will I be able to do this problem. I know in order to be a positive definite you need the following axioms to be verified: bilinearity, positivity and symmetric. Thus we need that $\langle x, y\rangle = x^TKy$ for $x,y \in R^n$ but how do I go on to apply that here?

share|cite|improve this question
up vote 0 down vote accepted

Don't need to apply that, as you wrote, the mentioned axioms are to be verified. How is a pos.def.quadratic form defined? That's what you can use.

But first of all, observe/verify that for given inner product $\langle,\rangle$, with $q(x):=\langle x,x\rangle$ the polarization formula holds.

share|cite|improve this answer
So, instead of verifying that <x,y> holds I should instead verify that <x,x> hold? – diimension Oct 7 '12 at 3:13
What do you mean by '$\langle x,y\rangle$ holds'? What do we know about $q$? – Berci Oct 7 '12 at 3:18
I am a bit confused can you elaborate more on what I need to know and what the question is asking please? – diimension Oct 7 '12 at 3:23
I don't know what we can start out from. How is a quadratic form defined in the context? By the matrix $K$? or what? – Berci Oct 7 '12 at 3:48
So, have you verified the 'But first of all..' part? That unfolding $\langle x+y,x+y\rangle$ helps to get back $\langle x,y\rangle$.. – Berci Oct 7 '12 at 3:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.