Seja a mediatriz do segmento de reta de extremos e . Seja o raio da circunferência com centro na origem e que tangencia a reta . Então: