已知模型comsp=β0+β1income+μ的误差项的方差满足Var(μ)=σ^2income，其中σ^2是未知常数，请写出加权最小二乘法变换的过程，并证明后来的新模型满足同方差假设。

加权最小二乘法的目标是最小化误差的加权平方和，即:

S = ∑(yi - β0 - β1xi)^2/wi

其中，wi为第i个样本的权重。

对S进行最小化，可得到β0和β1的估计值为：

β1 = ∑wi * xi * yi / ∑wi * xi^2

β0 = (1/n) * ∑(yi - β1xi) * wi

其中，n为样本数量。

现在我们来证明新模型满足同方差假设。由于误差项的方差满足Var(μ)=σ^2income，我们可以将误差项μ除以√(σ^2income)来进行标准化，得到标准化的误差项ε=μ/√(σ^2income)。则原模型可以转化为：

comsp/√(σ^2income) = (β0/√(σ^2income)) + (β1/√(σ^2income)) * income + ε

我们可以看到，标准化后的模型中误差项的方差为1，即Var(ε)=1。由于加权最小二乘法是针对误差的平方和最小化，因此加权最小二乘法得到的新模型中误差的方差也为1，即新模型满足同方差假设。