高校国語788336 views
いろは3010814 views
高校化学2924392 views
英語613639 views
ヒストリア290598 views
中学英語811710 views
数学講師2886227 views
LaTeX962153 views
教育149510 views
中学理科1630641 views
Help
Tools
NewsSpreadsheetCalendarBookkeepingSlidesTier ListPen ToolIllustrationCrayonWatercolorPixel ArtASCII ArtPerspectiveEndless StairsGraphMind MapER DiagramFamily TreeMemeCurved TextImage EditorMosaicRetro FilterPencil SketchSwirl EffectOCR/HighlighterMakeup EditorFaviconVideo TrimmerScrolling VideoVideo TitleColor PickerColor ExtractorBonfireFireworksWater RippleWater SplashBreaking GlassWood GrainMarble TextureCSS ButtonIcon MakerBar ChartGrouped Bar ChartStacked Bar ChartPie ChartLine ChartArea ChartStacked Area ChartScatter Plot3D Bar Chart3D Pie ChartBar Chart RaceBubble ChartPopulation PyramidPictogramEarningsCandlestick ChartInvestment RiskMortgage SimulatorCalculatorMatrix CalculatorFunction GraphPolynomial ExpansionVenn DiagramField VisualizerRubik's Cube Group TheoryTraveling SalesmanVoronoi and DelaunayFractalColumn ArithmeticDraw Math FiguresArithmetic AnimationArithmetic Word ProblemsCounting with Tree DiagramsCube NetsRolling DiceCross SectionsMotion PathMechanicsWavesElectromagnetic WavesLight and LensesThermodynamicsHow Semiconductors WorkMolecular StructuresAtomic OrbitalsElectrochemical CellsChemical EquilibriumCrystal LatticesBuffer pHPeriodic TableComplex IonsDNA Double HelixCell DivisionMembrane ChannelsNerve ImpulseMuscle ContractionHormones and HomeostasisRock ClassificationWeatherConstellationsSolar and Lunar Eclipses3D ModelingFloor PlanSeismic StructuresIntersection TurnMaglevCooking AnimationOrigamiLive Viewer CountGeoJSON MapRailway MapPopulation MapCrime MapLand Price MapSchool MapShrine and Castle MapHouse of Representatives MapWord MapSolitaireReversiHakoiri MusumeChessHamburgerRippleSlide Puzzle MakerNeon PinballNovel MakerJapanese Typing PracticePiano Score EditorMusic TheoryShogi StrategyPiano Rhythm Game

English

ルジャンドル記号を互除法のように畳む - 相互法則と補充法則の実演

に解があるかを判定してください。 は素数です。

総当たりなら 回の 乗で済みますが、記号を畳めば 行で終わります。 と分けます。

は補充法則です。 なので

には相互法則を当てます。 なので符号は反転せず、 で、 を法とする平方数は だけなので です。

も同じで、

掛け合わせて 。解があります。実際 で、 が解です。

手順を 4 つに固定する

どの問題も同じ流れで進みます。

真数を素因数分解し、記号を掛け算に分ける。
は補充法則で処理する。
奇素数どうしは相互法則で上下を入れ替える。
入れ替えたら余りに置き換え、 に落ちるまでくり返す。

番目で数が小さくなるので、ユークリッドの互除法と同じ速さで終わります[2]

符号が反転するのは、上下がどちらも で割って 余るときだけ。片方が 余れば、そのまま入れ替えられます。

反転が一度も起きない例

を求めてください。 は素数です。

なので、どの奇素数と組んでも符号は反転しません。ここが効きます。

と分け、 つとも上下を入れ替えます。

だからです。

なので平方数です。

答えは 。解は です。

で割って 余る、という一点だけで計算がここまで軽くなります。

平方根そのものを求める

のときは、解があると分かれば式で書けます。 が平方根になる。

となるためです。指数 が整数になるのが の効き目。

で試します。 なので 、解はあります。

を計算すると 。実際 です。

では、この近道がありません。判定は同じ手順でできても、根を求めるには別の手続きが要ります。

ヤコビ記号で因数分解を省く

真数が大きいと素因数分解が重くなります。分母を奇数の合成数まで広げたヤコビ記号を使うと、分解せずに同じ規則で畳めます。

をヤコビ記号として計算すると が出ます。 が素数なので、この場合はルジャンドル記号としても です。

ただし落とし穴があります。分母が合成数のとき、ヤコビ記号が でも平方剰余とは限りません。

ですが、 を法とする平方数は 個で は入りません。

ヤコビ記号が なら平方剰余でないと言い切れます

のときだけ結論が出ない。素数を法とするときは、この区別が消える。

二次体の分解則に読み替える

という結果は、 が完全分解することを意味します[3]

なので判別式は 。奇素数 なら、 が分解の判定です[2]

と完全分解する
は素イデアルのまま
と分岐する

相互法則を使うと、この条件を を法とする話から判別式を法とする話に翻訳できます[2]。分解のパターンが だけで決まる、という形になります。

世紀末には、この翻訳を高次へ広げたいという動機が円分体の研究を押し進めました[1]

はいくつですか。

__RESULT__

はどちらも で割って 余るので、相互法則で符号が反転します。 を法とする平方数は が入らないので 、よって答えは です。

分解する、補充法則を当てる、入れ替える、余りをとる。この 手をくり返すだけで、 桁でも 桁でも数行で答えが出ます。

参考文献

Keith Conrad, *History of class field theory*, University of Connecticut
B Edixhoven, L Moret-Bailly, *Théorie algébrique des nombres*, Université de Rennes 1
Quadratic field - Encyclopedia of Mathematics
$\left(\frac{30}{101}\right)$ は $2, 3, 5$ に分け、$101 \equiv 5 \pmod 8$ から $-1$、$101 \equiv 2 \pmod 3$ から $-1$、$101 \equiv 1 \pmod 5$ から $+1$ で、答えは $+1$。実際 $38^2 = 101 \cdot 14 + 30$ です。$\left(\frac{105}{1009}\right)$ では $1009 \equiv 1 \pmod 4$ なので反転が一度も起きない。$p \equiv 3 \pmod 4$ なら $x = a^{(p+1)/4}$ で平方根そのものが書け、$p = 103$、$a = 2$ で $x = 38$。ヤコビ記号が $+1$ でも $\left(\frac{2}{15}\right)$ のように平方剰余とは限らない話まで。