I'm trying to derive the inner product using the polarization identity but I'm getting stuck. This is how far I get
But I want to end up with . I assume I've gone wrong somewhere???
I think you're mixing up the real and complex versions of the polarisation identity. In the real case you don't need the bars over the f and g (because they are real!).
For complex functions you would use the complex polarisation identity .