2015-10-06 自然数における積の交換法則ってどう証明するんだったかな。 こうかな。 a=b=0のときab=ba ある自然数a,bでab=baのとき、 a(b+1) = ab + a = ba +a = (b+1)a (a+1) b = ab + b = ba +b = b(a+1) 数学的帰納法により、全ての自然数a,bでab=ba 整数なら±考えて、有理数ならa/b*c/d=ac/bd=ca/db=c/d*a/b、実数なら、実数の積の定義に戻って、有理数の積のlimit考えればいいのか。