A Method to Prove Japanese Theorems and Others Appeared in Wasan Using Maxima

Many plane geometry problems in Wasan, Japanese mathematics, have beautiful results but are difficult to prove, and simple methods fail when trying with computer algebra. We found that by using certain parameters, all quantities of a triangle can be expressed by their rational expressions. We call this method the MNR method and have implemented this method as a package in Maxima. A considerable number of problems, including well-known Japanese theorems, can be solved using this method.