とあるけれど、これは、両辺を 3^n で割って、
有理数解 (x/3, y/3) を持たない
という事じゃないの？

有理数解 (4, 7/6) を持ちます。