高校
割り算は分数を残すことがあります。分数を含む数の世界が有理数ℚです。
ケーキを四等分したうちの3個は3/4。整数どうしの分数で表せる数が有理数です。分母を0にはできません。分数の答えが整数にならなくても大丈夫です。
上の具体例を見ながら考えよう。何度やり直しても大丈夫。
整数どうしの分数で、分母は0ではありません。ケーキを四等分したうちの3個を考えよう。
この確認では、説明に合う答えを選べました。漫画の中でも、同じ考え方を探してみよう。
はい。 整数どうしの分数で、分母は0ではありません。ケーキを四等分したうちの3個を考えよう。
分数−7/4は整数ではありませんが、確定した有理数です。÷4の式がℤの中に収まるかどうかは、欄ごとに確認したい問題です。
FLT · aa2d8b3 · Def_FLTPrelim_FreyPackage.lean
def freyCurveInt (P : FreyPackage) : WeierstrassCurve ℤ wherea₁ := 1a₂ := (P.b ^ P.p - 1 - P.a ^ P.p) / 4a₃ := 0a₄ := -(P.a ^ P.p) * (P.b ^ P.p) / 16a₆ := 0
表示の欄は整数型ℤで÷4・÷16を行います。同じファイルの下にある兄弟freyCurveは、係数型ℚで同じ五つの式を書きます。ℚでは割り算が常に本物の有理数を指し、割り切れる条件が要りません。
分数と有理数
まず「3段階で考えよう」を上から読みます。Leanの原文は、その後でも大丈夫です。
割り算は分数を残すことがあります。分数を含む数の世界が有理数ℚです。
このページの「この言葉の前に」に、先に知ると読みやすい言葉があります。
分数−7/4は整数ではありませんが、確定した有理数です。÷4の式がℤの中に収まるかどうかは、欄ごとに確認したい問題です。
閉じれば、読んでいた場所に戻れます。このページに合わせて用意したヒントです。
最初の小さな物語から読む →