როგორ გავაქროთ განტოლების ფესვები

ოლიმპიურ მათემატიკაში ხშირად ვხვდებით ამოცანებს, რომლებიც ერთი შეხედვით უცნაურ მოთხოვნას გვიყენებენ. ასეთ დროს სტანდარტული მეთოდები იშვიათად მუშაობს. საჭიროა ძიება და კანონზომიერების აღმოჩენა მცირე შემთხვევებზე.

სწორედ ასეთი მიდგომების სიღრმისეულად შესწავლას ვუთმობთ დროს ჩვენს პრემიუმ კურსებში “ელიტარულ მათემატიკაში”. ახლა კი, მოდი, ერთად გავარჩიოთ ერთი გამორჩეული ამოცანა, რომელიც თქვენს ალგებრულ ხედვას სრულიად ახალ საფეხურზე აიყვანს.

🧠 სად იმალება მთავარი „ხაფანგი“?

სანამ უშუალოდ ამოხსნისა და დაჯგუფების სტრატეგიაზე გადავალთ, მოდი, როგორც ნამდვილმა მკვლევარებმა, შევაფასოთ ამოცანის სირთულე და გავაანალიზოთ ის სამი მთავარი ხაფანგი, რომელშიც დამწყები ოლიმპიელები ებმებიან.

1. (ფსიქოლოგიური ბარიერი) რიცხვი 2028 სპეციალურადაა შერჩეული მოსწავლის დასაბნევად. როდესაც ვხედავთ ასეთი მაღალი ხარისხის მრავალწევრს, ტვინი ავტომატურად იწყებს სტანდარტული ალგებრული მეთოდების (მაგალითად, ფრჩხილების გაშლა, ვიეტას თეორემა) გახსენებას. თუმცა, 2028-ე ხარისხის პოლინომების პირდაპირი გაშლა ან მათი გრაფიკების სტანდარტული გზით წარმოდგენა დიდი რესურს მოითხოვს(ზოგჯერ ეს შეუძლებელიცაა). ერთე-ერთი ხაფანგი სწორედ ამ რიცხვთან პირდაპირი „ჭიდილია“.

2. „მარტივი“ გამოსავლის ძიება (მინიმალურობის უგულებელყოფა) ერთი შეხედვით, პრობლემა თითქოს მარტივად გვარდება: მარცხენა მხარეს დავტოვოთ მხოლოდ ერთი მამრავლი, მაგალითად $(x-1)$, ხოლო მარჯვნივ მხოლოდ $(x-2)$. მივიღებთ უმარტივეს განტოლებას: $x-1 = x-2$, საიდანაც ვღებულობთ აბსურდს $-1 = -2$. შესაბამისად, განტოლებას ფესვი არ აქვს! მიზანი მიღწეულია? არა! ამოცანა გვთხოვს წასაშლელი მამრავლების უმცირეს რაოდენობას. ზემოთ განხილულ მარტივ შემთხვევაში ჩვენ წავშალეთ 2027 მამრავლი მარცხნიდან და 2027 მარჯვნიდან, ჯამში 4054 წაშლა. ჩვენი მიზანი კი ამ რაოდენობის მინიმუმამდე დაყვანაა.

3.ფუნქციონალური ხაფანგი იმისათვის, რომ წაშლილი მამრავლების რაოდენობა მინიმალური იყოს, წრფივი მამრავლი $(x-k)$ დიდი ალბათობით უნდა წავშალოთ მხოლოდ ცალი მხრიდან. ეს ნიშნავს, რომ 2028 მამრავლი უნდა გავყოთ ორ თანუკვეთ სიმრავლედ.

აქ ჩნდება მთავარი მათემატიკური სირთულე: როგორ უნდა დავაჯგუფოთ მამრავლი მარცხნივ და მამრავლი მარჯვნივ ისე, რომ მათმა ნამრავლებმა ერთმანეთი არცერთ წერტილში არ გადაკვეთონ? ეს მოითხოვს უტოლობით შეფასებას: მარცხენა მხარე მკაცრად ნაკლები (ან მეტი) უნდა იყოს მარჯვენა მხარეზე ყოველი $x$-თვის.

