برای حل اینگونه معادلات، یک راهکار مؤثر این است که بین متغیرها یک ترتیب فرض کنیم. این کار به ما کمک میکند تا دامنه جستجو را به شدت محدود کنیم.
گام اول: فرض ترتیب بین متغیرها
بدون از دست دادن کلیت مسئله، فرض میکنیم که $a, b, c$ به ترتیب صعودی مرتب شدهاند:
$$a \le b \le c$$
گام دوم: استفاده از نابرابری برای محدود کردن متغیرها
با توجه به فرض بالا، میتوانیم بنویسیم:
$$a+b+c \le c+c+c = 3c$$
حالا این نابرابری را در معادلهی اصلی جایگزین میکنیم:
$$abc = 2(a+b+c) \le 2(3c)$$
$$abc \le 6c$$
چون $c$ یک عدد طبیعی و مثبت است ($c \ge 1$)، میتوانیم دو طرف نابرابری را بر $c$ تقسیم کنیم:
$$ab \le 6$$
حالا میدانیم که حاصلضرب دو متغیر کوچکتر ($a$ و $b$) نمیتواند از $6$ بزرگتر باشد. همچنین چون $a \le b$ است، نتیجه میگیریم:
$$a^2 \le ab \le 6$$
این نابرابری به ما میگوید که $a^2$ باید کوچکتر یا مساوی $6$ باشد. تنها اعداد طبیعی که مربعشان کوچکتر یا مساوی $6$ است، $1$ و $2$ هستند.
بنابراین، متغیر $a$ فقط میتواند یکی از دو مقدار زیر را داشته باشد:
۱. $a = 1$
۲. $a = 2$
گام سوم: بررسی حالتهای ممکن برای $a$
حالا هر یک از این دو حالت را جداگانه بررسی میکنیم.
حالت ۱: $a = 1$
مقدار $a=1$ را در معادله اصلی جایگذاری میکنیم:
$$2(1+b+c) = 1 \cdot b \cdot c$$
$$2+2b+2c = bc$$
برای حل این معادله نسبت به $b$ و $c$، آن را به روش زیر بازآرایی میکنیم تا قابل تجزیه شود (این یک ترفند رایج است):
$$bc - 2b - 2c = 2$$
$$bc - 2b - 2c + 4 = 2 + 4$$
$$(b-2)(c-2) = 6$$
حالا باید جفت عاملهای عدد $6$ را پیدا کنیم. با توجه به فرض $a \le b \le c$ و اینکه $a=1$ است، داریم $1 \le b \le c$ که نتیجه میدهد $b-2 \le c-2$. پس دو حالت ممکن برای عاملها وجود دارد:
جفت (۱, ۶):
$b-2=1 \implies b=3$
$c-2=6 \implies c=8$
این مقادیر در شرط $1 \le 3 \le 8$ صدق میکنند. پس اولین جواب ما به دست آمد: $\bf(1, 3, 8)$.
جفت (۲, ۳):
$b-2=2 \implies b=4$
$c-2=3 \implies c=5$
این مقادیر در شرط $1 \le 4 \le 5$ صدق میکنند. پس دومین جواب ما به دست آمد: $\bf(1, 4, 5)$.
حالت ۲: $a = 2$
مقدار $a=2$ را در معادله اصلی جایگذاری میکنیم:
$$2(2+b+c) = 2bc$$
دو طرف را بر $2$ تقسیم میکنیم:
$$2+b+c = bc$$
دوباره معادله را برای تجزیه بازآرایی میکنیم:
$$bc - b - c = 2$$
$$bc - b - c + 1 = 2 + 1$$
$$(b-1)(c-1) = 3$$
عدد $3$ یک عدد اول است و تنها یک جفت عامل طبیعی دارد: (۱, ۳). با توجه به فرض $a \le b \le c$ و اینکه $a=2$ است، باید $2 \le b \le c$ باشد. پس $b-1 \le c-1$ است.
- جفت (۱, ۳):
$b-1=1 \implies b=2$
$c-1=3 \implies c=4$
این مقادیر در شرط $2 \le 2 \le 4$ صدق میکنند. پس سومین جواب ما به دست آمد: $\bf(2, 2, 4)$.
نتیجهگیری:
با بررسی تمام حالتهای ممکن، به سه مجموعه جواب منحصر به فرد (فاقد جایگشت) رسیدیم:
1. $\{1, 3, 8\}$
2. $\{1, 4, 5\}$
3. $\{2, 2, 4\}$
اینها تنها جوابهای ممکن در اعداد طبیعی هستند. اگر جایگشتها را هم در نظر بگیریم، تعداد کل جوابها بیشتر میشود (برای مثال $(1,3,8), (1,8,3), (3,1,8)$ و غیره هم جواب هستند)، اما مسئله به درستی اشاره کرده که تنها سه جواب فاقد جایگشت وجود دارد.