3.6
Il centro sta sulla bisettrice n per (III.1). Per l'esercizio 3.5 si può costruire la circonferenza passante per P e Q e tangente ad l. Essa è tangente anche ad m: infatti sia T il punto di tangenza in l, e sia S il suo simmetrico rispetto ad n. Sia R l'intersezione di n con TS. Allora ORT=ORS per (SSS), da cui per (SAS) segue AT=AS e infine i triangoli OAT e OAS sono congruenti per cui l'angolo OSA è retto e OS=OT.
(Se l e m sono parallele, invece della bisettrice si considera la parallela equidistante da l e m)