>>108 訂正

　a^3 -b^3 +(3/4)^3 = (ab -9/16)^2,
あるいは
　a^3 +(-b)^3 +(3/4)^3 -3(3/4)a(-b) = (ab +9/16)^2,
左辺を因数分解すれば
　(a-b+3/4) {(a-b+3/4)^2 -(9/4)(a-b+3/4) +3(ab +9/16)} = (ab +9/16)^2,

(略証)
y0 - (1/2) + 1/(4y0) = z0 とおく。
>>104 から
a -b + 3/4 = z0･z0,
ab + 9/16 = (1/y0)(y0 +1/2)^2･z0･z0 = (3/2 + z0)･z0･z0,
これから z0 を消去すると
ab + 9/16 = (3/2)(a-b+3/4) + (a-b+3/4)^(3/2),

やっぱり汚いか…orz