设ｐ是素数ａ，ｂ，ｎ是正整数，α，β是与ｐ互素的整数。本文给出了二元对角型同余式ａｘ＾α＝βｙ＾ｂ（ｍｏｄ ｐ＾ｎ）的解数的直接公式。......

设ｐ是一个给定的素数，α，β为ｐ－ａｄｉｃ单位，Ｃｘ为同余式ａｘ＾ｎ＝βｙ＾ｂ（ｍｏｄｐ＾ｎ）的解数，本文给出了Ｃｎ直接公式的一个简化形式，并由此证明了ｃｎ＝０（ｍｏｄｐ＾ｎ－１）。......