منهج الفارسي بالعوامل لإثبات التحاب

قد يجمع عدد قواسمه فيعطي عدداً آخر، ثم تعيد قواسم الآخر العدد الأول. يسمى العددان المختلفان متحابين، مثل220 و284. لم يخترع كمال الدين الفارسي هذا المثال أو قاعدة ثابت بن قرة الأقدم؛ مساهمته هنا منهج جديد بالعوامل والاختيارات لإثبات القاعدة، كما تصفه ماكتوتر ^{2 1}.

تتناول تذكرة الأحباب في بيان التحاب هذا الموضوع، مستقلة من نموذجه لقوس قزح. لا تمنح البطاقة للفارسي أولية مطلقة في التحليل إلى عوامل أو أول برهان كامل على وحدانيته؛ تعرض ماكتوتر تفسير راشد وتنبه إلى خلاف الباحثين في قوة البرهان ^{3 4}.

المقصود بالقواسم هنا الأعداد الصحيحة الموجبة التي تقسم العدد بلا باق، مع استبعاد العدد نفسه عند فحص التحاب. نرمز حديثاً للمجموع الشامل بالرمزsigma، وللمجموع بعد حذف العدد بالرمزs. لذلكs(N)=sigma(N)−N، لاs(N)=sigma(N). هذه لغة شرح حديثة لا ترميزاً نسبناه إلى المخطوط ⁵.

ويجب أن يكون العددان موجبين ومختلفين، وأن تنجح العلاقة في الاتجاهين. العدد6 مثلاً يجمع قواسمه1 و2 و3 فيعطي6؛ هذا عدد تام، وليس زوجاً متحاباً مع نفسه في التعريف المستعمل هنا. وكذلك لا يكفي أن يعطي عددٌ الآخر إن لم تعد الرحلة إلى نقطة البداية.

تنسب ماكتوتر القاعدة إلى ثابت بن قرة، ثم تشرح برهان الفارسي الجديد لها. بذلك يبقى السابق باسمه ولا يصبح كل ما في الرسالة ابتكاراً مستقلاً للفارسي. ولا تجعل البطاقة ثابتاً مخترعاً مسلماً جديداً بالاستنتاج من بيئته؛ ذكر السابق العلمي غير عدّه في هذه السلسلة ⁶.

وتعرض ماكتوتر رأي هوخندايك في احتمال معرفة ثابت نفسه للزوج17296 و18416. لا نستخرج من ذلك حكماً جديداً بالأولوية، ولا ننسب اكتشاف الزوج إلى أوروبي متأخر لمجرد شيوع اسمه معه. اسم شائع، وبرهان باق، وأول اكتشاف، ثلاث مسائل لا تحسم إحداها الأخريين ⁷.

يذكر المدخل الجامعي أن أعمال الفارسي الحسابية برزت في دراسات لاحقة لمقالة راشد القديمة في قاموس السير العلمية، التي ركزت على البصريات. غياب موضوع من عرض سابق ليس دليلاً على عدم وجوده في تراث المؤلف. وتفردTDV الرسالة المتحابة بعنوانها ضمن قائمة أعماله ^{8 4}.

لا نعرف هنا تاريخ تأليف مضبوطاً أو مجلساً حوارياً وقعت فيه الفكرة. أفق أواخر القرن الثالث عشر وأوائل الرابع عشر يربطها بحياة صاحبها، لا بيوم اختراع أو بتحويل هجري اخترعناه. وتبريز سياق سيرته، لا غرفة كتابة الرسالة أثبتناها من أصلها ^{9 10}.

الأساس الفردي المسلم للفارسي محفوظ من الوصف الصريح في ماكتوتر، والإطار السني معلن مستقلاً. لا نستنتج مذهباً شخصياً من اسم فارسي أو معلم. ويظل إسهامه البصري السابق قائماً؛ العالم نفسه يستطيع العمل في الضوء والأعداد، ولا يبرر تشارك المؤلف دمج السؤالين ¹¹.

