重回帰モデルの重みβ1を３つの相関係数を使って表し、それが負になる必要十分条件を求めました。