>>217の通りなら
x1^2+x2^2+…+xn^2=0 で1つの筈だよなぁ。
>>255みたいな数え方をしろということなら
n変数で解が一意に決まる⇔条件はn個
トートロジカルだな。