式の計算の利用　図形の証明