Jonathan D. Dunbar,Nathaniel Woltman
Abstract:In this paper, we explicitly show the various isometries of the plane under the taxicab metric. We then use these isometries to prove that Euclid's proposition I.5 for isoscelese triangles is true under certain circumstances in taxicab geometry.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore the isometries of the plane in the framework of pure taxicab geometry and how these transformations affect certain classical propositions in Euclidean geometry. Specifically, the authors aim to:
1. **Explicitly show various isometries on the plane**: Under the taxicab metric, study the isometries on the plane, including rotation, reflection and translation, and prove which transformations keep the distance invariant in taxicab geometry.
2. **Verify the properties of isosceles triangles in Euclidean geometry**: Using these isometries, prove that the isosceles triangle theorem in Euclidean geometry (i.e., Proposition 5 in Book I of Euclid's "Elements", I.5) also holds in taxicab geometry under specific conditions.
### Specific problem description
- **Background of taxicab geometry**: The paper introduces the basic concepts of taxicab geometry, especially the difference from Euclidean geometry lies in the definition of distance. The Euclidean distance formula is:
\[
d_e(P, Q)=\sqrt{(x_1 - x_2)^2+(y_1 - y_2)^2}
\]
while the taxicab distance formula is:
\[
d_T(P, Q)=|x_1 - x_2|+|y_1 - y_2|
\]
- **Study of isometries**: The authors study in detail the transformations such as rotation, reflection and translation in taxicab geometry, and prove which transformations are isometries in taxicab geometry. For example, it is proved that rotation by 2 t - radians (equivalent to a 90 - degree rotation in Euclidean geometry) and reflection along a specific line are isometries.
- **Verification of the properties of isosceles triangles**: Through the above isometries, the authors explore the problem of equal base angles of isosceles triangles. Specifically, they consider three cases:
1. Points \(P\) and \(Q\) are in the same quadrant.
2. Points \(P\) and \(Q\) are in adjacent quadrants.
3. Points \(P\) and \(Q\) are in opposite quadrants.
For each case, the authors give the specific conditions for equal base angles.
### Summary
The core objective of this paper is to verify whether the isosceles triangle theorem in Euclidean geometry still holds under specific conditions by studying the isometries in taxicab geometry. This not only expands our understanding of non - Euclidean geometry, but also provides a basis for further research on other geometric properties.