>>45
>論文には、AとBの公約数をCとして、B=Cでなければならないことを証明しています

主張がわかりません
A, B, C とはそれぞれ、どれのことですか？
d_k が整数であると仮定した議論には意味がありません
>>33にあるように、 d_k < 1 となるのが自然です
>それは⑥が成立するときに、最後の式が必ず成立するための条件⑥⊇最後の式です

そうではなくて、不等式
4^(r－1) / (a/b)^(r－1) ≦ 1
がどのように導かれるのかを教えてください
私には、 A > Bx かつ A > B から x ≦ 1 を結論付けているように見えます
それは当然不可能です（例えば、 A = 10, B = 2 のとき、 x = 2 でも x = 3 でも可）