是否存在有限多个由正整数组成的集合M₁, M₂, …, M(k)
①它们的并集是全体正整数集Z+
②其中任意两个的交集是空集
③任何一组正整数x, y, z如果满足x+y=z²且x, y, z两两互不相等，则x, y, z不在同一个集合M(i)中，1≤i≤k
如果Z+存在这样的分划的话，k最小可以取多少？