3段階で考えよう
- 約数とは、余りなしでその数を割れる数です。
- 素数の正の約数は1と自分自身の二つだけ。だから素数は2以上です。
- 指数を素数の積に分けると、FLTで扱う場合をしぼれます。指数4の場合も別に扱います。
小さな例で確かめる
5は素数。6は2 × 3なので素数ではありません。1も素数ではありません。
順番 3 / 64
中学校
素数
2以上で、正の約数が1と自分自身だけの数。
まず、身近な例で
あめ6個は1×6にも2×3にも並べられます。5個は、向きを逆にする以外は1×5だけ。この違いが、5は素数、6は素数ではないということです。
ちいさな確認：考えてみよう
上の具体例を見ながら考えよう。何度やり直しても大丈夫。
6個のあめは2×3に並びます。素数は、このような1より大きい数どうしの積に分けられません。
この確認では、説明に合う答えを選べました。漫画の中でも、同じ考え方を探してみよう。
答えと考え方を読む
いいえ、6=2×3。 6個のあめは2×3に並びます。素数は、このような1より大きい数どうしの積に分けられません。
Leanの定義・原文の抜粋
Mathlib · db584cd · Defs.lean
def Prime (p : ℕ) :=Irreducible p
このLeanの読み方
MathlibはNat.Primeを、自然数上のIrreducibleという条件で定義しています。ここでは自明でない積への分解がないという意味で、表現の既約性とは対象が違います。