ビネ・コーシーの恒等式
代数学におけるビネ・コーシーの恒等式 (びね・こーしーのこうとうしき、)とは、および オーギュスタン＝ルイ・コーシーに由来する以下の恒等式
のことである。ここで、formula_2は実数や複素数(より一般的には可換環)を表す。
"ci" = "ai" および "di" = "bi"
とすれば、実数に対するが得られる。これはユークリッド空間 formula_3 におけるコーシー＝シュワルツの不等式を強化したものである。