ここでformula_9であり、二次形式