الفريق العربي للبرمجةأرشيف المنتديات · 2000 – 2023
نسخة أرشيفية للقراءة فقط — التسجيل والمشاركة مغلقان، والمحتوى محفوظ كما كان.

ماهي طريقة حل ال Congruence Relation من الدرجة الثالثة؟

بدأه Khaled.Alshaya في 22 مارس 2010 · 8 رد · 1,534 مشاهدة · في الرياضيات والخوارزميات
مشاركة: واتساب X فيسبوك تيليجرام
#1 صاحب الموضوع

السلام عليكم و رحمة الله و بركاته,

كيف أستطيع حل Congruence Relation من الدرجة الثالثة كالتالي:

LaTeX
p><p>

حيث أن المطلوب إيجاد جميع قيم x الصحيحة في الفترة:

LaTeX
p><p>

تحياتي,

تم تعديل هذه المشاركة بواسطة Khaled.Alshaya في 22 مارس 2010 في 15:01

#2

العدد 1 حل للمعادلة كيفما كان mimetex.cgi?n. لكن طالما أن السؤال يشترط mimetex.cgi?1<x<n، فيجب البحث عن الحلول الأخرى والتي يمكن إيجادها إذا أعطينا قيمة محددة لـ mimetex.cgi?n.

مثلا من أجل n=7، نجد أن 2 و 4 يحققان المعادلة.

من أجل n=5، مجموعة الحلول فارغة.

حسب ما يبدو لا نستطيع كتابة حل عام لهذه المعادلة بدلالة mimetex.cgi?n

mimetex.cgi?x^3 - 1 \equiv 0 (mod n)

mimetex.cgi?(x-1)(x^2 + x + 1) \equiv 0

إذا كان n أوليا فإن n\mathbb{Z}حلقة كاملة

أي أن

mimetex.cgi?x \equiv 1 (mod n) أو mimetex.cgi?x^2 + x + 1 \equiv 0 (mod n)

ويمكن كتابة هذا الحل الأخير على الشكل

mimetex.cgi?(x + 1)^2 \equiv x (mod n)

أي أنه هناك حل مربع في n\mathbb{Z}

1

MPSI/MP* - CPR Tanger

#3

السلام عليكم ورحمة الله وبركاته

اعتقد يمكن ايجاد الحل كما هو بالصورة المرفقة

post-108462-12698781176899_thumb.jpeg

تم تعديل هذه المشاركة بواسطة fmgret12 في 29 مارس 2010 في 18:55

1
#4

السلام عليكم ...

شكراً لكم أخواني على المساعدة,

الحقيقة لا أدري ماذا أقول, و لكن يبدو أني أحتاج للكثير قبل أن أستطيع حل هذا النوع من المسائل, لذلك اعذروا جهلي :)

كنت قد تعلمت الـ Linear Congruence و أثار انتباهي هذا النوع من المسائل غير الخطية, و لكن كما قلت سابقاً, ربما أحتاج إلى قليل من الـ Abstract Algebra قبل أن أفعل ذلك,

شكراً لكم من جديد,

تحياتي...

#5

أخي الكريم fmgret12

أخشى أن حلك غير صحيح. لا يمكننا المرور من السطر

mimetex.cgi?(x-1)(x^2 + x + 1) \equiv 0

إلى

mimetex.cgi?x - 1 \equiv 0 (mod n) أو mimetex.cgi?x^2 + x + 1 \equiv 0 (mod n)

إلا إذا كان n أوليا. وذلك كي تكون n\mathbb{Z}حلقة كاملة.

كما تعلم، نقول أن الحلقة mimetex.cgi?(A,+,\times) كاملة إذا كانت لا تحتوي على قواسم الصفر و mimetex.cgi?A \neq \{0\}. بمعنى آخر:

mimetex.cgi?\forall (a, b) \in A^2,\  a\

مثال بسيط يكون فيه الجداء (حاصل الضرب) يساوي 0 مع أن العوامل تخالف 0:

إذا أخذنا mimetex.cgi?n=6، لدينا في 6\mathbb{Z}:

mimetex.cgi?\bar{2}.\bar{3} = \bar{0}

في حين أن mimetex.cgi?\bar{2} \neq \bar{0} و mimetex.cgi?\bar{3} \neq \bar{0}

والسبب أن 6 ليس أوليا.

آخي الكريم خالد

إذا كان هذا سؤال من مسألة أكبر، فربما يمكن حلها بطريقة أخرى دون دراسة هذه المعادلة.

سنحتاج إلى نص المسألة كاملا في هذه الحالة: )

1

MPSI/MP* - CPR Tanger

#6

أهلاً أخي caballero,

هذا هو السؤال الذي أتكلم عنه:

Problem 271

اعذرني إن كنت سأخرج خارج الموضوع, و لكن ماهو مجال دراستك بالضبط,

أحس كأني لم أتخطى الإبتدائية في الرياضيات :P

أتمنى أن تنصحني بكتاب كمقدمة للـ modern mathematics, فأنا أود دراسة الموضوع بشدة و لكن المصطلحات ترهقني دائماً :)

