And once you have created such a straight line, you can fold the paper again such that the first crease lines up on both sides of the new crease, and then you have a right angle.
One can create an axiomatic system of geometry through such coincident folds (as an alternative to straight-edge and compass) and it turns out to be more powerful than the Euclidean system.
One can construct cube roots, trisect angles.
Depending on the choice of paper folding axioms one can go beyond cube roots and k-secting angles to the entire set of algebraic numbers.
Indeed !
One can create an axiomatic system of geometry through such coincident folds (as an alternative to straight-edge and compass) and it turns out to be more powerful than the Euclidean system.
One can construct cube roots, trisect angles.
Depending on the choice of paper folding axioms one can go beyond cube roots and k-secting angles to the entire set of algebraic numbers.
https://en.wikipedia.org/wiki/Huzita%E2%80%93Hatori_axioms
I'm not getting any work done today
thank you!
LoL. Most welcome.
My best (worst) HN days are like that :)