Podemos demostrar este resultado invocando las propiedades geométricas de una parábola, recurriendo a un cálculo mínimo. En concreto, utilizaré dos propiedades bien conocidas:
-
Cualquier punto de una parábola es equidistante de su foco y su directriz. (Se deduce de la definición de parábola).
-
Dejemos que $A$ se encuentran en una parábola con foco $F$ y directriz $\ell$ . Entonces la tangente a la parábola en $A$ biseca $\angle FAA'$ donde $A'$ es la proyección de $A$ en $\ell$ . (Bien conocido, véase esta página en cut-the-knot para una prueba).
Supongamos ahora que $C$ es el centro del círculo (la pelota de ping-pong) y $A$ es el punto donde toca la parábola en el 2º cuadrante. Ahora dejemos que $X,Y$ sean las proyecciones de $A$ en $\ell$ (la directriz de la parábola) y el eje de la parábola respectivamente. Además, dejemos que $F$ sea el foco de la parábola. De la parábola $y=x^2$ , sólo tomaremos el hecho de que $FF'=\frac12$ y que $O$ biseca $FF'$ y luego olvida los ejes.
Ahora dejemos que $AX=x$ , entonces de la propiedad $1$ , $AF=x$ . Además, la línea discontinua $t$ la tangente a $\odot(C)$ y la parábola en $A$ , biseca $\angle FAX$ (propiedad $2$ ), y es perpendicular al radio $AC$ Así que $AC$ es la bisectriz externa de $\angle FAX$ . (Obsérvese que esto también se deduce de la propiedad óptica de la parábola.) Por tanto $\angle FAC=\angle PAC=\angle ACF$ (ya que $AP||CF$ ) $\implies FC=FA=x$ .
Ahora estamos listos para comenzar los pocos cálculos. $FY=YF'-FF'=AX-FF'=x-\frac12$ , $CY=CF-FY=x-\left(x-\frac12\right)=\frac12$ . Ahora desde el teorema de Pitágoras, $$\begin{align*}AY^2=&AF^2-FY^2=AC^2-CY^2\\ \implies & AC^2-CY^2=AF^2-FY^2\\ \implies &r^2-\left(\frac12\right)^2=x^2-\left(x-\frac12\right)^2\\ \implies &r^2=x.\end{align*}$$
Por lo tanto, la distancia deseada $CO=CF+FO=x+\frac14=r^2+\frac14$ . $\blacksquare$
3 votos
Siguiente pregunta: Si $x^2$ es una copa de vino, qué valor $k$ en $x^{2k}$ crea el vaso de whisky perfecto?