Hay un río en la forma de un anillo. Fuera del anillo no es de la ciudad "A" y en el interior hay ciudad "B". Uno debe construir un puente hacia el centro del anillo tal que el camino de a a B cruzando el puente es el más corto posible. Donde para construir el puente?
Respuestas
¿Demasiados anuncios?Para tomar ventaja de Snell de la ley, la aplicación de un límite argumento: queremos encontrar la trayectoria de un rayo de luz donde la velocidad en el interior y exterior del terreno es constante (digamos v) y la velocidad en el agua (V) tiende a cero.
Supongamos primero que 0<V≪v. Entonces, llamando a R1, R2 el interior y exterior de la radio, y A,B,C,D los ángulos de incidencia (ver figura) tenemos:
sinUn\pecadoB=vV=\pecadoD\pecadoC
Ahora, en el límite de V→0 (que es nuestro escenario) tenemos \bronceadoB\bronceadoC\aR1R2 así, debido a que \bronceadoB/\bronceadoC\a\pecadoB/\pecadoC, las trayectorias que debe seguir la relación:
R2\senA=R1\pecadoD
Lo que sigue es un poco de trygonometry - lo más sencillo de escribir, pero no para encontrar una forma cerrada de la ecuación. Dudo que sea factible, yo iría a por un proceso iterativo de solución numérica, aunque tal vez esto no es mucho mejor que simplemente encontrar la longitud mínima numéricamente. Me pregunto si hay alguna construcción geométrica [*].
Actualización: no me he dado cuenta de que este resultado ya se señaló en un comentario por WimC.
[*] Actualización 2: Una buena interpretación geométrica (no exactamente de la construcción) se muestra en la siguiente figura. Considere el segmento interno desde el interior de la incidencia punto (d) hasta el punto de destino (Q), y se extienden hasta el cruce con el círculo exterior (punto I$$). A continuación, considere el triángulo de IdO (luz azul en la figura), y aplicar la ley de los senos: sinA/R1=\pecadoD/R2. En el camino a ser la óptima, tanto los ángulos en la figura (α y β) debe ser igual. Haga clic aquí (GeoAlgebra: se necesita Java) para jugar de forma interactiva (alternativa: HTML5 applet)
BTW: UN comentario en la pregunta conjeturas de que "uno debe unirse a A y B (P y Q) y construir el puente donde el segmento cruza el círculo externo". Que esto es falso, se puede ver fácilmente, (independientemente de esta derivación). Suponga que L es el mejor camino (camino rojo) de unirse a P y Q, entonces se considera una alternativa interior de punto P′ que se encuentra en L, "antes" Q; a continuación, la trayectoria óptima debe cruzar el río en el mismo lugar. Esto no sucederá si se utiliza la conjetura de la construcción.
(Editado para hacer coordenadas simétricas sobre la x-eje desde el principio. Además, la notación es cambiado ligeramente para ayudar a distinguir el camino fija los extremos del puente de la variable extremos.)
Tomar nuestro camino para tener fijos los extremos de A(acosϕ,sinϕ), B(bcosϕ,−bsinϕ) y nuestro puente de la a-ser-determinado extremos de R(rcosθ,rsinθ), S(scosθ,ssinθ) (a≥r≥s≥b). Nuestra meta es encontrar θ que minimiza |AR|+|R|+|SB| Como |RS|=r−s es constante, sino que "sólo" es necesario reducir al mínimo p:=/AR|+|SB|=√a2+r2−2arcos(θϕ)+√b2+s2−2bscos(θ+ϕ) El estándar de cálculo de enfoque es resolver por θ en la ecuación dpdθ=0(1) Esto es considerablemente más fácil de decir que de hacer, como (1) se convierte en rsin(θϕ)√a2+r2−2arcos(θϕ)=bssin(θ+ϕ)√b2+s2−2bscos(θ+ϕ)(2) El cuadrado y la "simplificación" da una larga polinomio en sinθ Y cosθ. Otra ronda de cuadrar y "simplificar" nos lleva a un polinomio en sinθ O cosθ, pero es un poco menos complicado para expresar el polinomio de la ecuación en términos de exponenciales complejas: σ:=eiϕ=cosϕ+isinϕτ:=eiθ=cosθ+sinθ
Y aquí es después de la división por a2r2b2s2σ3 para destacar algunos simbólico (y "armónico") simetría: 0=τ6(σar−¯σbs)+(¯σar−σbs)−τ5(σ2a2+σ2r2−¯σ2b2−¯σ2s2)−τ(¯σ2a2+¯σ2r2−σ2b2−σ2s2)−τ4(2¯σ−σ3ar−2σ¯σ3bs)−τ2(2σ¯σ3ar−2¯σ−σ3bs)Y+2τ3(1a2+1r2−1b2−1s2)(\estrellas) Una de sexto grado del polinomio es, en general, simbólicamente intratable. Tal vez hay algunos trigonométricas estructura de aquí que da lugar a una solución simbólica, pero esto es casi tan lejos como puedo ir.
Por cierto, en el caso de que A se encuentra en el exterior del banco ---que es, cuando a=r--- el polinomio tiene una doble raíz τ=σ, correspondiente a la condición de θ=ϕ. Esto coincide con nuestra expectativa de que el puente debe extender directamente de a. (Si el puente se encuentra en ninguna otra parte, la ruta de acceso de a a R haría pasar por el río.)
Del mismo modo, cuando B se encuentra en el interior del banco, podemos conseguir un doble-root τ=¯σ; mientras que esto corresponde a tener el puente se extienden a partir del B, esto no es tan evidente que el puente debe hacerlo. (A diferencia de la Una-en-el-banco de caso, un puente ubicado en otro lugar no requieren pasar por el río para llegar desde B a S.)
@leonbloy la respuesta aprovecha la Ley de Snell. Como uno espera, su relación es equivalente a la ecuación (2) arriba. Escribir A′ y B′ para los respectivos pies de las perpendiculares de a y B en ↔RS, el Snell ecuación se convierte en rsin\ángulodeARA′=ssin\ángulodeBSB′ mientras que la ecuación (2) afirma rsin\ángulodeAOR|AR|=bssin\ánguloBOS|BS| Desde unsin\ángulodeAOR=|AA′|=|AR|sin\ángulodeARA′bsin\ánguloBOS=|BB′|=|BS|sin\ángulodeBSB′ las ecuaciones partido.
La separación de la ar cosas de la bs cosas en el polinomio (\estrella) da (τ2σ2−1)2(τa−σr)(τr−σa)=(τ2−σ2)2(τσb−1s)(τσs−1b)(\estrellas\estrella) que parece estar tratando de decirnos algo. Como era de esperar, (\estrellas\estrella) en última instancia puede ser manipulado en (2) porque (2) es el cómputo de la esencia del problema. Me pregunto, sin embargo, si (\estrellas\estrella) codifica geométricas ideas que ayudan en la comprensión de este resultado.
Probablemente debería dejarlo ir. :)
Una cosa más ...
La ecuación (2) se puede interpretar geométricamente como \frac{|\triángulo de AOR|}{|AR|} = \frac{|\triángulo BOS|}{|BS|}
lo que implica que las altitudes de \triángulo AOR y \triángulo BOS correspondientes a los bordes de AR y BS son congruentes. Esto dice exactamente que O es equidistante de los (extended) de los bordes, de manera que aquellos (extended) de los bordes debe ser tangente a algún círculo común sobre el origen. Esto nos da una estrategia para la búsqueda de la puente.
Construir un auxiliar círculo (el morado discontinua) y dejar que P y R ser los puntos donde la tangente a la circunferencia a partir de Un satisfacer el exterior de la ribera (círculo azul), y deje de S y T ser los puntos donde las tangentes desde B satisfacer el interior de la ribera (círculo rojo). Construir puentes en P y R (en azul), y S y T (en rojo). A continuación, sólo tiene que ajustar el tamaño de la auxiliar de círculo hasta un puente azul se superpone a un puente rojo.
\qquad
Creo que sólo dos se superpone son cada vez más factible. (En el diagrama, el T puente nunca se acerca lo suficiente a la P y R puentes ... excepto en el caso de colineales S, A, B cuando el auxiliar círculo se colapsa a un punto y todos los puentes coinciden.) Esto parece consistente con una pregunta que me plantea en una edición anterior acerca de si cuatro de las raíces de (\estrella) son siempre extraños.