分类讨论
若y1为常数，则y2必然不是常数，因为积分是常数当且仅当被积函数是0。因而无关；
若y1不是常数，那么积分项必然不是常数，否则被积部分为0，但是分子显然非0；所以y1乘以一个非常数的函数后，不可能再与y1相关。
