高山の公式

四角形の面積公式はブレットシュナイダーの公式が一般的であるが、一組の向かい合う辺と四つの角による四角形の面積公式が発見された。これを高山の公式と呼ぶ。また、その公式の証明。