وتخالفTDV ماكتوتر في الاسم والتواريخ: تسجل حسن بن علي بن حسن، ومولداً1267 ووفاة1319 بحسب خبر تلميذ ناسخ، بدلاً من اسم محمد وتقديرات1260 و1320 الشائعة. نحفظ الاختلاف منسوباً ولا نخلق شخصاً آخر أو نعلن مقابلة الأصل. تبقى البيانات السابقة شاهداً على مصدرها، مع ظهور الرواية المخالفة للقارئ ^{12 13}.

يمكن شرح فكرة العوامل حديثاً بالعدد220=2²×5×11. كل قاسم منه ينتج باختيار قوة2 من0 إلى2، وقوة لكل من5 و11 من0 إلى1. إذن توجد3×2×2=12 اختيارات مختلفة تشمل العدد نفسه. تنظيم هذه الاختيارات يمنع أن ننسى قاسماً أو نعده مرتين، وهو مثال حديث لمعنى البنية العاملية ³.

مجموع القواسم الشامل هنا(1+2+4)(1+5)(1+11)=7×6×12=504. بعد حذف220 نحصل على284. وبالمثل284=2²×71 ومجموع قواسمه الشامل7×72=504، ثم504−284=220. نستطيع أيضاً فحص القواسم منفردة؛ اتفاق الطريقتين فحص حسابي مستقل، لا دعوى أنه نص البرهان القديم ¹⁴.

قاعدة ثابت، بترميز حديث، تأخذn≥2 وتضعp=3×2^(n−1)−1، وq=3×2^n−1، وr=9×2^(2n−1)−1. إذا كانت الثلاثة أولية كانA=2^n×p×q وB=2^n×r متحابين. شرط الأولية جزء من القاعدة وليس تفصيلاً اختيارياً؛ وهي تعطي عائلة كافية ولا تصف كل زوج ممكن ⁶.

عندn=4 نجد23 و47 و1151، ثمA=17296 وB=18416. المجموع الشامل لكليهما35712: للأول31×24×48، وللثاني31×1152. بحذف كل عدد نحصل على الآخر. وتتحدث ماكتوتر عن مقدمات يستعملها الفارسي لإثبات أولية1151، بينها تطبيق للغربال؛ لا نزعم أن فحصنا الحديث يعيد ترتيب جميع مقدماته ¹⁵.

والتجربة المضادة مفيدة: عندn=3 يكونr=287=7×41 غير أولي. ينتج2024 و2296، ويحققs(2024)=2296، لكنs(2296)=2744 لا2024. من الخطأ أن نعامل287 كأنه أولي ونكتب العامل1+287 في مجموع القواسم؛ التحليل الصحيح يستعمل(1+7)(1+41). هذه إعادة حساب حديثة تبين ضرورة فحص الشروط والاتجاهين.

ولرؤية البنية العامة نضعt=2^n. تحت شروط الأولية نجدsigma(A)=sigma(B)=(2t−1)×9t²/2، وبالتوسع الجبري نجدA+B يساوي المقدار نفسه. إذن حذفA من مجموع قواسمه يعطيB والعكس. لا يكفي تساوي مجموعين وحده ما لم نثبت أيضاً أنهما يساويانA+B. هذه صياغة متحفية حديثة للشرح الشرطي، لا نقل للرسالة.

ويضمنn≥2 أن العوامل الأولية المفترضة فردية ومختلفة عن2؛ لذلك تعامل الاختيارات كعوامل مستقلة. أماn=1 فيعطي20 و34، ولا يحقق التحاب. لا يجوز إسقاط قيد البداية ثم إلقاء فشل المثال على القاعدة؛ الذي طبق عندئذ صيغة خارج مجالها هو القارئ.

تنبه ماكتوتر إلى أن الزوج الكبير عرف قبل الأسماء الأوروبية المتأخرة، لكنها تترك أولوية اكتشافه الأقدم موضع بحث. وتذكر ماثوورلد إعادة اكتشافات وقواعد لاحقة، لا سلسلة نسخ حققنا فيها انتقال رسالة الفارسي إلى كل مؤلف. التشابه في العدد ليس وحده دليلاً على طريق كتابي مباشر ^{7 16}.

