{"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-permutation-combination"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-permutation-combination-01","title":{"zh-Hant":"排列與組合：以計數證明 P(n,k)=n!/(n−k)! 與 C(n,k)=n!/(k!(n−k)!)","en":"Permutations and combinations: proving P(n,k)=n!/(n−k)! and C(n,k)=n!/(k!(n−k)!) by counting"},"summary":{"zh-Hant":"設 X 是恰有 n 個相異物件的集合，n、k 為自然數且 0≤k≤n，選取無放回、不重複。證明：從 X 有序選取 k 個的方法數 P(n,k)=n!/(n−k)!，無序選取 k 個的方法數 C(n,k)=n!/(k!(n−k)!)，且 k=0 時兩者都等於 1。最後以 X={a,b,c,d,e}、k=3 算出 P(5,3)=60 與 C(5,3)=10。","en":"Let X be a set of exactly n distinct objects, with natural numbers n, k and 0≤k≤n, and selection without replacement and without repetition. Prove that the number of ordered selections of k objects from X is P(n,k)=n!/(n−k)!, that the number of unordered selections is C(n,k)=n!/(k!(n−k)!), and that both equal 1 when k=0. Finally compute P(5,3)=60 and C(5,3)=10 for X={a,b,c,d,e} and k=3."},"mko_ids":["mko-permutation-combination"]}],"title":"概念推導導讀"}