{"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-coordinate-plane"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-coordinate-plane-01","title":{"zh-Hant":"座標平面：判定點在哪條軸或哪個象限，並比較有序對","en":"Coordinate plane: deciding axis or quadrant membership and comparing ordered pairs"},"summary":{"zh-Hant":"在固定的平面直角座標系中，給定 A=(−3,2)、B=(2,−3)、B′=(6/3,−3)、C=(0,−4)、O=(0,0)、E=(−1/2,−5)。先證明兩軸只交於原點、每個點要嘛在軸上、要嘛恰在一個象限中；再逐點判定它所在的軸或象限，並判定 A 與 B、B 與 B′ 是否為同一點。","en":"In a fixed Cartesian coordinate system, let A=(−3,2), B=(2,−3), B′=(6/3,−3), C=(0,−4), O=(0,0) and E=(−1/2,−5). First prove that the axes meet only at the origin and that every point either lies on an axis or lies in exactly one quadrant; then decide for each point its axis or quadrant, and decide whether A and B, and B and B′, are the same point."},"mko_ids":["mko-coordinate-plane"]}],"title":"概念推導導讀"}