А если посмотреть на то, что мы делаем — то это можно назвать либо алгоритмом Евклида (с минимальной поправкой на знаки), либо — разложением в цепную дробь Хирцебруха (то есть цепную дробь "с минусами"),
P_1/P_2 = Q_1 - 1/(Q_2 - 1/( Q_3 - ... ))