「算術基本定理」:各本之異

[初定本][初定本]
刪去的內容 新增的內容
夏侯韜
夏侯韜
第七行:
== 證其可析 ==
 
以[[反證法|反證]]之法:設有數,其不可析也,以其最小者為甲(A),則依本理所述,其不為一('''A<math>\ne</math>1'''),亦不為質數,蓋質數可記曰甲即甲也('''A=A'''),故甲必為[[合數]]。依合數之定義,其必可析為兩自然數之積,此兩自然數者,非一,亦非本數也,且必小於甲,記作甲等於乙乘以丙('''A=B <math>\times </math> C'''),則B、C可析為質數之積乎?可析('''B=B<sub>1</sub><math> \times </math>B<sub>2</sub>,C=C<sub>1</sub> <math> \times </math> C<sub>2</sub>'''),則甲亦可析也;是兩數之析式再積所得也('''A=B<sub>1</sub><math> \times </math>B<sub>2</sub><math> \times </math>C<sub>1</sub> <math> \times </math> C<sub>2</sub>''');若乙丙二者有一不可析,且其小於甲,是甲非最小之不可析之數也,是歧於初之假設也,此假設不確,故其必可析也。
 
== 證其唯一 ==