የፖሊኖሚያል መፍትሔ ማስያ አሠራር
ይህ የፖሊኖሚያል መፍትሔ ማስያ ከዲግሪ 1 እስከ 20 ያሉ ፖሊኖሚያሎችን እውነተኛ፣ ኮምፕሌክስ እና የተደገሙ መፍትሔዎችን ለማግኘት የሚያገለግል የቁጥር ስሌት መሣሪያ ነው። ተጠቃሚዎች ፖሊኖሚያቸውን በተዘረዘረ ኤክስፕሬሽን ወይም በኮፊሸንት ዝርዝር መልክ ማስገባት ይችላሉ። መሣሪያው መፍትሔዎቹን በቁጥር ስሌት ዘዴዎች ካገኘ በኋላ፣ የቀሪ እሴት እና የውህደት ፍተሻዎችን ያከናውናል። በመጨረሻም ውጤቶቹን በኮምፕሌክስ ፕሌን ላይ ከሚታይ ምስላዊ ፕሎት እና የአልጎሪዝሙን ዝርዝር የደረጃ በደረጃ አፈጻጸም ጋር ያሳያል።
በዚህ መሣሪያ ውስጥ የሚከናወኑት ሁሉም ስሌቶች እና የፖሊኖሚያል ግብዓቶች ሙሉ በሙሉ በተጠቃሚው የድር አሳሽ ውስጥ ብቻ የሚቀሩ ሲሆን፣ ወደ የትኛውም ውጫዊ ሰርቨር መቼም ቢሆን አይሰቀሉም።
ግብዓቶች እና የትክክለኛነት መቆጣጠሪያዎች
ማስያው ሁለት ዓይነት የግብዓት ሁነታዎችን ያቀርባል፦
- ፖሊኖሚያሉን በዚህ መልኩ ያስገቡ ("modeLabel")፦
- የተዘረዘረ ኤክስፕሬሽን ("mode.expression")፦ ውሎቹ በእኩልነት ምልክት በሁለቱም በኩል ሊታዩ የሚችሉበት፣ በአንድ ተለዋዋጭ የተዘረዘረ ኤክስፕሬሽን ወይም እኩልታ።
- የኮፊሸንት ዝርዝር ("mode.coefficients")፦ በነጠላ ሰረዝ፣ በባዶ ቦታ ወይም በአዲስ መስመር የተለዩ፣ ከከፍተኛው ገላጭ እስከ ኮንስታንቱ ድረስ በቅደም ተከተል የተቀመጡ መለኪያ የሌላቸው እውነተኛ ቁጥሮች ዝርዝር።
- ኤክስፕሬሽን ወይም እኩልታ ("expressionLabel")፦ ፖሊኖሚያሉ ወይም የኮፊሸንት ዝርዝሩ የሚገባበት የጽሑፍ ሳጥን።
- የሚታዩ የአስርዮሽ ቦታዎች ("precisionLabel")፦ ከ4 እስከ 12 የአስርዮሽ ቦታዎች ድረስ ያለውን ትክክለኛነት ለመቆጣጠር የሚያስችል ግብዓት።
- ፖሊኖሚያል ይሞክሩ ("examplesLabel")፦ ፈጣን ሙከራዎችን ለመጀመር የሚረዱ ቅድመ-ዝግጅት ቁልፎች፦
- አምስት መፍትሔዎች ("example.mixed")
- አራት ኮምፕሌክስ መፍትሔዎች ("example.complex")
- የተደገመ መፍትሔ ("example.repeated")
የውጤት መግለጫዎች እና የቁጥር ፍተሻ
ስሌቱ ሲጠናቀቅ የሚከተሉት የውጤት ክፍሎች ይታያሉ፦
የመፍትሔዎች ስብስብ ("resultsHeading")
ይህ ዋና የውጤት ክፍል የሚከተሉትን ዝርዝሮች ይይዛል፦
- መደበኛ ፎርም ("standardLabel")፦ የተሰበሰቡት የፖሊኖሚያል ውሎች በመደበኛ ፎርም ሲቀመጡ።
- የመፍትሔዎች ብዛት፦ እንደ ሁኔታው "1 መፍትሔ፣ ድግግሞሽን ጨምሮ" ("rootCount.one") ወይም "
‹count›መፍትሔዎች፣ ድግግሞሽን ጨምሮ" ("rootCount.many") ተብሎ ይገለጻል። - የመፍትሔ ዝርዝር ("rootLabel")፦ የእያንዳንዱ መፍትሔ የቁጥር እሴት ከሚከተሉት መረጃዎች ጋር ይቀርባል፦
- ድግግሞሽ
‹count›("multiplicity")፦ መፍትሔው የተደገመ ሲሆን ብቻ የሚታይ። - የተስተካከለ ቀሪ እሴት ("residual")፦ ለመፍትሔው የሚሰላ ከልክ ነጻ የሆነ ቀሪ እሴት።
- ድግግሞሽ
- መፍትሔዎቹን ቅዳ ("copyRoots")፦ የተገኙትን መፍትሔዎች ለመቅዳት የሚያገለግል ቁልፍ።
መፍትሔዎች በኮምፕሌክስ ፕሌን ላይ ("plotLabel")
እውነተኛ እና ኮምፕሌክስ መፍትሔዎችን በጂኦሜትራዊ መልክ የሚያሳይ የካርታ ፕሎት ነው።
የቁጥር ፍተሻ ("diagnosticsLabel")
የስሌቱን ትክክለኛነት ለመገምገም የሚረዱ የሚከተሉት የዲያግኖስቲክስ መረጃዎች ይቀርባሉ፦
- ውጤታማ ዲግሪ ("diag.degree")
- ዘዴ ("diag.method")፦ እንደ ሁኔታው "ቀጥተኛ ሊኒያር መፍትሔ" ("diag.direct") ወይም "የ Ehrlich–Aberth ድግግሞሽ" ("diag.aberth") ያሳያል።
- የማሳያ ትክክለኛነት ("diag.precision")
- ድግግሞሾች ("diag.iterations")
- የተሞከሩ መነሻ ስብስቦች ("diag.attempts")
- ከፍተኛው የተስተካከለ ቀሪ እሴት ("diag.maxResidual")
የአልጎሪዝም ደረጃዎች እና የሂሳብ ህጎች
ማስያው ስሌቱን እንዴት እንዳከናወነ በደረጃ ለማሳየት አልጎሪዝም እና መተካት ("workLabel") በሚለው ክፍል ውስጥ የሚከተሉትን ዝርዝሮች ያቀርባል፦
- ደረጃ 1፦ መደበኛ ፎርም፦ "ውሎቹን ወደ መደበኛ ፎርም ይሰብስቡ፡
‹polynomial›" - ደረጃ 2፦ ማመጣጠን፦ "እያንዳንዱን ኮፊሸንት በዋናው ኮፊሸንት
‹leading›ያካፍሉ።" - ደረጃ 3፦ መለካት፦ "የመጀመሪያዎቹ ግምቶች በተረጋጋ ክልል ውስጥ እንዲቆዩ የመፍትሔ ፍለጋውን በ R =
‹scale›ያባዙት።" - ደረጃ 4፦ መደጋገም፦ "እርማቱ ከ
‹tolerance›በታች እስኪሆን ድረስ ሁሉንም የመፍትሔ ግምቶች በአንድ ላይ ያሻሽሉ፤ ይህ ሂደት‹iterations›ድግግሞሾችን ተጠቅሟል።" - ደረጃ 5፦ ማረጋገጥ፦ "እያንዳንዱን መፍትሔ ወደ ፖሊኖሚያሉ መልሰው ይተኩ፤ ከፍተኛው የተስተካከለ ቀሪ እሴት
‹residual›ነው።"
ለስሌቱ ጥቅም ላይ የሚውለው ቀመር የተመሳሰለ የመፍትሔ ማሻሻያ ("formulaLabel") ሲሆን፣ ለዲግሪ-1 እኩልታዎች ቀጥተኛ ሊኒያር መፍትሔ ጥቅም ላይ ይውላል። ለከፍተኛ ዲግሪዎች፣ ማስያው ከወሰናቸው የኮምፕሌክስ ግምቶች ስብስቦች በመነሳት የ Ehrlich–Aberth ድግግሞሽን ይጠቀማል። በዚህ ሂደት ውስጥ ፖሊኖሚያሉን እና ተዋጽኦውን በብቃት ለማስላት የ Horner ዘዴ ጥቅም ላይ ይውላል። መፍትሔዎች እንደ ተደገመ መፍትሔ የሚመደቡት የቁጥር እሴቶቻቸው በጣም የተቀራረቡ ሲሆኑ ብቻ ነው።
ገደቦች እና የስህተት መልእክቶች
ይህ ማስያ የሚከተሉትን የአጠቃቀም ገደቦች እና የደንብ ድንጋጌዎች ይተገብራል፦
- የሚፈቀደው ክልል፦ ዲግሪ 1–20፣ |ኮፊሸንት| ≤ 1e100፣ ክፍልፋዮች ይፈቀዳሉ፣ እና ከ4–12 የሚታዩ የአስርዮሽ ቦታዎች።
- የቁምፊ ገደብ፦ የግብዓት ጽሑፍ ከ600 ቁምፊዎች በታች መሆን አለበት።
- ልዩ ሁኔታዎች፦
- ግብዓቱ ዜሮ ያልሆነ ኮንስታንት ከሆነ የሚከተለው መልእክት ይታያል፦ "ዜሮ ያልሆነ ኮንስታንት መቼም ከ0 ጋር እኩል አይሆንም፣ ስለዚህ ይህ ፖሊኖሚያል መፍትሔ የለውም።" ("result.noRoots")።
- ግብዓቱ የዜሮ ፖሊኖሚያል ከሆነ የሚከተለው መልእክት ይታያል፦ "እያንዳንዱ የኮምፕሌክስ ቁጥር የዜሮ ፖሊኖሚያል መፍትሔ ነው።" ("result.allNumbers")።
በአጠቃቀም ወቅት የሚከተሉት የስህተት መልእክቶች ሊታዩ ይችላሉ፦
- ግብዓቱ ባዶ ሲሆን፦ "የፖሊኖሚያል ኤክስፕሬሽን ወይም የኮፊሸንት ዝርዝር ያስገቡ።" ("error.empty")።
- የቁምፊ ገደብ ሲያልፍ፦ "ግቤቱን ከ 600 ቁምፊዎች በታች ያድርጉት።" ("error.tooLong")።
- ኤክስፕሬሽኑ የተዘረዘረ ባለአንድ ተለዋዋጭ ካልሆነ፦ "ይህ የተዘረዘረ ባለአንድ ተለዋዋጭ ፖሊኖሚያል አይደለም። x^5 - x = 0 ን ይሞክሩ ወይም ኮፊሸንቶቹን ያስገቡ።" ("error.syntax")።
- ቅንፎች ሲኖሩ፦ "እያንዳንዱ ገላጭ ግልጽ ኮፊሸንት እንዲኖረው መጀመሪያ ቅንፎቹን ይዘርጉ።" ("error.parentheses")።
- ከአንድ በላይ ተለዋዋጭ ሲኖር፦ "አንድ ተለዋዋጭ ብቻ ይጠቀሙ።" ("error.manyVariables")።
- ገላጮች ከገደብ ውጭ ሲሆኑ፦ "ከ 0 እስከ 20 ያሉ ሙሉ ቁጥር ገላጮችን ይጠቀሙ።" ("error.degree")።
- ኮፊሸንቱ ትክክለኛ ቁጥር ካልሆነ፦ "እያንዳንዱ ኮፊሸንት እውነተኛ ቁጥር መሆን አለበት፣ ለምሳሌ −2.5፣ 3/4 ወይም 1e-6።" ("error.invalidNumber")።
- በክፍልፋይ ውስጥ 0 ታህት ሲኖር፦ "ክፍልፋይ በታችኛው ቁጥር (ታህት) ላይ 0 ሊኖረው አይችልም።" ("error.divideByZero")።
- ኮፊሸንት ወይም መካከለኛ መጠን ከገደብ ውጭ ሲሆን፦ "አንድ ኮፊሸንት ወይም መካከለኛ መጠን ከተደገፈው ውሱን ክልል ውጭ ነው። ፖሊኖሚያሉን መልሰው ያስተካክሉ እና እንደገና ይሞክሩ።" ("error.coefficientRange")።
- የአስርዮሽ ቦታዎች ከገደብ ውጭ ሲሆኑ፦ "በ 4 እና 12 የአስርዮሽ ቦታዎች መካከል ይምረጡ።" ("error.precision")።
ተደጋግመው የሚነሱ ጥያቄዎች (FAQ)
ጥያቄ፦ ምን ማስገባት እችላለሁ?
መልስ፦ እውነተኛ፣ መለኪያ የሌላቸው ኮፊሸንቶችን እና አንድ ተለዋዋጭ እስከ ዲግሪ 20 ያሉ ሙሉ ቁጥር ገላጮችን ይጠቀሙ። ኤክስፕሬሽኑ አስቀድሞ የተዘረዘረ መሆን አለበት፣ ነገር ግን አባሎቹ ቅደም ተከተላቸውን ያልጠበቁ ወይም በእኩልነት ምልክት በሁለቱም በኩል ሊታዩ ይችላሉ። የኮፊሸንት ዝርዝሩ ከከፍተኛው ገላጭ እስከ ኮንስታንቱ የሚሄድ ሲሆን ለጎደሉ ገላጮች ዜሮዎችን ማካተት አለበት።
ጥያቄ፦ እነዚህ ትክክለኛ መፍትሔዎች ናቸው?
መልስ፦ አይደሉም። ከሊኒያር እኩልታ በስተቀር፣ የሚታዩት መፍትሔዎች ግምታዊ የቁጥር እሴቶች ናቸው። ከዲግሪ 4 በላይ ለሆኑት በራዲካልስ ውስጥ አጠቃላይ ቀመር የለም፣ እና ዝቅተኛ ዲግሪ ያላቸው ቀመሮች እንኳ አስቸጋሪ ኮፊሸንቶች ሲኖሩ ትክክለኛነት ሊያጡ ይችላሉ። ግምቱን ለመገምገም ቀሪውን እሴት እና የትክክለኛነት ማስጠንቀቂያውን ይጠቀሙ፤ ለዲግሪ-2 እኩልታ ትክክለኛ ክፍልፋዮች ወይም ራዲካልስ ሲፈልጉ የኳድራቲክ እኩልታ ማስያውን ይጠቀሙ።
ጥያቄ፦ የከፍተኛ ዲግሪ መፍትሔዎች እንዴት ይገኛሉ?
መልስ፦ ማስያው ከተወሰኑ የኮምፕሌክስ ግምቶች ስብስቦች ይጀምራል እና ሁሉንም ግምቶች በአንድ ጊዜ በ Ehrlich–Aberth ማሻሻያ ያሻሽላል። የ Horner ዘዴ ፖሊኖሚያሉንና ተዋጽኦውን በብቃት ያሰላል፣ እና እያንዳንዱ የተገኘ መፍትሔ ከልክ ነጻ ለሆነ ቀሪ እሴት ፍተሻ ወደ መጀመሪያው ፖሊኖሚያል ተመልሶ ይተካል።
ጥያቄ፦ የተደገሙ መፍትሔዎች ለምን ይበልጥ ያልተረጋጉ ይሆናሉ?
መልስ፦ በተደገመ መፍትሔ ላይ ፖሊኖሚያሉም ሆነ ተዋጽኦው ዜሮ ናቸው። ይህም የማስተካከያ ደረጃውን ያዳክማል፣ ስለዚህ ጥቃቅን የኮፊሸንት ለውጦች አንድን የተደገመ መፍትሔ ወደ ተለያዩ በአቅራቢያ ያሉ መፍትሔዎች ሊከፍሉት ይችላሉ። ማስያው መፍትሔዎችን የሚያቧድነው የቁጥር እሴቶቻቸው በጣም ሲቀራረቡ ብቻ ነው እና ድግግሞሹን በግልጽ ያሳያል።