4. მინიმიზაციის ხაფანგი

თუ ჩვენი მიზანია წავშალოთ რაც შეიძლება ცოტა მამრავლი, ეს ნიშნავს, რომ უნდა შევინარჩუნოთ რაც შეიძლება ბევრი. ადვილი მისახვედრია, რომ 2028-ზე ნაკლების წაშლა შეუძლებელია (რადგან არცერთი მამრავლი არ უნდა მოხვდეს განტოლების ორივე მხარეს). გამოდის, რომ უნდა არაუმეტს 2028 მამრავლი და თითოეული $(x-k)$ უნდა განაწილდეს ან მარცხნივ, ან მარჯვნივ.

სწორედ აქ ვაწყდებით კოშმარულ გეომეტრიულ/ალგებრულ სირთულეს: დავუშვათ, 2028 მამრავლი გავყავით ორ ნაწილად (მაგალითად, 1014 მარცხნივ და 1014 მარჯვნივ). ეს ნიშნავს, რომ ჩვენ მივიღეთ ორი 1014-ე ხარისხის პოლინომი.

დაფიქრდით, რას ნიშნავს ეს ვიზუალურად:

• პოლინომი, რომელსაც აქვს 1014 განსხვავებული ფესვი (წერტილები, სადაც ის $x$-ღერძს კვეთს), წარმოადგენს გრაფიკს, რომელიც გიჟურად იტალღება (მოძრაობს ზევით-ქვევით) $x \in [1, 2028]$ შუალედში. ის აკეთებს 1013 ამოზნექილობასა და ჩაზნექილობას (“ბორცვებსა” და “ღრმულებს”).
• ჩვენ გვაქვს ასეთი ორი გიგანტური ფუნქცია, რომლებიც ერთსა და იმავე ვიწრო შუალედში მოძრაობენ, გამუდმებით კვეთენ $x$-ღერძს და იცვლიან ნიშნებს (პლუსიდან მინუსში და პირიქით).

სად არის მთავარი ხაფანგი? ინტუიცია გვეუბნება, რომ თუ ორი ასეთი ფუნქცია ერთსა და იმავე სივრცეში არსებობს, ისინი აუცილებლად, სადღაც მაინც შეეჯახებიან ერთმანეთს (გადაიკვეთებიან). მაგრამ განტოლებას რომ ფესვი არ ჰქონდეს, ამ ორი ფუქნციის გრაფიკი არსად არ უნდა შეეხოს ერთმანეთს! მარცხენა ფუნქციის „ბორცვები“ უნდა აცდეს მარჯვენა ფუნქციის „ბორცვებს“, თანაც ისე, რომ ეს დაძვრა 1014-ჯერ ზედიზედ, უშეცდომოდ განმეორდეს.

ამიტომაც არის მინიმიზაცია ურთულესი. ბევრი მამრავლის წაშლა რომ შეგვეძლოს (მაგალითად, დაგვეტოვებინა მხოლოდ 1 მამრავლი მარცხნივ და 1 მარჯვნივ: $x-1 = x-2$), მივიღებდით ორ პარალელურ წრფეს, რომლებიც არ იკვეთება. მაგრამ 2028 მამრავლის შენარჩუნება (რაც მინიმიზაციის მოთხოვნაა) ქმნის ურთულეს გამოწვევას, რომლის დასამორჩილებლადაც შესაძლოა სიმეტრის დანახვა და მოდულარული დაჯგუფება დაგვეხმაროს.

⏱️ ოლიმპიური ტაქტიკა: კრიზისის მენეჯმენტი 75 წუთში

