![4.3 [Compatibility Mode]](http://s1.studyres.com/store/data/002178419_1-8085d6df156ff79789df07c026f9815e-300x300.png)
NEUTRAL GEOMETRY
... between two points B,,-t and B" such that AB,,_t = n - 1 and AB" = n; then AB will have to equal AB,,_t + B,,_tB by condition (9) of Theorem 4.3, so we may assume n = 1 and B,,-t = A. If B is the midpoint BlIz of AB t , we set AB 1I2 = t; otherwise B lies either in ABl/Z or in Bl/zB t , say, in AB 1 ...
... between two points B,,-t and B" such that AB,,_t = n - 1 and AB" = n; then AB will have to equal AB,,_t + B,,_tB by condition (9) of Theorem 4.3, so we may assume n = 1 and B,,-t = A. If B is the midpoint BlIz of AB t , we set AB 1I2 = t; otherwise B lies either in ABl/Z or in Bl/zB t , say, in AB 1 ...
