본문 바로가기

▶ 자연과학/▷ 기하학

【AlphaGeometry】 jgex_ag_231 기하 문제 풀이 [81-100] jgex_ag_231 기하 문제 풀이 [81-100] 추천글 : 【AlphaGeometry】 jgex_ag_231 문제 재구성 및 풀이  81. examples/complete2/001/complete_016_ex-gao_gao_C_C100.gexa c = segment a c; b = on_tline b c c a; e = on_circle e b c; d = on_circle d a c, on_circle d b c; f = on_line f c e, on_circle f a c; g = on_line g e b, on_circle g b e ? coll d f g ○ 번역  선분 AC가 주어져 있습니다. 점 B는 점 C를 지나고 선분CA에 수직인 직선 위에 있습니다. 점 E는 점 B를 중심으로 하고..
【AlphaGeometry】 jgex_ag_231 기하 문제 풀이 [61-80] jgex_ag_231 기하 문제 풀이 [61-80] 추천글 : 【AlphaGeometry】 jgex_ag_231 문제 재구성 및 풀이  61. examples/complete2/009/complete_011_Other_Auxiliary_aux2_trapezoid.gexa b c d = trapezoid a b c d; e = midpoint e d a; f = on_pline f e a b, on_line f b c ? midp f b c ○ 번역  사다리꼴 ABCD가 주어져 있습니다. AB와 CD는 서로 평행합니다. E는 선분 DA의 중점입니다. 점 F는 E를 지나고 AB에 평행한 직선과 선분 BC의 교점입니다. 점 F가 선분 BC의 중점임을 증명하시오. ○ 풀이 : AlphaGeometry를 사용한 ..
【AlphaGeometry】 jgex_ag_231 기하 문제 풀이 [41-60] jgex_ag_231 기하 문제 풀이 [41-60] 추천글 : 【AlphaGeometry】 jgex_ag_231 문제 재구성 및 풀이  41. examples/complete2/000/complete_007_7_Book_LLL_L054-2-1.gexa b = segment a b; c = on_bline c a b; d = on_line d a c; e = eqdistance e b a d, on_line e b c; f = on_line f a b, on_line f d e; g = on_line g b c, on_pline g d a b ? cong d f f e ○ 번역  선분 AB가 주어져 있습니다. 점 C는 선분 AB의 수직이등분선 위에 있습니다. 점 D는 선분 AC 위에 있습니다. 점 E는 E..
【AlphaGeometry】 jgex_ag_231 기하 문제 풀이 [21-40] jgex_ag_231 기하 문제 풀이 [21-40] 추천글 : 【AlphaGeometry】 jgex_ag_231 문제 재구성 및 풀이  21. examples/complete2/013/complete_002_6_GDD_FULL_41-60_52.gexe c d = r_triangle e c d; o = midpoint o d c; a = on_tline a c c d, on_tline a e e o; f = on_line f c a, on_line f d e ? cong a e a f ○ 번역  삼각형 ECD가 주어져 있으며, ∠E가 직각입니다. O는 선분 DC의 중점입니다. A는 C를 지나고 CD와 수직인 직선과 E를 지나고 EO와 수직인 직선의 교점입니다. 점 F는 직선 CA와 DE의 교점입니다. 선분..
【AlphaGeometry】 jgex_ag_231 기하 문제 풀이 [01-20] jgex_ag_231 기하 문제 풀이 [01-20] 추천글 : 【AlphaGeometry】 jgex_ag_231 문제 재구성 및 풀이  1. examples/complete2/012/complete_004_6_GDD_FULL_81-109_101.gexa b c = triangle a b c; o = circle o a b c; h = midpoint h c b; d = on_line d o h, on_line d a b; e = on_tline e c c o, on_tline e a a o ? cyclic a o e d ○ 번역  삼각형 ABC가 주어져 있습니다. O는 삼각형 ABC의 외심입니다. H는 선분 CB의 중점입니다. 점 D는 O와 H를 지나는 선 위에 있으며, 선분 AB 위에도 있습니다. 점 ..
【AlphaGeometry】 jgex_ag_231 문제 재구성 및 풀이 jgex_ag_231 문제 재구성 및 풀이 추천글 : 【머신러닝】 AlphaGeometry 설치 및 이해 1. 문제 재구성 [본문]2. 풀이 [본문]3. 부록 [본문] 1. 문제 재구성 [목차]⑴ jgex_ag_231 문제 셋트⑵ 한 예시로서 complete_014_7_Book_00EE_08_E061-66.gex ○ a b = segment a b; c = s_angle b a c 60; d = foot d a b c; e = foot e b a c; g = circumcenter g b c a; f = on_line f a d, on_line f b e ? cong a f a g⑶ 문법 검토① a b = segment a b : 선분 AB가 주어져 있다② c = s_angle b a c 60 : ∠BA..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2020년 ~ 2024년) IMO 기하 문제 풀이 (2020년 ~ 2024년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합  IMO 2020, Problem 1. Consider the convex quadrilateral ABCD. The point P is in the interior of ABCD. The following ratio equalities hold:  ∠PAD : ∠PBA : ∠DPA = 1 : 2 : 3 = ∠CBP : ∠BAP : ∠BPC.  Prove that the following three lines meet in a point: the internal bisectors of angles ∠ADP and ∠PCB and the perpendicular bisector of segment AB. ..
【국제수학올림피아드】 IMO 기하 문제 풀이 (2015년 ~ 2019년) IMO 기하 문제 풀이 (2015년 ~ 2019년) 추천글 : 【기하학】 IMO 기하 문제 풀이 종합  IMO 2015, Problem 3. Let ABC be an acute triangle with AB > AC. Let Γ be its circumcircle, H its orthocenter, and F the foot of the altitude from A. Let M be the midpoint of BC. Let Q be the point on Γ such that ∠HQA = 90° and let K be the point on Γ such that ∠HKQ = 90°. Assume that the points A, B, C, K and Q are all different and lie o..