ولا نساوي طباعة دراسة حديثة بانتشار تاريخي في المدارس. تسردTDV طبعة راشد1982 ودراسته، لكننا لم نقرأ الطبعة الكاملة هنا. نعرض خبر العمل ومحل نقاشه من المصدر المقروء، ولا نخترع رحلة مخطوط أو مجلس تلمذة لسد فجوة في السرد ⁴.

يربط العرض بالعوامل الأولية وعد القواسم واختيارات الأسس. لا يجوز تطبيق صيغة الضرب نفسها على عوامل متداخلة كما لو كانت مستقلة؛24=4×6 لا يجيز ضرب مجموع قواسم4 في مجموع قواسم6، لأنهما يشتركان في2. نفكك إلى قوى أولية متميزة قبل تنظيم الاختيارات، في شرحنا الحديث.

وتنسب ماكتوتر إلى راشد قراءة قيام المنهج على وحدانية التحليل إلى قوى أولية ومحاولة برهانها، ثم تذكر أن مسألة «برهن أم حاول» نوقشت. هذه حدود مهمة: نجاح مثالين لا يثبت وحده القضية العامة، وتعداد عوامل عدد صغير لا يساوي برهان وحدانية التحليل لكل عدد ¹⁷.

يمكن للطالب مقارنة قائمة قواسم فعلية بحاصل ضرب مجاميع القوى الأولية، ثم التحقق من الشمول وعدم التكرار. في فحص المتحف نقارن الطريقتين لأعداد كثيرة، لا نكتفي بتساوي نتيجة واحدة. هذا فحص حديث لتفسيرنا، وليس ادعاء اكتشاف صفحة مفقودة في الرسالة.

وحتى القاعدة الصحيحة لا تنتج كل الأزواج. الزوج1184 و1210 متحاب، لكن1210 ليس من مضاعفات4، بينما كلا عددي عائلة ثابت المذكورة من مضاعفات4 لأنn≥2. لذلك لا يمكن أن يأتي هذا الزوج من هذه الصيغة. الكفاية تعطي طريقة توليد، ولا تجعلها شرطاً ضرورياً لكل التحاب ^{18 6}.

المصادر المقروءة تعرض عملاً في الحساب ونظرية الأعداد، لا قياساً لمنفعة سوقية. ولا يجعل اسم التحاب الرقمين تعويذة أو علاجاً أو وعداً بعلاقة بشرية. التعريف علاقة مضبوطة بين قواسم، لا برهان على أثر خارق؛ نوضح الاسم من غير أن نتبنى اعتقاداً لم يفحص هنا ².

قيمته التعليمية أن الاستقلال بين الشروط يصبح محسوساً: إيجاد اتجاه أول لا يكفي، ومجموع شامل ليس مجموعاً بعد الحذف، وعامل مركب ليس أولياً. يستطيع القارئ اختبار ذلك بيديه في المثال الصغير قبل استعمال أعداد أكبر، من دون ادعاء أن هذا النشاط كان درساً تاريخياً موثقاً.

ترى ماكتوتر في عمل الفارسي أكثر من تعديل بسيط لبرهان ثابت؛ تصفه بمنهج جديد يوظف التحليل والاختيارات التركيبية. لا يحتاج تقدير هذه الخطوة إلى محو صاحب القاعدة أو منح كل لغة نظرية الأعداد الحديثة للفارسي. الذي ننسبه هو أسلوب بحث محدد في رسالة محددة ¹⁹.

وهو مستقل من تجربة الكرة المائية: هنا تنظم قواسم صحيحة وشروط أولية وبرهاناً عددياً، وهناك تختبر مسار الضوء. ليس مجرد مثال آخر من النظرية البصرية نفسها، ولا تغيير اسم للوصول إلى عدد أكبر من البطاقات؛ تؤيد المصادر الفصل بين إسهامين كبيرين للمؤلف ²⁰.

الإطار السني المعلن: أساس هوية الفارسي الفردية محفوظ، لا شهادة مذهبية مستخرجة من الاسم. القراءة الأكاديمية: القاعدة لثابت، والمنهج الجديد للفارسي كما تصفه ماكتوتر؛ تفسير برهان وحدانية التحليل منسوب إلى راشد ومحل نقاش. لا يصدر المتحف حكماً نهائياً بأول برهان كامل أو اكتشاف الزوج الكبير ²¹.

