{"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-linear-function"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-linear-function-01","title":{"zh-Hant":"仿射函數與一次函數：由兩點求 m、b，判定次數、零點與是否為線性映射","en":"Affine and degree-one functions: finding m and b from two points, and deciding degree, zero and linearity"},"summary":{"zh-Hant":"仿射函數 f:ℝ→ℝ，f(x)=mx+b 的圖形通過 (1,4) 與 (3,0)。求 m、b；判定 f 是否為次數一的函數、求它的零點，並判定 f 是否為線性代數意義下的 ℝ 線性映射。再證明兩個仿射函數在 ℝ 上相等當且僅當斜率與截距都相同，據此說明 f(2)=k(2)（k(x)=x）不能推出 f=k；最後處理 m=0 的兩個退化例子 g(x)=5 與 h(x)=0。","en":"The graph of the affine function f:ℝ→ℝ, f(x)=mx+b, passes through (1,4) and (3,0). Find m and b; decide whether f has degree one, find its zero, and decide whether f is an ℝ-linear map in the sense of linear algebra. Then prove that two affine functions are equal on ℝ exactly when their slopes and intercepts agree, and use it to explain why f(2)=k(2) (with k(x)=x) does not give f=k; finally treat the two degenerate examples with m=0, g(x)=5 and h(x)=0."},"mko_ids":["mko-linear-function"]}],"title":"概念推導導讀"}