5 votos

¿Puede ser entera la distancia de los vértices de un cuadrado de anchura entera a una circunferencia inscrita?

Estoy buscando soluciones a la siguiente pregunta de la Olimpiada Matemática Británica:

Supongamos que $ABCD$ es un cuadrado y que $P$ es un punto que está en el círculo inscrito en el cuadrado. Determina si es posible o no que $PA$ , $PB$ , $PC$ , $PD$ y $AB$ son todos números enteros.

Primero supuse que $AB=2$ Por lo tanto, el radio de nuestro círculo $r=1$ por lo que tenemos la ecuación cartesiana del círculo:

$$x^{2}+y^{2}=1$$

Lo que nos da las ecuaciones paramétricas:

$$x=\cos{\theta} \\ y=\sin{\theta}$$

Por lo tanto, cualquier punto arbitrario $P$ en el círculo puede escribirse $P(\cos{\theta},\sin{\theta})$ para algunos $\theta\in[0,2\pi]$ . Como conocemos los vectores de posición de cada uno de los puntos $A(1,1)$ , $B(1,-1)$ , $C(-1,-1)$ y $D(-1,1)$ podemos encontrar los vectores:

$$\overrightarrow{AP}=\begin{pmatrix}\cos{\theta}-1 \\ \sin{\theta}-1\end{pmatrix} \\ \overrightarrow{BP}=\begin{pmatrix}\cos{\theta}-1 \\ \sin{\theta}+1\end{pmatrix} \\ \overrightarrow{CP}=\begin{pmatrix}\cos{\theta}+1 \\ \sin{\theta}+1\end{pmatrix} \\ \overrightarrow{DP}=\begin{pmatrix}\cos{\theta}+1 \\ \sin{\theta}-1\end{pmatrix}$$

Y por lo tanto, tenemos una expresión general para la norma euclidiana de estos vectores:

$$\|\overrightarrow{AP}\|=\sqrt{3-2\sqrt{2}\sin\left(\theta+\frac{\pi}{4}\right)} \\ \|\overrightarrow{BP}\|=\sqrt{3-2\sqrt{2}\sin\left(\frac{\pi}{4}-\theta\right)} \\ \|\overrightarrow{CP}\|=\sqrt{3+2\sqrt{2}\sin\left(\theta+\frac{\pi}{4}\right)} \\ \|\overrightarrow{DP}\|=\sqrt{3+2\sqrt{2}\sin\left(\frac{\pi}{4}-\theta\right)}$$

De ello se desprende $\not\exists \theta \in [0,2\pi]$ tal que $\|\overrightarrow{AP}\|$ , $\|\overrightarrow{BP}\|$ , $\|\overrightarrow{CP}\|$ y $\|\overrightarrow{DP}\|$ son todas integrales. Sin embargo, no veo cómo demostrar que no hay $\theta$ de tal manera que todos ellos son racionales, y por lo tanto no puede terminar la prueba, por lo que es esta prueba salvable?

6voto

Michael Steele Puntos 345

Podemos reescalar el cuadrado de forma que $AB = 2$ hasta permitir que las otras distancias sean racionales.
Sea $P(x,y)$ sea un punto de su círculo (es decir $x^2 + y^2 = 1$ ).

Entonces $AP^2 + CP^2 = (x-1)^2 + (y-1)^2 + (x+1)^2 + (y+1)^2 = 2x^2+2y^2+4 = 6$ .
Pero $6$ no es la suma de dos cuadrados racionales :

Supongamos que $a^2 + b^2 = 6c^2$ con $a,b,c$ enteros con $c \neq 0$ . Mirando este módulo $3$ rápidamente obtenemos que $a \equiv b \equiv 0 \pmod 3$ y que $c \equiv 0 \pmod 3$ etc. Así $a,b,c$ son infinitamente divisibles por $3$ y así $a=b=c=0$ es la única solución.

0voto

dario Puntos 1

Aún no hay respuesta a ese problema, comprueba esto:

http://mathworld.wolfram.com/RationalDistanceProblem.html

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X