10.07.2015 Views

Plane Geometry - Bruce E. Shapiro

Plane Geometry - Bruce E. Shapiro

Plane Geometry - Bruce E. Shapiro

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

300 SECTION 51. THE POINCARE DISK MODELFigure 51.3: The measure of ∠P AQ in the Poincare Disk is given by theEuclidean measure of ∠MAL.Definition 51.3 The Poincare Distance d(A, B) between points A andB is defined asd(A, B) = |ln[AB, P Q]|Theorem 51.4 The Poincare Distance is a metricProof. Let A and B be any points in the Poincare Disk. Then:(1) Reflexivity. Since ln x = − ln(1/x), we know that | ln x| = | ln 1/x| andtherefored(A, B) =(AP )(BQ)∣ln (BP )(AQ) ∣=(BP )(AQ)∣ln (AP )(BQ) ∣= d(B, A)(2) Positivity. d(A, B) ≥ 0 because of the absolute value.(3) Identity. If A = B then d(A, B) = | ln 1| = 0. For the converse, suppose« CC BY-NC-ND 3.0. Revised: 18 Nov 2012

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!