## Return to Answer

3 added 633 characters in body
1. Peaucellier–Lipkin inversor: http://en.wikipedia.org/wiki/Peaucellier-Lipkin_linkage By mid-19th century it was widely believed that one cannot transform circular motion to linear motion. For instance, Chebyshev tried quite hard but gave up and invented his polynomials instead, to deal with the issue approximately. The construction of inversor is simple and ingenious.

2. Mnev's Universality Theorem dealing with configuration spaces of linear arrangements and convex polytopes. The idea is that one can encode elementary algebraic operations into elementary geometric objects (actually, this goes back to Von Staudt in 19th century).

3. Connelly's flexible polyhedron is an example of a polyhedral sphere embedded in ${\mathbb R}^3$ which admits nontrivial deformations (so that each boundary face stays rigid). Cauchy proved (with some gaps fixed over 100 years later) that there are no flexible convex polyhedra, but general rigidity problem was open for over 150 years. People tended to believe that such polyhedra do not exist (for instance, "generic" polyhedral spheres are rigid). Connelly started by trying to prove non-existence and ended up constructing a counter-example, again, simple and ingenious.

2 fixed link to wikipedia (%27)
1. Peaucellier–Lipkin inversor: http://en.wikipedia.org/wiki/Peaucellier-Lipkin_linkage By mid-19th century it was widely believed that one cannot transform circular motion to linear motion. For instance, Chebyshev tried quite hard but gave up and invented his polynomials instead, to deal with the issue approximately. The construction of inversor is simple and ingenious.

2. Mnev's Universality Theorem: http://en.wikipedia.org/wiki/Mnev's_universality_theorem dealing with configuration spaces of linear arrangements and convex polytopes. The idea is that one can encode elementary algebraic operations into elementary geometric objects (actually, this goes back to Von Staudt in 19th century).

1 [made Community Wiki]
1. Peaucellier–Lipkin inversor: http://en.wikipedia.org/wiki/Peaucellier-Lipkin_linkage By mid-19th century it was widely believed that one cannot transform circular motion to linear motion. For instance, Chebyshev tried quite hard but gave up and invented his polynomials instead, to deal with the issue approximately. The construction of inversor is simple and ingenious.

2. Mnev's Universality Theorem: http://en.wikipedia.org/wiki/Mnev's_universality_theorem dealing with configuration spaces of linear arrangements and convex polytopes. The idea is that one can encode elementary algebraic operations into elementary geometric objects (actually, this goes back to Von Staudt in 19th century).
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9318630695343018, "perplexity_flag": "middle"}