>>753
a=2,b=ｰ9,c=12,d=1の求め方にもよるが、
まぁ多分その証明は冗長な証明になっていると思うよ。
所詮3次関数だから普通は確かめる必要はない。