【数学】120年前に提案のパズル解法、ついに解決…日米チームが証明