Microsoft Math Solver review

Years ago if you wanted a program to explain steps in mathematics, algebra or other complex math as a tutor would, you would have to buy a specialized software package built for some specific operating system (I forget the name… it may still be around?) Of course there was always open source software like Maxima to do powerful symbolic (or numeric, or graphing) math, but to know what to do one almost needs a manual, and while extremely powerful it was not helpful for beginners. I recently found a similarly useful free math solver on Microsoft’s site, https://mathsolver.microsoft.com:

Continue reading “Microsoft Math Solver review”

Possible ABC Proof Conjecture brings Primes into Prime time news again!

Recently a possible proof of the ABC Conjecture has been in the news. Although the proof of this is hundreds of pages long and not really a fun read for most people, this reminded me of the prime spiral, “Ulam spiral” which we explored years ago at a meetup.

The interesting thing about ABC Conjecture is that no matter what examples or counterexamples you find to the inequality, it does not prove or disprove the theory as to where there are only finitely many specific triples to solve the inequality.

Ulam’s spiral is also a look into prime numbers, but from a visual perspective. Nothing to “prove” here but to see an interesting pattern within numbers. It was supposedly thought of by Stanislaw Ulam during a meeting, doodling numbers, and it was later popularized by Martin Gardner’s writings. It is a great way to have some fun learning how to use Matplotlib to draw up some interesting charts, too:

Continue reading “Possible ABC Proof Conjecture brings Primes into Prime time news again!”

Mathematics with Pi – and earth measurement with network requests

In Ian Stewart’s book, Professor Stewart’s Casbook of Mathematical Mysteries, he writes about an easy way one might prove that the earth is not flat. His “easy” proof can be done by booking some flights and timing them… or, simply looking up actual flights from certain cities to other cities. If it is much much shorter for a certain flight from A to D while A to B to C to D in a nearly straight line is much longer, it’s effectively a proof you can go around the world without falling off…

Continue reading “Mathematics with Pi – and earth measurement with network requests”

Euclid’s Doodle – and writing a visualization with Matplotlib

On page 110 of Professor Stewart’s Casebook of Mathematical Mysteries, he shows a neat visual way of calculating the GCD (Greatest common denominator, aka HCF, Highest common factor. Given a box with sides of two different lengths, draw squares from the lesser side until you can draw no more. Then continue from the corner the other direction. The smallest square has edge length of the GCD!

Continue reading “Euclid’s Doodle – and writing a visualization with Matplotlib”