{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-factorization"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-factorization-01","title":{"zh-Hant":"有理係數多項式因式分解：以係數比對驗證提公因子、二項式乘積與平方差","en":"Polynomial factorization over the rationals: verifying common factors, binomial products and differences of squares by comparing coefficients"},"summary":{"zh-Hant":"在 ℚ[x] 中：(一) 把 p(x)=3x²+3x−18 分解為 3(x+3)(x−2)；(二) 把 q(x)=2x²−50 分解為 2(x−5)(x+5)；每個分解都以展開並比對每個係數驗證。(三) 證明 x²+25≠(x−5)(x+5)，且 x²+25 不能寫成兩個一次因式的乘積。(四) 說明 x³ 與 x 在 x=−1,0,1 取值相同卻不是同一個多項式。","en":"In ℚ[x]: (1) factor p(x)=3x²+3x−18 as 3(x+3)(x−2); (2) factor q(x)=2x²−50 as 2(x−5)(x+5); verify each factorization by expanding and comparing every coefficient. (3) Prove that x²+25≠(x−5)(x+5) and that x²+25 is not a product of two degree-one factors. (4) Explain why x³ and x take equal values at x=−1, 0, 1 and still are different polynomials."},"mko_ids":["mko-factorization"]}],"title":"概念推導導讀"}