سآخذ مقدمة بسيطة في نهاية الفصل في الـ Abstract Algebra و لكن أود التوسع أكثر,

تحياتي....

#7

أظن أنه يمكن حل هذه المسألة بإستعمال المبرهنة الصينية للبواقي.

سأحاول معها غدا إن شاء الله،،

اقتباس
و لكن ماهو مجال دراستك بالضبط

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

ندرس هذه الفصول في المغرب في السنة الثانية ثانوي. كتابنا المدرسي كان ممتازا ومفصلا بحيث يغنينا عن البحث في مصادر أجنبية. لذلك لا يحضرني إسم كتاب بالإنجليزية. إذا كنت تجيد الفرنسية فسلسة J'intègre ستكون أكثر من مناسبة.

وجدت هذا الكتاب Abstract Algebra: Theory and Applications ، لعل الإخوة الكرام يستطيعون إقتراح كتب أفضل.

MPSI/MP* - CPR Tanger

#8

تلميح للحل:

في البداية، إستعملت Mathematica لتفكيك العدد 13082761331670030 إلى جداء عوامل أولية.

FactorInteger[13082761331670030]
{{2, 1}, {3, 1}, {5, 1}, {7, 1}, {11, 1}, {13, 1}, {17, 1},
{19, 1}, {23, 1}, {29, 1}, {31, 1}, {37, 1}, {41, 1}, {43, 1}}

العدد 13082761331670030 هو جداء جميع الأعداد الأولية من 2 حتى 43. من هناك جاءت فكرة المبرهنة الصينية.

ذكرت في مشاركتي الأولى أن هذه المعادلة تقبل حلا مربعا في n\mathbb{Z} إذا كان n أوليا. وهي الحالة التي ندرسها.

الخطوة الأولى تكمن في إيجاد الحلول المربعة لكل معادلة من المعادلات التالية:

mimetex.cgi?x^3 \equiv 1 (mod 2)

mimetex.cgi?x^3 \equiv 1 (mod 3)

mimetex.cgi?x^3 \equiv 1 (mod 5)

mimetex.cgi?\dots

mimetex.cgi?x^3 \equiv 1 (mod 43)

بعد الحصول على هذه الحلول، سنطبق المبرهنة الصينية على كل مجموعة حلول على حدة.

سنحصل على نظام المعادلات التالي

mimetex.cgi?x \equiv a_1 (mod 2)

mimetex.cgi?x \equiv b_1 (mod 3)

mimetex.cgi?x \equiv c_1 (mod 5)

mimetex.cgi?\dots

mimetex.cgi?x \equiv n_1 (mod 43)

وسنلجأ لمتطابقة بيزو وخوارزمية أقليدس لإيجاد الحل.

مثال عملي:

في نص المسألة، كان إختيارهم للعدد mimetex.cgi?91=7 \times 13 موفقا. لنر كيف يمكن توليد الأعداد:

9, 16, 22, 29, 53, 74, 79, 81

أولا، نبحث عن الحلول المربعة لكل من:

mimetex.cgi?x^3 \equiv 1 (mod 7)
فنجد 1 و 2 و 4.

mimetex.cgi?x^3 \equiv 1 (mod 13)
فنجد 1 و 3 و 9.

لدينا 9 معادلات جديدة

(1, 1) , (1, 3), (1, 9)

(2, 1), (2, 3), (2, 4)

(4, 1), (4, 3), (4, 9)

نستثني حالة (1, 1) لأن المسألة تطلب ذلك، فتبقى ثمانية معادلات والتي بحلها نحصل على الأعداد الثمانية المذكورة في نص المسألة.

لنر مثلا عندما يكون

mimetex.cgi?x \equiv 2 (mod 7)

mimetex.cgi?x \equiv 3 (mod 13)

العددان 7 و 13 أوليان فيما بينهما، حسب متطابقة بيزو يمكن إيجاد عددين u و v حيث يكون mimetex.cgi?7u + 13 v = 1

يمكن إيجادهما بإستعمال خوارزمية أقليدس:

mimetex.cgi?13 = 7\times 1 + 6

mimetex.cgi?7 = 6\times 1 + 1

إذن

mimetex.cgi?1 = 7\times 2 + 13 \times (-

أي أن mimetex.cgi?u = 2 \hspace{5} and \hspace

ويكون الحل المطلوب هو mimetex.cgi?x = 3 \times 7u + 2 \times 1

باقي الأعداد يمكن إيجادها بنفس الطريقة.

ربما هذه ليست أفضل طريقة لحل المسألة. إذا وجدت واحدة أفضل فأرجو منك مشاركتنا بها.

هذا إن لم أخطئ،، : )

1

MPSI/MP* - CPR Tanger

#9

caballero, عذراً على التأخير,

لدي اختبارات و نسيت نفسي :P

سأطلع على الحل قريباً بإذن الله,

تحياتي...

مواضيع مشابهة

عدد الزوار حالياً

المتواجدون خلال آخر دقيقتين · يتحدّث كل ٣٠ ثانية

—الإجمالي—أعضاء مسجّلون—زوار بدون تسجيل

جارٍ التحقق من المتواجدين…