対称式の標準的な変形
相加相乗
yを消去
除法の原理
展開して相加相乗