MathPython498072 views
中学英語812035 views
高校物理160543 views
高校生物551985 views
高校国語788606 views
高校日本史190639 views
中学社会669002 views
Computer368461 views
数学講師2890703 views
LaTeX962713 views
Help
Tools
NewsSpreadsheetCalendarBookkeepingMarkdown TablesLanguage Model NewsLinux CommandsSlidesTier ListPen ToolIllustrationCrayonWatercolorPixel ArtASCII ArtPerspectiveEndless StairsGraphMind MapER DiagramFamily TreeMemeCurved TextImage EditorMosaicRetro FilterPencil SketchSwirl EffectLine ArtOCR/HighlighterMakeup EditorFaviconVideo TrimmerScrolling VideoVideo TitleColor PickerColor ExtractorBonfireFireworksCherry BlossomWater RippleWater SplashBreaking GlassGlass TextureFabric TextureWood GrainMarble TextureBrick Wall TextureMetal TextureWashi Paper TextureCardboard 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 DelaunayFractalUniversity Entrance Exam MathColumn ArithmeticDraw Math FiguresArithmetic AnimationArithmetic Word ProblemsCounting with Tree DiagramsCube NetsRolling DiceCross SectionsMotion PathMechanicsWavesUniversity Entrance Exam Physics解析力学Quantum MechanicsStatistical MechanicsRelativityCelestial MechanicsAstrophysicsCosmologyElectromagnetic WavesCapacitorsLight and LensesThermodynamicsHow Semiconductors WorkMolecular StructuresAtomic OrbitalsElectrochemical CellsChemical EquilibriumCrystal LatticesBuffer pHOrganic Reaction MapPeriodic 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

ユークリッドの互除法の例題と証明:最大公約数を簡単に求める方法

ユークリッドの互除法は、2つの数の最大公約数を求める方法です。

例題

1080と312の最大公約数を求めなさい。

1080 ÷ 312 = 3 … 144
312 ÷ 144 = 2 … 24
144 ÷ 24 = 6 … 0

→最大公約数は24

解説1

まず1080を312で割って余りを求めます。余りは144です。

次に312を144で割って余りを求めます。余りは24です。

つまり「前のステップで割ったものを、前のステップで得られた余りで割る」という手順をくりかえすのです。これを余りが0になるまでくりかえします。1080と312では24で割るところで余りが0になるので、最大公約数は24となります。

解説2

高校の教科書や参考書の説明は上の通りですが、ユークリッドの互除法は最大公約数を記号化することでよりわかりやすくなります。数学では最大公約数をカッコで表します。例えば24と36の最大公約数は次のように表します。

(24, 36)

24と36の最大公約数は12であり

(24, 36) = 12

となります。「24と36の最大公約数」と「36の24の最大公約数」は同じなので

(24, 36) = (36, 24)

となります。ひっくり返しても同じということです。これを最大公約数の交換法則といいます。以上を前提にして1080と312の最大公約数をユークリッドの互除法で求めてみましょう。

(1080, 312)
= (144, 312) … ☆
= (312, 144)
= (24, 144) … ☆
= (144, 24)
= 24

☆のところで1080を144、312を24にしていますが、これは割られるものを余りに置きかえているだけです。「割られるものを余りに置きかえて、交換法則を使ってひっくり返す」というステップをくりかえしていることがわかります。

例題

3120と968の最大公約数を求めなさい。

3120 ÷ 968 = 3 … 216

(3120, 968)
= (216, 968)
= (968, 216)
= (104, 216)
= (216, 104)
= (8, 104)
= 8

8が最大公約数です。

ユークリッドの互除法

最初の例題で出てきた☆のステップが「ユークリッドの互除法」の本質です。

(1080, 312) = (144, 312) … ☆

1080 ÷ 312 = 3 … 144

次の命題を証明すればいいことになります。

(a, b) = (r, b)

a ÷ b = q … r

証明

aとbの公約数の集合がrとbの公約数の集合の等しいことを示す。そのために次の2つを証明する。

  1. aとbの公約数はすべて、rとbの公約数である
  2. rとbの公約数はすべて、aとbの公約数である

①aとbの公約数はすべて、rとbの公約数である

aとbの公約数をnとすると

a = cn
b = dn

という整数cとdがある。

r
= a - bq
= cn - dnq
= n(c - dq)

となるのでnはrの約数である。つまりaとbの公約数はすべて、rとbの公約数である。

②rとbの公約数はすべて、aとbの公約数である

rとbの公約数をmとすると

r = cm
b = dm

という整数cとdがある。

a
= b × q + r
= dmq + cm
= m(dq + c)

となるのでmはaの約数である。つまりrとbの公約数はすべて、aとbの公約数である。

ユークリッドの互除法は、2つの数の最大公約数を求める方法です。最大公約数の記号を使ってユークリッドの互除法を証明します。