Algebraic and analytic structure of Morikawa's sangaku problem

TL;DR

This paper investigates the algebraic and analytic properties of the minimal inscribed square size in a specific geometric region, showing it is algebraic and real-analytic despite lacking a radical expression.

Contribution

It proves that the minimal square size function is algebraic and real-analytic, providing a method to compute its Taylor expansion despite the absence of radical expressions.

Findings

$mbda(r)$ is algebraic and real-analytic on $[1,\u221e)$ outside a finite set.

Taylor expansions of $mbda(r)$ can be computed via Newton iteration.

Explicit Taylor expansion at $r=1$ demonstrates the method.

Abstract

Let $\mu(r)$ denote the minimal side length of a square inscribed in the curvilinear triangular region formed by two tangent circles of radii $1$ and $r \ge 1$ together with their common tangent line. The problem of finding a closed-form expression for $\mu(r)$ was posed in early nineteenth-century Japan by Morikawa. It was proved by Holly and Krumm (2021) that no expression in radicals exists for $\mu(r)$. In this article we show that $\mu$ is an algebraic function, and consequently real-analytic on $[1,\infty)$ outside a finite explicitly computable set. In particular, although no expression in radicals exists, the function admits convergent Taylor expansions at all non-exceptional values of $r$, whose coefficients may be computed by Newton iteration from the defining algebraic equation. We illustrate the method by explicitly computing the Taylor expansion of $\mu(r)$ centered at $r=1$.