A Discovery System for Trigonometric Functions

This paper describes a discovery system for trigonometric fuctions (DST), which has abilities to acquire new knowledge in the form of theorcins ancl foriiialas ii1 a plant: geometry cloiiiaiil. The systcn1 is composed of two suhystenls: a plaiic: geonhry analysis systeiri ad a niatlicniatical fornda t, ratnsforlllat, ioll system. The former changes the length and angles of a figure and extracts geouietric relations, and the lat, tcr transforiiis the relations to acquire nsefnl formnlas. With little lmsic: knowledge such as the clefinitioii of the congruence of triangles aid the dcfiiiition of fiuidameiit~al trigonometric fiuictions, our system has recliscovered many trigononietric formulas ant1 geometric theorems, including the Pythagorean tlieoreui.

Authors

• Tsuyoshi Murata

Keywords

No keywords are indexed for this paper.