Proof. Assume that n is a congruent number and n = k2 for some k ∈ Z. Since n is a congruent number, there is a right triangle with rational sides x, y, z such that n = xy 2 . We may suppose that
หลักฐาน สมมติว่า n คือ หมายเลขที่สอดคล้องและ n = k2 สำหรับบาง∈ k Zเนื่องจาก n เป็นตัวเลขที่สอดคล้องกัน มีรูปสามเหลี่ยมขวาด้านเหตุผลx, y, z ดังกล่าวที่ n = xy2 เราอาจนึกว่า