Como persona que ha leído el primer volumen de "Tenchi Meisatsu", puedo comentar que el hombre que resuelve el problema en la novela es Seki Takakazu. También se le describe como el "Newton japonés" y contribuyó en gran medida al desarrollo del "wasan", o "matemáticas japonesas". Se sabe que un aprendiz de Seki Takakazu creó la primera tabla trigonométrica japonesa a principios del periodo Edo, por lo que se puede deducir que había muchas posibilidades de que el propio Seki Takakazu hubiera descubierto la trigonometría básica con anterioridad, dado que era un genio de las matemáticas.
La novela también menciona que el Teorema de Pitágoras era una ecuación popular utilizada entre muchos "frikis de las matemáticas" durante el Periodo Edo, especialmente el Triple de Pitágoras 3, 4, 5. Por lo tanto, se puede utilizar para trazar una línea desde el centro del círculo superior hasta A, y desde el centro del círculo inferior hasta C. Sumando los radios de ambos de forma parecida al teorema de las "dos tangentes desde un punto fuera del círculo", podemos resolver el problema de forma mucho más sencilla:
(Esta imagen tiene un ligero error con OD. Debería ser O'D.)
Aunque sigue siendo poco probable que Seki Takakazu resolviera el problema utilizando la trigonometría (ya que la novela le muestra respondiendo a la pregunta en un instante, sin trabajar), puedo confirmar que no hay que preocuparse por cómo abordar el problema. Por lo tanto, me gustaría compartir también el siguiente método de trabajo:
0 votos
Un reto extra: demostrar que el mayor rectángulo formado bajo los dos círculos tiene área $432/49$ ¡!
0 votos
Entonces la solución de ChristianF es más rápida para su reto adicional. Aunque la parte más difícil es demostrar formalmente que el rectángulo más grande es realmente el que tiene lados paralelos al triángulo rectángulo.