In mathematics, the upper half-plane, H , {\displaystyle {\mathcal {H}},} is the set of points ( x , y ) {\displaystyle (x,y)} in the Cartesian plane with y > 0. {\displaystyle y>0.} The lower half-plane is the set of points ( x , y ) {\displaystyle (x,y)} with y < 0 {\displaystyle y<0} instead. Arbitrarily oriented half-planes can be obtained via a planar rotation. Half-planes are an example of two-dimensional half-space. A half-plane can be split in two quadrants.
Affine geometry The affine transformations of the upper half-plane include
shifts ( x , y ) ↦ ( x + c , y ) {\displaystyle (x,y)\mapsto (x+c,y)} , c ∈ R {\displaystyle c\in \mathbb {R} } , and dilations ( x , y ) ↦ ( λ x , λ y ) {\displaystyle (x,y)\mapsto (\lambda x,\lambda y)} , λ > 0. {\displaystyle \lambda >0.}
Proposition: Let A {\displaystyle A} and B {\displaystyle B} be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes
A {\displaystyle A} to B {\displaystyle B} .
Proof: First shift the center of A {\displaystyle A} to ( 0 , 0 ) . {\displaystyle (0,0).} Then take λ = ( diameter of B ) / ( diameter of A ) {\displaystyle \lambda =({\text{diameter of}}\ B)/({\text{diameter of}}\ A)}
and dilate. Then shift ( 0 , 0 ) {\displaystyle (0,0)} to the center of B . {\displaystyle B.}
Inversive geometry Definition: Z := { ( cos 2 θ , 1 2 sin 2 θ ) ∣ 0 < θ < π } {\displaystyle {\mathcal {Z}}:=\left\{\left(\cos ^{2}\theta ,{\tfrac {1}{2}}\sin 2\theta \right)\mid 0<\theta <\pi \right\}} . Z {\displaystyle {\mathcal {Z}}} can be recognized as the circle of radius 1 2 {\displaystyle {\tfrac {1}{2}}} centered at ( 1 2 , 0 ) , {\displaystyle {\bigl (}{\tfrac {1}{2}},0{\bigr )},} and as the polar plot of ρ ( θ ) = cos θ . {\displaystyle \rho (\theta )=\cos \theta .}
Proposition: ( 0 , 0 ) , {\displaystyle (0,0),} ρ ( θ ) {\displaystyle \rho (\theta )} in Z , {\displaystyle {\mathcal {Z}},} and ( 1 , tan θ ) {\displaystyle (1,\tan \theta )} are collinear points. In fact, Z {\displaystyle {\mathcal {Z}}} is the inversion of the line { ( 1 , y ) ∣ y > 0 } {\displaystyle {\bigl \{}(1,y)\mid y>0{\bigr \}}} in the unit circle. Indeed, the diagonal from ( 0 , 0 ) {\displaystyle (0,0)} to ( 1 , tan θ ) {\displaystyle (1,\tan \theta )} has squared length 1 + tan 2 θ = sec 2 θ {\displaystyle 1+\tan ^{2}\theta =\sec ^{2}\theta } , so that ρ ( θ ) = cos θ {\displaystyle \rho (\theta )=\cos \theta } is the reciprocal of that length.
… excerpt ends here. Continue reading the full article.
