>>948

∀n∈N[
　(　∃t∈R　t^3+3nt^2-3n-2=0　)
　⇔
　(　∃t∈R ∃Y∈R ∃X∈R　Y=(3/2)t^2*X-t^3 ∧ (X,Y)=(-2n,-3n-2)　)
]
は明らかに正しいよな
でも、代数学の基本定理を加味して考えると(？)
∀n∈N ∃t∈R[
　(　t^3+3nt^2-3n-2=0　)
　⇔
　(　∃Y∈R ∃X∈R　Y=(3/2)t^2*X-t^3 ∧ (X,Y)=(-2n,-3n-2)　)
]
も正しいよな
(3次方程式だから代数学の基本定理は一々言わなくていいか…)