ოლიმპიადაზე მსგავსი ამოცანის ამოსახსნელად, როგორც წესი, საშუალოდ 75-დან 90 წუთამდე დრო გაქვთ. როცა ხედავ 1014-ე ხარისხის პოლინომს აცნობიერებ მინიმიზაციის სირთულეს, პანიკაში ჩავარდნა და დროის უაზროდ დაკარგვა ძალიან მარტივია.

რა უნდა ქნათ, თუ შუა ოლიმპიადაზე გრძნობთ, რომ ერთ კონკრეტულ გზაზე გაიჭედეთ და წინ ვეღარ მიდიხართ?

• არ შეეჯახოთ კედელს (სწრაფი უკანდახევა): თუ გრძნობთ, რომ უშუალოდ 2028-ზე მუშაობით ალგებრულ ჯუნგლებში იკარგებით, ან ფრჩხილების გაშლას ცდილობთ და კოეფიციენტებში იხლართებით სასწრაფოდ გაჩერდით! სტრატეგიის შეცვლა დანებებას არ ნიშნავს. ამოცანის ავტორს სწორედ ის უნდოდა, რომ ამ რუტინაში ჩაძირულიყავით.

• შეამცირეთ მასშტაბი: ეს ოლიმპიელთა ოქროს წესია. დაივიწყეთ 2028. ჩათვალეთ, რომ ამოცანა გეკითხებათ 2, 3 ან 4 მამრავლზე. პრობლემის “მინიატურული” ვერსიის აგება გეხმარებათ დაინახოთ ის სტრუქტურა, რომელიც დიდი რიცხვებში იმალება.

• ნაშთების ძიება: ოლიმპიადებზე მოცემული „უცნაური“ დიდი რიცხვები (2016, 2028, 2030) თითქმის ყოველთვის მიგანიშნებთ ნაშთებზე ან პერიოდულობაზე. ჰკითხეთ საკუთარ თავს: რაზე იყოფა 2028? რა პატარა ბლოკებად შემიძლია მისი დაშლა?

• იფიქრეთ უკუმიმართულებით: ნაცვლად იმისა, რომ იფიქროთ „რა მივიღო?“, იფიქრეთ „რა მჭირდება საბოლოო მიზნისთვის?“. იმისათვის, რომ განტოლებას ფესვი არ ჰქონდეს, ან ერთ მხარეს უნდა იყოს ნული და მეორეგან არა, ან ერთი მხარე მკაცრად მეტი/ნაკლები უნდა იყოს მეორეზე. კონცენტრირდით ამ მკაცრი უტოლობის ხელოვნურად აგებაზე.

• კიდურა შემთხვევების რეალიზაცია: როცა მრავალწევრის „შუაგულში“ (ფესვებს შორის) ამოუცნობი ქაოსია, გაიხედეთ საზღვრებში! რა ხდება, როცა $x$ ძალიან დიდია, ან პირიქით, პირველ ფესვზე მცირეა ($x < 1$)? ამ ზონებში ფუნქციების ქცევა ყველაზე პროგნოზირებადია. ხშირად სწორედ საზღვრებიდან იწყება ამოხსნის ძაფის გამოხლართვა.

• განტოლების შეცვლა: სტანდარტული ფორმა $A = B$ ხშირად ინტელექტუალური ჩიხია. ნუ შეგეშინდებათ განტოლების იგივური ცვილება! სცადეთ ფარდობა $\frac{A}{B} = 1$ ან სხვაობა $A - B = 0$.რომელიც შესძლოა საშუალება მოგვცეთ, გიგანტური ნამრავლის თითოეული მცირე წევრი $1$-თან შეადაროთ, რითაც შესაძლოა ურთულესი პრობლემა ტრივიალურ უტოლობამდე დავიდეს.

• ნიშანთა მონაცვლეობის ანალიზი: როცა საქმე უამრავი ფრჩხილის ნამრავლს ეხება, კონკრეტული რიცხვების გამოთვლას აზრი არ აქვს. მთავარია დადებითი და უარყოფითი ნიშნების თვლა. ყურადღება მიაქციეთ ლუწ-კენტობას, რამდენი წევრია უარყოფითი მოცემულ შუალედში? სწორედ ნიშნების ასიმეტრიაა ის ფარული იარაღი, რომელიც მარცხენა და მარჯვენა მხარეების ტოლობის საკითხს ამხელს.

