Maths Olympiad Prep

Library / /270 of 520

Number theory Difficulty 6.1 National olympiad Prove it

Property 6 If (a,m)=1(a, m)=1, then there exists an integer bb, such that ab1(modm)a b \equiv 1(\bmod m). This bb is called the number-theoretic inverse of aa modulo mm, denoted as a1(modm)a^{-1}(\bmod m), and is often simply written as a1a^{-1} when there is no risk of confusion.

Solution

By Bézout's Theorem, we know there exist integers x,yx, y such that
ax+my=1.a x + m y = 1.

Thus, max1m \mid a x - 1, i.e., ax1(modm)a x \equiv 1 \pmod{m}, so there exists a bb that satisfies the condition.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.