[发明专利]图形显示装置、图形显示方法

权利要求书

1.一种图形显示装置，其特征在于，包括：

显示图形的图形显示单元；

根据用户操作输入关于所述图形的假定式的假定式输入单元；以及

将所述图形中的所述假定式的对应部分以与该假定式一致的方式进行变形，并在所述图形中图示并识别显示该假定式表示的内容的图形假定部分识别显示单元。

2.根据权利要求1所述的图形显示装置，其特征在于，

所述图形是证明问题的图形，

所述图形显示装置包括：

根据用户操作输入关于所述图形的证明过程式的证明过程式输入单元；以及

在所述图形中图示并识别显示所述证明过程式表示的内容的图形证明过程部分识别显示单元。

3.根据权利要求2所述的图形显示装置，其特征在于，包括：

根据用户操作，输入关于所述图形的证明结论式的结论式输入单元；以及

在所述图形中图示并识别显示所述结论式表示的内容的图形结论部分识别显示单元。

4.根据权利要求1～3中任一项所述的图形显示装置，其特征在于，包括：

正反检测单元，其在针对所述图形内的全等图形部分或相似图形部分中的至少两个角输入所述式的情况下，判定在该式内用于表示这些角的符号的排列顺序是否为反序；

排列顺序错误报告单元，其通过所述正反检测单元判定出排列顺序为反序的情况下，显示该主旨的错误消息和是否订正该排列顺序的询问消息；以及

排列顺序订正单元，其根据旨在于订正所述排列顺序的用户操作来订正该排列顺序。

5.根据权利要求1～4中任一项所述的图形显示装置，其特征在于，包括：

对应错误报告单元，其当在所述图形中不存在所述式的对应部分时，显示该主旨的错误消息；以及

图形订正单元，其在通过所述对应错误报告单元显示了在所述图形中不存在所述式的对应部分的主旨的错误消息的情况下，根据用户操作在该图形中形成该式的对应部分。

6.一种图形显示装置，其特征在于，包括：

显示图形的图形显示单元；

根据用户操作输入关于所述图形中的部分的比例式的比例式输入单元；以及

将所述图形中的所述比例式的对应部分以与该比例式一致的方式进行变形，并在所述图形中图示该比例式表示的内容的比信息显示单元。

7.根据权利要求6所述的图形显示装置，其特征在于，包括：

比例式判定单元，其判定是否所述比例式被输入多个，且在这些多个比例式中的至少两个比例式中表示所述图形中的部分的项是公共的项；

比信息更新单元，其在通过所述比例式判定单元判定出所述比例式被输入多个，且在这些多个比例式中的至少两个比例式中表示所述图形中的部分的项是公共的情况下，根据用户操作整理比的值，并更新所述比信息显示单元的显示内容。

8.一种图形显示方法，其是包括显示单元、输入单元的计算机的图形显示方法，其特征在于，

在所述显示单元上显示图形，

根据用户操作，通过所述输入单元输入关于所述图形的假定式，

将所述图形中的所述假定式的对应部分以与该假定式一致的方式进行变形，并在所述图形中图示并识别显示该假定式表示的内容。

9.一种图形显示方法，其是包括显示单元、输入单元的计算机的图形显示方法，其特征在于，

在所述显示单元上显示图形，

根据用户操作，通过所述输入单元输入关于所述显示的图形中的部分的比例式，

将所述图形中的所述比例式的对应部分以与该比例式一致的方式进行变形，并在所述图形中图示该比例式表示的内容。