Math 2.0

Number theory Theorem

Frobenius coin problem

Builds on Coprime integers

Statement

Let aa and bb be coprime integers with a>1a > 1 and b>1b > 1. Then ab−a−bab - a - b is not of the form ax+byax + by with natural numbers xx and yy. Every integer n>ab−a−bn > ab - a - b is of this form.

Remarks

The number ab−a−bab - a - b is the Frobenius number of aa and bb: the largest amount that one cannot pay with coins of values aa and bb. For example, with coins of 33 and 55, the amount 77 is impossible, but 88, 99, 1010 and all larger amounts are possible. Exactly (a−1)(b−1)/2(a - 1)(b - 1)/2 positive integers are not of the form ax+byax + by. For three or more coin values, no such simple formula is known.

History

James Joseph Sylvester found the formula for two coins in 1882.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Divisibility definition
  2. Greatest common divisor definition
  3. Coprime integers definition
  4. Frobenius coin problem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Coin_problem, n = 2
About this page
Tag0V11FEXK08
URIm2://0V11FEXK08
Aliasescoin-problem, frobenius-number
Kindstatement, theorem
WritingW1 stated
MSC11D07
StatusThis copy of the site has no build data. Run m2 status 0V11FEXK08.
UsesCoprime integers
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge about out: the concepts that the statement is about (0 of 1)
  • edge proves in: at least one proof node (0 of 1)
  • edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
  • explanation L2 (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.