وينقل المصدر رأي هوخندايك في معرفة ثابت للزوج الكبير. لم تقرأ هنا المقالة كاملة؛ فهرس المؤلف يحددها، ووصول المتصفح إلى الناشر توقف عند التحقق البشري. تبقى الحجة منقولة عبر ماكتوتر، لا تتظاهر البطاقة بأن عائق الوصول تحول إلى قراءة كاملة ⁷.

نفصل بينA وB المختلفين وبين العدد التام الذي يعود إلى نفسه. ونفصل أيضاً عن اصطلاحات حديثة أخرى قد تترجم «ودودة» مع تعريف مختلف؛ المعيار هنا مجموع القواسم الصحيحة دون العدد نفسه. الاسم اللطيف لا يغني عن كتابة التعريف قبل مقارنة الجداول ²².

والرسم السياقي بقضبان ملونة يضع284 أعلى و220 أسفل، مع صفوف عوامل ومجموعي القواسم. هذا رسم هايسنث الحديث، لا قضبان استعملها الفارسي ولا صفحة من التذكرة. يعطي هيئة بصرية للمثال الأصغر، ولا يصور جميع خطوات برهان القاعدة أو الزوج17296 و18416 ²³.

قرأنا ماكتوتر ومدخلTDV ومقاطع التعريف والأمثلة الحديثة، لا الأصل العربي أو طبعة راشد1982 أو كل دراسة في الببليوغرافيا. والرسالة مثبتة بعنوانها في قائمةTDV، لكننا لم نعاين مخطوطها. يبقى وصفها الحسابي معتمداً على العرض المقروء لا تحقيقاً نصياً جديداً ^{4 1}.

أنشئ الرسم الحديث28أبريل2016، وتظهر في سجل29أبريل مراجعة الأرقام العريضة. ترخيصهCC BY-SA4.0، وينشر أصلPNG دون تعديل. عوينت الصورة وبيانات الحقوق، ولا ننقل إلى هذا الملف حقوق مصدر آخر أو نعيد تسميته أثراً من زمن المؤلف ²⁴.

يجذب لفظ «الأحباب» القارئ إلى علاقة يمكن فحصها بالأرقام. لكن تشبيه العددين بصديقين وسيلة لغوية، لا تفسير كيف تتصرف الأعداد أو دعوة إلى معنى غيبي. يكفي أن يعود مجموع القواسم إلى الشريك في الاتجاهين، وفق التعريف المعلن ².

وفي المتحف تبقى الحدود جزءاً من الحكاية: سابق أقدم، ومؤلف طور البرهان، وباحثون يختلفون في قوته وأولويته. لا يلزم مشهد روائي يصور لحظة اختراع لم تثبت، ولا لقب يجعل كل التحليل الحسابي الحديث ملكاً لشخص واحد ²⁵.

اكتب قواسم220 دون220:1،2،4،5،10،11،20،22،44،55،110. اجمعها لتحصل على284. ثم افعل العكس مع1،2،4،71،142، فتحصل على220. لا تنس الرقم1، ولا تضف العدد نفسه؛ تغيير أحد الشرطين يغير ما تحسبه ¹⁴.

جرب بعد ذلك6، ثم اسأل لماذا لا نسميه زوجاً مع نفسه. وللتحدي الأكبر افحص المثال الفاشل2024 و2296 في الاتجاهين، ولا تتوقف عند النجاح الأول. هذه ألعاب حساب حديثة تساعد على فهم شروط البرهان، لا تعليمات مخطوط نقلناها حرفياً أو حكم أولوية لم يكتمل بحثه.

• ماكتوتر:المنهج والقاعدة والخلاف ¹.
• بوزهويوك:قائمة الأعمال واختلاف الاسم والتواريخ ²⁶.
• ماثوورلد:التعريف والقواسم ².
• كامونز:الرسم وحقوقه ²⁴.