Comp Formal Euclidean Geom (V1)
暫譯: 計算形式歐幾里得幾何 (第一卷)

This book explores three computational formalisms for solving geometric problems. Part I introduces a trigonometric-based formalism, enabling calculations of distances, angles, and areas using basic trigonometry. Part II focuses on complex numbers, representing points in the plane to manipulate geometric properties like collinearity and concurrency, making it particularly useful for planar problems and rotations. Part III covers vector formalism, applying linear algebra to both plane and solid geometry. Vectors are effective for solving problems related to perpendicularity, collinearity, and the calculation of distances, areas, and volumes.Each formalism has its strengths and limitations, with complex numbers excelling in the plane and vectors being more versatile in three-dimensional space. This book equips readers to choose the best approach for various geometric challenges. This book, designed for math majors, especially future educators, is also valuable for gifted high school students and educators seeking diverse proofs and teaching inspiration.