This page has been maintained by myself since it was created on 25 March, 2007. I will continue to maintain it with revisions, corrections, and additions.

The first 32 examples are mainly from the three excellent books on Proofs without Words: books [A], [B], and [C]. Comments on each problem possibly together with more visual effect animation pages for a single problem are under revision. We have been expanding our own examples beginning with Examples 101 --

We thank the authors of the books that have strengthened our recent 3 month work on visual presentation of proofs with the manual input in plane geometry that started about 20 months ago.

All animations have been created with JGEX (Version 0.40 Beta) and are copyrighted by Shang-Ching Chou, Xiaoshan Gao, and Zheng Ye. Permission of posting the gif animation files is granted if all three original authors are mentioned and an email on notice of posting is sent to Shang-Ching Chou. However, profitable postings of our original animated gif files must have the authors' explicit permission. We shall use the the unique numbering across the entire collection. Examples 001 - 100 are for the three books . Currently we have only about 30 examples from the books.

Examples 101 - 300 are reserved for examples with the manual input method of JGEX. Currently we about about 50 examples including 21 proofs of the Pythagoras theorem from the webpage cut-the-knot. Examples 301-500 are reserved for examples of automated generated proofs by the diagram-independent methods (mainly the full-angle method and the deductive database method) including a prize challenging problem (currently, Example 105).

Examples 501 - 1000 are reserved for examples of automated generated proofs by the traditional methods. The work is currently in progress, JGEX is already able to automatically prove many hard and interesting theorems such as the Napoleon triangle theorem, etc.

Examples 1001 - 1200 are reserved for examples of automated generated proofs by the area method.

32 Examples from the Books on PWW (Examples 1-32)

Beginning of our Collection (Examples 101-105)

Examples from Paper #1 submitted to JAR Examples (106 - 114)

Collection of 21 Proofs of the Pythagoras Theorem (Examples 115-135)

Visual Presentation of proofs with the manual input method (Examples 136-150)

72 proofs of the Pythagoras Theorem from http://www.cut-the-knot.org/pythagoras/index.shtml

The example of visual presentations of a proof of the Morley trisector theorem
without using trigonometry and other examples will be soon posted.