Se uma reta contém o ponto P(1,2), intersecta a circunferência C: x² + y² = 4 e cruza o eixo das ordenadas, então ela deve fazê-lo em um valor y_o que satisfaz à condição