10217

# A Conjecture of Apoloniusz Tyszka on the Addition of Rational Numbers

This Demonstration illustrates a conjecture of Apoloniusz Tyszka on the set of solutions of a system of linear equations in variables ; the equations are all of the form or for . The conjecture states if such a system has a solution, then there is a solution such that for all .
The conjecture is illustrated and tested in several ways depending on the value of the parameters set by the user. For a given number of variables, the user can choose a single system, which is selected at random. The system and its unique solution are then displayed in an explicit (textual) form. If the number of systems is larger than one, then the output is displayed graphically in a form that depends on the specified number of variables. For three and four variables a sample of the actual solutions is displayed inside a rectangle or a rectangular box (we omit the first coordinate as it is always 1). For five and six variables the specified number of systems is created at random and the maximal and minimal values from the solution sets are plotted on two bar charts.

### DETAILS

Let be a natural number and denote the set of equations . A conjecture of Apoloniusz Tyszka states that any consistent system has a solution consisting of rationals belonging to . Each consistent system of this kind can be enlarged to a system with a unique solution. This Demonstration considers these enlarged systems.
For , there are only 48 solutions, so they are computed and displayed. If you choose 100 systems, there will therefore be no change when you click the randomize button. For , the total number of solutions is still small enough to be computed (confirming the conjecture in this case) but too large to be displayed. Thus the solutions are computed deterministically but a randomly chosen sample is shown. For and , the number of solutions is too large to compute so a random collection of systems is chosen and their maximal and minimal values are displayed on bar charts.
Note that the system of equations:
always has the solution , containing a number of the maximal conjectured size.

### PERMANENT CITATION

Contributed by: Apoloniusz Tyszka (Hugo Kollataj University, Krakow)
 Share: Embed Interactive Demonstration New! Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details » Download Demonstration as CDF » Download Author Code »(preview ») Files require Wolfram CDF Player or Mathematica.

#### Related Topics

 RELATED RESOURCES
 The #1 tool for creating Demonstrations and anything technical. Explore anything with the first computational knowledge engine. The web's most extensive mathematics resource. An app for every course—right in the palm of your hand. Read our views on math,science, and technology. The format that makes Demonstrations (and any information) easy to share and interact with. Programs & resources for educators, schools & students. Join the initiative for modernizing math education. Walk through homework problems one step at a time, with hints to help along the way. Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet. Knowledge-based programming for everyone.