Hands-on with Prooftoys
Tool
Tutorial
Puzzles and examples
- The repetitious number
- Country Music Theorem
- The Drinking Theorem
- A Fake Proof that
1 = 2 - How long is a lunar? (upcoming)
Algebra
(rough draft)
Solutions to typical algebra problems — or solutions to sets of
equations — are typically mathematical statements equivalent to the
problem statement, but in a simpler or more useful form such as x = . . .. When solving for multiple variables, the prototypical result is
an “and” that mentions each of those variables, like x = . . . ∧ y = . . .. If there are multiple solutions, the result is an “or” like x = . . . ∨ x = . . ..
Everything here, from the tactics to the presentation, is not nearly as polished as the rest of the site, but feel free to take a look. If you would like to see a worked solution to a problem, press the “Solve” button.
- Linear equations with 1 variable
- Simultaneous linear equations
- Simultaneous with no solution
- Finding a common denominator
- Rational functions including demo of division by zero