>>272
杉浦 解析入門Tでは、一般に無理数が正則無限連分数表示された式の形で定義されている