大学
禁止された等式が、ワイエルシュトラス曲線の具体的な係数を与えます。
荷物を送るとき、中身だけでなく点検票も必要だと考えよう。フライ・パッケージも、数と、その数が式や条件を満たす証拠を一緒に包みます。数を並べるだけでは完成しません。
上の具体例を見ながら考えよう。何度やり直しても大丈夫。
荷物の中身と、必要な条件の点検票を一緒にします。Leanでは証拠の欄もパッケージの一部です。
この確認では、説明に合う答えを選べました。漫画の中でも、同じ考え方を探してみよう。
いいえ、条件を満たす証拠も必要。 荷物の中身と、必要な条件の点検票を一緒にします。Leanでは証拠の欄もパッケージの一部です。
係数は具体的な式です。選んだ整数a・bと指数pから、表示のa₄ = −(a ^ p) · (b ^ p) / 16は確定した有理数として計算されます。
FLT · aa2d8b3 · Def_FLTPrelim_FreyPackage.lean
def freyCurve (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
各欄はa・b・pで決まる有理数の式で、÷4と÷16はこの作り方の選択です。兄弟のfreyCurveIntは、還元についての定義で使われる整数係数の版です。
等式から曲線へ
まず「3段階で考えよう」を上から読みます。Leanの原文は、その後でも大丈夫です。
禁止された等式が、ワイエルシュトラス曲線の具体的な係数を与えます。
このページの「この言葉の前に」に、先に知ると読みやすい言葉があります。
係数は具体的な式です。選んだ整数a・bと指数pから、表示のa₄ = −(a ^ p) · (b ^ p) / 16は確定した有理数として計算されます。
閉じれば、読んでいた場所に戻れます。このページに合わせて用意したヒントです。
最初の小さな物語から読む →