A QUARK
扯闲篇儿
为什么a×b=b×a
这周说说乘法交换率
注意：本文首发于微信公众号“夸克欧氏几何”，其它平台会滞后24小时以上，且夸克只在微信,bilibili,头条，百家号上有账号(认准骰子头像）。如果发现本文被复制到了QQ看点等其它平台上，请到微信上关注原作者公众号。抵制营销号，夸克感谢各位对原创作者的支持
先回顾一下乘法的定义
乘法是满足以下两种规则的运算：
1. 对于任意自然数m，0 × m = 0
2. 对于任意自然数m和n，n' × m = n × m m
与以往一样，
这次的证明也分
一，证明：
对自然数m，m×0=0
∵当m=0时，0×0=0
（乘法定义1）
现假定m×0=0
∴m'×0=m×0 0=0 0
（乘法定义2）
∴m'×0=0
（加法定义1）
∴对任意自然数m，均有m×0=0
（皮亚诺公理5）
证毕
二，证明：
对任意自然数n和m，n×m'=n×m n
当n=0时
∵0×m'=0×m 0
（乘法定义2）
∴0×m'=0
（乘法定义）
假定n×m'=n×m n
求证n'×m'=n'×m n'
∵n'×m'=n×m' m'
（乘法定义2）
n×m'=n×m n
（假设）
∴n'×m'=n×m n m'
∴n'×m'=n×m (n m)'
（加法结合律＆加法定义2）
∵n'×m n'=n×m n' m
（乘法定义2）
∴n'×m'=n×m (n m)'
（加法结合律＆加法定义2）
∴n'×m'=n'×m n'
∴对任意自然数n和m，n×m'=n×m n
（皮亚诺公理5）
证毕
三，证明：
对任意自然数n和m，n×m=m×n
当n=0时，
0×m=0
（乘法定义1）
m×0=0
（已证）
∴0 m=m 0
假设n×m=m×n
求证：n'×m=m×n'
∵n'×m=n×m m
（乘法定义2）
n×m=m×n
（假设）
∴n'×m=m×n m
∵m×n'=m×n m
(乘法定义2)
∴n'×m=m×n'
∴对任意自然数n、m，均有n×m=m×n
（皮亚诺公理5）
证毕
关注微信公众号
夸克欧氏
Don't worry. Be happy!
,
