In this paper, we establish several explicit evaluations, reciprocity theorems and integral representations for a continued fraction of order twelve which are analogues to Rogers-Ramanujan’s continued fraction and Ramanujan’s cubic continued fraction.
Let $𝔽_{q}$ be a finite field and $A(Y) ∈ 𝔽_{q}(X,Y)$. The aim of this paper is to prove that the length of the continued fraction expansion of $A(P);P ∈ 𝔽_{q}[X]$, is bounded.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this article we formalize some results of Diophantine approximation, i.e. the approximation of an irrational number by rationals. A typical example is finding an integer solution (x, y) of the inequality |xθ − y| ≤ 1/x, where 0 is a real number. First, we formalize some lemmas about continued fractions. Then we prove that the inequality has infinitely many solutions by continued fractions. Finally, we formalize Dirichlet’s proof (1842) of existence of the solution [12], [1].
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW