暇つぶしに見て x≠0⇒0
マイナス×マイナス=プラスの証明の続き。0以外の平方は0より大きくなる証明。 0より大きいか0の場合は定義されています(乗法律)。 従って0より小さい平方の証明だけをやります。 x<0(前提) x<0⇒0≤-x(三分律) 0≤-x⇒0≤-x...
マイナス×マイナス=プラスの証明の続き。0以外の平方は0より大きくなる証明。 0より大きいか0の場合は定義されています(乗法律)。 従って0より小さい平方の証明だけをやります。 x<0(前提) x<0⇒0≤-x(三分律) 0≤-x⇒0≤-x...
