Na figura abaixo, o círculo está inscrito no triângulo equilátero.

Se a equação do círculo é $x^2+y^2=2y$, então, o lado do triângulo mede