Joyce Khouzam, a Master of Science candidate in the Department of Mathematics and Statistics, will virtually present the Masters Research Project titled Linear Forms in Logarithms and the Extendibility of a D(4)-Pair of Pell Numbers on Friday, June 5, 2026 at 3:00 PM.
The examination committee includes Supervisor Dr. Omar Kihel and Supervisory Committee Member Dr. Hichem Ben-El-Mechaiekh.
Students (both graduate and undergraduate) as well as other members of the Brock Community are invited to attend. A Microsoft Teams link to the meeting can be found here: Join the meeting.
Keywords: Linear forms in logarithms, Diophantine equations, Pell numbers
Abstract: This paper introduces linear forms in logarithms and determines how it can be used to resolve a concrete problem in number theory. We start by reviewing the tools needed throughout the paper such as: how well rational numbers can approximate real numbers, how continued fractions can make those approximations systematic, and how the Pell equation connects both ideas. From there, Pell numbers are central to the paper.
Next, we look at Baker’s 1966 theorem and explain why a nonzero expression of the form b_1 log(a_1) + … + b_N log(a_N) cannot be made arbitrarily small and we show the more practical bounds that are due to Matveev and Laurent. We also describe the Dujella-Petho lemma, which uses continued fractions to bring large theoretical bounds down to a range small enough to check by hand or computer.
As the main application, we walk through the proof of the answer to the question “which Pell numbers P_k can be added to the pair {P_{2n+4}, 4P_{2n+2}} to form a D(4)-triple?”. By reducing the problem to a Pellian equation, parametrizing its solutions, and applying Matveev’s theorem, Laurent’s theorem, and the Dujella-Petho lemma, we see that P_{2n} is the only answer.

