>>509
端折りすぎ。
三角の和が０で、積が負なので、解の一つは -a より小さい。
ところが、三角の二乗和（=6）は 2a^2 （>8）より小さい。
矛盾。