Інтерполяція функції
, (3)
де ,
Твердження 1. Двовимірний інтерполяційний ланцюговий дріб (3) має коефіцієнтів, тобто кількість коефіцієнтів рівна кількості інтерполяційних вузлів .
Доведення. Випадок, коли доведено в [2]. Припустимо тепер, що . Введемо позначення . Всі коефіцієнти дробу (3) містяться в конструкціях , причому кожна така конструкція містить 1+(n-p)+(m-p) коефіцієнтів. Тоді весь двовимірний ланцюговий дріб містить таку кількість коефіцієнтів:
. Твердження доведено.
Згідно з [2], значення двовимірного інтерполяційного ланцюгового дробу (3) можна знайти за допомогою оберненого рекурентного алгoритму, який у цьому випадку формулюється так: спочатку вибираємо початкове значення , а всі наступні значення знаходяться за рекурентним співвідношенням
,
де
при ,
при .
Тоді значення дробу (3) буде дорівнювати
.
Скориставшись оберненим рекурентним алгоритмом, отримаємо дріб (3) у вигляді відношення двох многочленів від двох незалежних змінних х та у :
.
Згідно з [3] має місце наступне твердження.
Твердження 2. Двовимірний інтерполяційний ланцюговий дріб (3) є дробово-раціональною функцією двох незалежних змінних. Степені многочленів чисельника та знаменника по змінним х та у задовольняють нерівності:
, ,
, ,
де .
Доведення. Доведемо за аналогією з [1], де подібне твердження було доведено для випадку . Перепишемо підхідний дріб у такому вигляді:
,
де, як і раніше, . В [4] доведено, що є многочлен степені , а степені . Виходячи з цього маємо, що r(k) та задовольняють наступні рекурентні співвідношення: