diff --git a/.gitignore b/.gitignore index 13bde94..a7f1abe 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ # Object files -obj +public/js # Editor backups *~ diff --git a/package.json5 b/package.json5 index 510722a..312dcd9 100644 --- a/package.json5 +++ b/package.json5 @@ -4,10 +4,10 @@ description: 'Uncovering lost digital mathematical treasures', scripts: { test: 'echo "Error: no test specified" && exit 1', - build: 'civet --js -c src/*.civet -o obj/.js', - start: 'node obj', + build: 'civet --js -c src/*.civet -o public/js/.js', + start: 'node public/js', go: 'pnpm --sequential "/build|start/"', - serve: 'http-server', + serve: 'pnpm build && http-server', }, packageManager: 'pnpm', keywords: [ diff --git a/public/index.html b/public/index.html new file mode 100644 index 0000000..b8332ea --- /dev/null +++ b/public/index.html @@ -0,0 +1,13 @@ + + +
+ ++ + |
+
+Slide the “@” up and down to change the geometry. +Press “r” to reset the diagram to its initial state. +Proposition: The blue area equals the sum of the two pink areas. + + |
+The diagram above shows an equilateral triangle inscribed in a rectangle +in such a way that the two have a vertex in common. This subdivides the +rectangle into four disjoint triangles. +The original equilateral triangle is shown in white +in the diagram; the other three are shown in color. + +
+Proposition + +The area of the blue triangle equals the sum +of the areas of the two pink triangles. + + +
+The trigonometric proof is quite straightforward. I don't +know of a classical proof a la Euclid. +(Well, actually I haven't tried much.) +If you can think of a neat non-trigonometric proof, let me know. I will +put it here with due credit. + +
+This problem appeared as a conjecture
+in an article
+in the geometry.puzzles
newsgroup on March 15, 1997.
+
+
+Note added January 8, 2017: +Here is a +clever solution +that Peter Renz sent me a in December 2016. Thanks, Peter! + +
+This applet was created by +Rouben Rostamian +using +David Joyce's +Geometry +Applet +on July 2, 2010. + +
+ +
Go to Geometry Problems and Puzzles | ++ + + + + |