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