>>698
連立、y消して、xの2次方程式
判別式は正
解をα、βとおけば、
|α-β|^2 = 16
からKが出る