ボホナーの公式

数学におけるボホナーの公式はリーマン多様体における調和関数をリッチテンソルに関連付けるもの。その名はアメリカの数学者サロモン・ボホナーにちなむ。

公式の内容 
より具体的に言うと、もし が調和関数ならば、すなわち（はメトリックに関するラプラシアン）ならば

 ,

は、のに関するグラディエントである。ボホナーはボホナー消滅定理を証明するのにこの公式を用いた。

変種と一般化 

 ボホナー恒等式
 Weitzenböck恒等式

脚注 

微分幾何学