次のような偏極恒等式(polarizationidentity)を使うことができる.
偏極恒等式