摘要
A theorem of transformation between two geometries is proved on the basis of Wu’s method of mechanical theorem proving.By using this theoremfor Cayley-Klein geometries of dimension two,we prove that the nine Cayley-Klein geometries can be divided into three groups within which the geometries aremutually equivalent in the sense that certain geometry statements are correct inone geometry if and only if they are correct in the other geometries of the samegroup.This means that for each group we only need to choose a model geometryto study and the theorems of other geometries in the same group can be obtainedfrom the model geometry automatically.The three model geometries chosen forthe nine Cayley-Klein geometries are:Euclidean geometry,Riemann geometry,andGalilean geometry.
A theorem of transformation between two geometries is proved onthe basis of Wu's method of mechanical theorem proving.By using this theoremfor Cayley-Klein geometries of dimension two,we prove that the nine Cayley-Klein geometries can be divided into three groups within which the geometries aremutually equivalent in the sense that certain geometry statements are correct inone geometry if and only if they are correct in the other geometries of the samegroup.This means that for each group we only need to choose a model geometryto study and the theorems of other geometries in the same group can be obtainedfrom the model geometry automatically.The three model geometries chosen forthe nine Cayley-Klein geometries are:Euclidean geometry,Riemann geometry,andGalilean geometry.
