{"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-orbit-fixed-periodic"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-orbit-fixed-periodic-01","title":{"zh-Hant":"軌道、固定點與週期點：完整分類 T(x)=(2x+1) mod 6 的六個狀態","en":"Orbits, fixed points and periodic points: classifying all six states of T(x)=(2x+1) mod 6"},"summary":{"zh-Hant":"在狀態空間 X={0,1,2,3,4,5} 上取自映射 T(x)=(2x+1) mod 6。求出全部固定點與最小週期 2 的週期點；證明對最小週期 p 的點，T^n(x)=x 當且僅當 p 整除 n，並用它說明 T^4(1)=1 不表示 1 的最小週期是 4；最後證明 0、2、4 不是週期點，雖然它們的軌道一步之後就進入循環。","en":"On the state space X={0,1,2,3,4,5} take the self-map T(x)=(2x+1) mod 6. Find all fixed points and all periodic points of least period 2; prove that for a point of least period p, T^n(x)=x exactly when p divides n, and use this to explain why T^4(1)=1 does not make 4 the least period of 1; finally prove that 0, 2 and 4 are not periodic, although their orbits enter a cycle after one step."},"mko_ids":["mko-orbit-fixed-periodic"]}],"title":"概念推導導讀"}