• შავი ფურცლის „ნაგვის“ დაფასება: როცა მცირე მოდელებზე ექსპერიმენტებს ატარებთ (მაგალითად ცდით $n=2$ ან $n=3$ შემთხვევებს), ნუ წაშლით იმ ვარიანტებს, რომლებმაც არ იმუშავა. იდეალური ამოხსნა ცარიელ ადგილას არ იბადება. ხშირად სწორედ იმ „არასწორ“ დაყოფაში იმალება ის ლოგიკური მარცვალი, რომელიც შემდეგ ეტაპზე გამარჯვებას მოგიტანთ. სწორედ ასეთი სტრუქტურული ანალიზი და პრობლემის „ფსკერამდე“ ჩასვლა განასხვავებს მექანიკურ დამთვლელს შემოქმედი ოლიმპიელისგან. მოდი, ახლა ეტაპობრივად გავშიფროთ ეს ალგებრული ხაფანგი.

  ამოხსნის ნახვა

  🔍 კვლევის ეტაპი 1: აუცილებლობის პირობა (ქვედა საზღვრის დადგენა)

  მოდი, დავსვათ მარტივი ლოგიკური შეკითხვა: რა მოხდება, თუ რომელიმე კონკრეტულ მამრავლს არ წავშლით, არც მარჯვენა და არც მარცხენა მხრიდან?

  დავუშვათ, განტოლების ორივე მხარეს შევინარჩუნეთ მამრავლი $(x-k)$, სადაც $k \in \{1, 2, \dots, 2028\}$. მაშინ მიღებულ ახალ განტოლებას ექნება სახე:

  $$P(x) \cdot (x-k) = Q(x) \cdot (x-k)$$

  ცხადია, თუ ამ განტოლებაში ჩავსვამთ $x=k$-ს, მივიღებთ $0=0$ ჭეშმარიტ ტოლობას. ანუ, განტოლებას აუცილებლად ექნება ნამდვილი ფესვი ($x=k$).

  ჩვენი მიზანი კი ისაა, რომ არცერთი ნამდვილი ფესვი არ არსებობდეს. აქედან ვაკეთებთ უმნიშვნელოვანეს დასკვნას: ყოველი $k$-სთვის ($1$-დან $2028$-ის ჩათვლით), მამრავლი $(x-k)$ უნდა წაიშალოს მინიმუმ ერთი მხრიდან მაინც.

  ვინაიდან სულ 2028 ასეთი განსხვავებული მამრავლი გვაქვს, დასაწყისისთვისვე ნათელი ხდება, რომ საერთო ჯამში მოგვიწევს მინიმუმ 2028 მამრავლის წაშლა.

  მაგრამ არის თუ არა 2028 საკმარისი? შეგვიძლია თუ არა ეს 2028 მამრავლი ისე “გავანაწილოთ” (მაგალითად, ნაწილი დავტოვოთ მხოლოდ მარცხნივ, ნაწილი მხოლოდ მარჯვნივ), რომ საბოლოო ჯამში მიღებულმა მრავალწევრებმა არსად გადაკვეთონ ერთმანეთი?

  🧪 კვლევის ეტაპი 2: აჰა მომენტი და გასაღების ძიება მცირე შემთხვევებზე

  როგორ უნდა მოვიფიქროთ კონსტრუქცია 2028 მამრავლისთვის? დამწყები ოლიმპიელები აქ ხშირად იჭედებიან, თუმცა პროფესიონალის მთავარი იარაღი პრობლემის მასშტაბის შემცირებაა. მოდი, დავივიწყოთ 2028 და ვნახოთ, რა ხდება $n=4$-ის შემთხვევაში.

  განვიხილოთ 4 მამრავლი: $(x-1), (x-2), (x-3), (x-4)$. შეგვიძლია თუ არა ისინი ისე გავყოთ ორ ჯგუფად, რომ ფესვი არ ჰქონდეთ?

  ვცადოთ ასეთი დაყოფა:

  • მარცხენა მხარეს დავტოვოთ კიდურა მამრავლები: $(x-1)(x-4)$
  • მარჯვენა მხარეს დავტოვოთ შუა მამრავლები: $(x-2)(x-3)$

  შევამოწმოთ მათი ტოლობა:

  $$(x-1)(x-4) = (x-2)(x-3)$$

  $$x^2 - 5x + 4 = x^2 - 5x + 6$$

  $$4 = 6$$

  მივიღეთ წინააღმდეგობა! განტოლებას ფესვი არ აქვს. უფრო მეტიც, შევამჩნიოთ უმნიშვნელოვანესი თვისება — ნებისმიერი ნამდვილი $x$-ისთვის სრულდება უტოლობა:

  $$(x-1)(x-4) < (x-2)(x-3)$$

  გრაფიკული მოდელი ($n=4$ შემთხვევისთვის)

  ვიზუალურად კარგად ჩანს, რომ ეს ორი პარაბოლა არსად იკვეთება. შიდა ნამრავლი ყოველთვის 2 ერთეულით მაღლა დგას კიდურა ნამრავლზე.

  აჰა მომენტი!

  ჩვენ აღმოვაჩინეთ “გასაღები” (მოდული 4). რადგან $2028$ უნაშთოდ იყოფა 4-ზე ($2028 = 4 \times 507$), ჩვენ შეგვიძლია მთელი ეს 2028 მამრავლი დავყოთ ზუსტად ასეთ 4-წევრიან ჯგუფებად და თითოეულ ჯგუფში გამოვიყენოთ ეს სტრატეგია.

  კერძოდ, ყოველი 4 მომდევნო რიცხვისთვის $\{4j+1, 4j+2, 4j+3, 4j+4\}$ (სადაც $j=0, 1, \dots, 506$), ჩვენ:

  • მარცხენა მხარეს დავტოვებთ 1-ლ და მე-4 წევრებს: $(x - 4j - 1)(x - 4j - 4)$
  • მარჯვენა მხარეს დავტოვებთ მე-2 და მე-3 წევრებს: $(x - 4j - 2)(x - 4j - 3)$

  თუ ამ კონსტრუქციას განვაზოგადებთ 2028-ვე მამრავლისთვის, ჩვენი განტოლება მიიღებს შემდეგ სახეს:

  $$\prod_{j=0}^{506} (x - 4j - 1)(x - 4j - 4) = \prod_{j=0}^{506} (x - 4j - 2)(x - 4j - 3) \quad \quad (1)$$

  ჩვენი საბოლოო მიზანია ვაჩვენოთ, რომ განტოლება (1)-ს არ გააჩნია არცერთი ნამდვილი ფესვი $x \in \mathbb{R}$. ამისათვის სრული რიცხვითი ღერძი უნდა დავყოთ 4 შესაძლო შემთხვევად და თითოეულში ვაჩვენოთ წინააღმდეგობა. განვიხილოთ 4 განსხვავებული შემთხვევა ნებისმიერი ნამდვილი $x$-ისთვის:

  შემთხვევა 1: $x = 1, 2, \dots, 2028$ ამ შემთხვევაში განტოლების (1) ერთ-ერთი მხარე აუცილებლად უდრის ნულს (რადგან შეიცავს შესაბამის მამრავლს), ხოლო მეორე მხარე ნულისგან განსხვავებულია, რადგან წინააღმდეგი მხარის არცერთ ფესვს არ შეიცავს. ნული არ უდრის არანულოვან რიცხვს, შესაბამისად, მთელ წერტილებში ფესვი არ გვაქვს.

  შემთხვევა 2: $4k+1 < x < 4k+2$ ან $4k+3 < x < 4k+4$ (სადაც $k = 0, 1, \dots, 506$) თუ $x$ ამ ინტერვალებიდან ერთ-ერთშია, მაშინ $j \neq k$ მნიშვნელობებისთვის ნამრავლი $(x - 4j - 1)(x - 4j - 4)$ დადებითია. თუმცა, ზუსტად $j = k$ შემთხვევაში, გამოსახულება $(x - 4k - 1)(x - 4k - 4)$ უარყოფითია. გამოდის, რომ (1) განტოლების მარცხენა მხარე უარყოფითია. მეორე მხრივ, (1) განტოლების მარჯვენა მხარეს თითოეული ნამრავლი $(x - 4j - 2)(x - 4j - 3)$ დადებითია. უარყოფითი რიცხვი ვერ გაუტოლდება დადებითს — მივიღეთ წინააღმდეგობა.

  შემთხვევა 3: $x < 1$ ან $x > 2028$ ან $4k < x < 4k+1$ (სადაც $k = 1, 2, \dots, 506$) ამ შუალედებში არცერთი მამრავლი არ ნულდება, ამიტომ შეგვიძლია განტოლება (1) გადავწეროთ შემდეგნაირად (გავყოთ მარჯვენა მხარეზე):

  $$ 1 = \prod_{j=0}^{506} \frac{(x - 4j - 1)(x - 4j - 4)}{(x - 4j - 2)(x - 4j - 3)} = \prod_{j=0}^{506} \left( 1 - \frac{2}{(x - 4j - 2)(x - 4j - 3)} \right) $$

  ადვილი საჩვენებელია, რომ განხილულ შუალედებში $(x - 4j - 2)(x - 4j - 3) > 2$. შესაბამისად, ნამრავლში მონაწილე თითოეული წევრი მოთავსებულია მკაცრად $0$-სა და $1$-ს შორის ($0 < \text{წევრი} < 1$). ასეთი რიცხვების ნამრავლი აუცილებლად მკაცრად ნაკლებია 1-ზე, რაც შეუძლებელს ხდის ტოლობას $1 = \dots$

  შემთხვევა 4: $4k+2 < x < 4k+3$ (სადაც $k = 0, 1, \dots, 506$) აქ განტოლების სახეს ოდნავ ვცვლით — მამრავლებს გადავაჯგუფებთ (ინდექსების დაძვრით):

  $$ 1 = \frac{x - 1}{x - 2} \cdot \frac{x - 2028}{x - 2027} \prod_{j=1}^{506} \frac{(x - 4j)(x - 4j - 1)}{(x - 4j + 1)(x - 4j - 2)} $$

  რაც მარტივი ალგებრული გარდაქმნით დაიყვანება შემდეგზე:

  $$ 1 = \frac{x - 1}{x - 2} \cdot \frac{x - 2028}{x - 2027} \prod_{j=1}^{506} \left( 1 + \frac{2}{(x - 4j + 1)(x - 4j - 2)} \right) $$

  ამ ინტერვალში $(x - 1)/(x - 2) > 1$ და $(x - 2028)/(x - 2027) > 1$. ასევე, პროდუქტში შემავალი თითოეული წევრიც მკაცრად მეტია 1-ზე. შესაბამისად, მარჯვენა მხარე ხდება მკაცრად 1-ზე მეტი. კვლავ წინააღმდეგობა.

  ოთხივე შემთხვევის ამოწურვის შემდეგ ვასკვნით, რომ განტოლებას (1) არ აქვს ნამდვილი ფესვები. მაშასადამე, წასაშლელი მამრავლების მინიმალური რაოდენობა მართლაც 2028-ია. ■

🧠 დამოუკიდებელი ამოცანები სააზროვნოდ

როგორც ვნახეთ, $n \equiv 0 \pmod 4$ შემთხვევაში ამოცანა იდეალურად იხსნება 4-წევრიანი სიმეტრიული დაჯგუფებებით. მაგრამ რა მოხდება, თუ სტრუქტურას ოდნავ დავარღვევთ?