極化恒等式
数学において、 極化恒等式（きょくかこうとうしき）あるいは偏極恒等式（へんきょくこうとうしき）（英：polarization identity）とは、2つのベクトルの内積をノルム線型空間のノルムで表現する恒等式である。 formula_1 をベクトル "x" のノルム、formula_2 をベクトル "x" と "y" の内積とすると、フレシェ、ノイマン、ヨルダンによる基本的定理は次のように記述される 。