GingerAle

avatar
UsernameGingerAle
Score2440
Membership
Stats
Questions 4
Answers 737

 #11
avatar+2440 
+4

There is a “Chicken McNugget’s Theorem,” but there should not be one.

The real reason is the “cute” name “Chicken McNugget’s Theorem.”  If it’s “cute” then more will remember it and use it. Cuteness in general, and anthropomorphic cuteness in particular, is the byword for educating children and adults too.  We might not understand it unless a blòódy dancing McNugget explains it to us.indecision

 

According to the Wikipedia article the “Chicken McNugget’s Theorem” is a “special case” of the Frobenius coin problem. The supposed reason it is special is that boxes of chicken nuggets were sold in units of 6, 9, and 20.”  

 

Now, let’s put on our “thinking caps,” and consider these cute numbers: 6, 9, and 20.

 

The “thinking caps” work well: There is nothing special about these numbers—it’s just one set of an infinite number of sets that have a Frobenius number.  

 

 

GA

May 6, 2018
 #4
avatar+2440 
+2

Solving two variables in a single equation is usually a trial and error process. However, in this case, you can easily narrow the process to a few guesses using logic.

 

The (i) and (j) values are integers; there are no fractional or decimal components in them.

 

Because the sum of integers is very low, it reasonable to assume the (i,,j) exponents are low—less than 10.

 

To solve, start by assuming a central value (between 1 and 10) for (j), and then use logarithms to isolate for (i).  

Because (2) is one of the factors, its resolution will be its multiples 2,4,8,16,32,64,128,256, ... ect. Seeing one of these indicates you’ve found the solution set.

 

\((( 2^i-1)*\dfrac{(3^j - 1)}{(2)} = 600 \leftarrow \tiny \text{ The (2) and (1) are common to all equations.}\\ ( 2^i) = \dfrac{1200}{(3^j - 1)} +1\leftarrow \tiny \text{ Leave it in this form to streamline the solution search.}\\ \text {Example: assume (j) = 6 and solve for (i)}\\ ( 2^i) = \dfrac{1200}{(3^6 - 1)} +1\\ ( 2^i) = \dfrac{150}{91} +1\\ Log_2( 2^i) = Log_2 \left( \dfrac {150}{91} +1\right) \small \text{ Note the fraction; This is not the solution.}\\ \text {Example: assume (j) = 5 and solve for (i)}\\ ( 2^i) = \dfrac{1200}{(5^5 - 1)} +1\\ ( 2^i) = \dfrac{600}{121} +1\\ Log_2( 2^i) = Log_2 \left( \dfrac {600}{121} +1\right) \small \text{ Again, note the fraction; This is not the solution.}\\ \text {Example: assume (j) = 4 and solve for (i)}\\ ( 2^i) = \dfrac{1200}{(5^4 - 1)} +1\\ ( 2^i) = 15 +1\\ Log_2( 2^i) = Log_2 \left( 16\right) \small \text{ Note the integer 16, corresponding to i=4; This is the solution.}\\ \)

 

The solution is j=4 and i=4.  Subtract (1) from each and use these as the exponents for the primes 2, and 3 to find the number (N) for which 600 is the sum of its divisors.

 

There are similar techniques for (N) that have three or more unique prime factors.

 

 

GA

Edit: Corrected to indicate base (2) log.

May 6, 2018