Balancing Abstract Chemical Equations with One Kind of Atom

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.

This Demonstration solves chemical-like equations with one kind of atom, represented by the letter . An expression like can be thought of as a "molecule" of atoms of . For the equation to be balanced, the counts of the atoms on both sides must be the same. Balancing the equation is equivalent to solving the Diophantine equation , where parameters , , and are positive integers, and the solution should be in non-negative integers , and positive .


The Diophantine equation , where , are positive and with a solution in non-negative integers, is a Frobenius equation. The largest for which the equation has no solution is called the Frobenius number. So if is the Frobenius number of the equation, then the Frobenius equation has solutions for all . The problem of balancing the chemical equation is reduced to solving the Frobenius equations for , where is the smallest number for which and is as small as possible.


Contributed by: Izidor Hafner (November 2014)
Open content licensed under CC BY-NC-SA



Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.