Maths Olympiad Prep

Library / /5 of 5

Geometry Difficulty 6.8 National olympiad Prove it Brazil

The Poincaré plane is a half-plane bounded by a line RR. The lines are taken to be (1) the half-lines perpendicular to RR, and (2) the semicircles with center on RR. Show that given any line LL and any point PP not on LL, there are infinitely many lines through PP which do not intersect LL. Show that if ABCABC is a triangle, then the sum of its angles lies in the interval (0,π)(0, \pi).

Solution

Figure 1
For the first part there are three cases to consider: LL a semicircle and PP inside it, LL a semicircle and PP outside it, and LL a perpendicular half-line. The diagram above shows the first case. Take LL to have radius RR. The semicircle through PP with the same center OO as LL does not intersect LL. Suppose its radius is RkR - k. Now take a semicircle through PP with center XX such that OX<k2OX < \frac{k}{2}. Then its radius XP<OP+OX<Rk2XP < OP + OX < R - \frac{k}{2}, and min(XA,XB)>Rk2\min(XA, XB) > R - \frac{k}{2}, so the semicircle lies entirely inside LL. Thus we have an infinity of possible semicircles through PP.

An exactly similar argument works for PP outside LL.

Figure 2
For the third case, just take the center sufficiently far from PP on the same side of LL as PP.

On to the second part. Step 1 is to show that if we fix CC and allow BB to vary along a line ll, then x\angle x increases as BB moves down (OO is confined to the line and OB=OCOB = OC). In fact, if MM is the midpoint of BCBC then MM belongs to the line parallel to ll and passes through a point whose distance to ll is half the distance from CC to ll. Moreover, the quadrilateral OPBMOPBM is cyclic, so OBM=OPM\angle OBM = \angle OPM, and OPM\angle OPM decreases as BB moves down. This means that x=90OPM\angle x = 90^\circ - \angle OPM increases as BB moves down.

Figure 3
Step 2 is to show that b+c+x=180\angle b + \angle c + \angle x = 180^\circ. Let the tangents to the arc passing through BB and CC intersect in DD. So BDC=b+c\angle BDC = \angle b + \angle c and, by looking at the internal angles of the quadrilateral OBDCOBDC, x+90+90+b+c=360    b+c+x=180\angle x + 90^\circ + 90^\circ + \angle b + \angle c = 360^\circ \iff \angle b + \angle c + \angle x = 180^\circ.

Figure 4
Now consider the special case where ABAB is a straight line. Using the previous results one can show by some angle chasing that the sum of the angles in the triangle is 180(OO)<180180^\circ - (\angle O' - \angle O) < 180^\circ. Finally, use this special case to deduce the other cases (by dividing the general triangle into two parts which fall into the special case).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.