... E, G, F thẳng hàng Ví dụ 8: Tamgiác ABC có ba đờng cao AD, BE, CF đồng quy H Chứng minh rằng: AH DH = BH EH = CH FH Giải: Ta có tamgiác AFH A E tamgiác CDH hai tamgiác F vuông có AHF = CHD ... BCD = 40O hay C = 40O Ví dụ 3: Tamgiác vuông ABC (A = 90O) có đờng cao AH trung tuyến AM Tính diện tích tamgiác AMH, biết BH = 4cm, CH = 9cm Giải: A Xét hai tamgiác vuông HBA HAC Ta có BAH ... Cho tamgiác ABC vuông A, AC = 4cm; BC = 6cm Kẻ tia Cx vuông góc với BC (tia Cx điểm A khác phía so với đờng thẳng BC) Lấy tia Cx điểm D cho BD = 9cm Chứng minh BD//AC Giải: x B Xét hai tam...
... Trong đó: A, B, C: góc tamgiác a, b, c: cạnh tamgiác p: chu vi tamgiác S: diện tích tamgiác Ý tưởng ứng dụng người dùng nhập vào tập giả thiết gồm giá trị biết số yếu tố tamgiác tập mục tiêu ... toán là: - TamGiac(GT, MT) II Các bước giảitoántamgiác Các bước việc xây dựng ứng dụng giảitoántamgiác bao gồm: Bước 1: Xây dựng tập Fomula gồm công thức liên hệ tính toán yếu tố tamgiác ... a, b, c: cạnh tamgiác • A, B, C: góc đối diện với cạnh tương ứng tamgiác • ha, hb, hc: đường cao tương ứng với cạnh tamgiác • ma, mb, mc: đường trung tuyến tương ứng với cạnh tamgiác • pa,...
... cạnh tamgiác - α, β, γ: góc đối diện với cạnh tương ứng tamgiác - ha, hb, hc: đường cao tương ứng với cạnh tamgiác 11 - R: bán kính đường tròn ngoại tiếp S: diện tích tamgiác p: nửa chu vi tam ... cạnh a tamgiác Như ta có: Input : {b, c, β} Output : {a} 2.2 Cấu trúc liệu Về mặt tính toán, xem tamgiác mạng tính toán (hay đối tượng tính toán) bao gồm biến ghi nhận giá trị yếu tố tam giác, ... dụ 1: (D) Trong tamgiác ABC giả sử biết cạnh a, góc β, góc γ Hãy tính cạnh lại (cạnh b cạnh c) chu vi tamgiác Như ta có: Input : {a, β, γ} Output : {b, c, p} Ví dụ 2: (V) Trong tam giác, giả...
... biểu diễn tương ứng Ví dụ 1: Quan hệ f góc A, B, C tamgiác ABC cho hệ thức: A+B+C = 180 (đơn vị: độ) Hình 1-3 Quan hệ góc tamgiác Quan hệ f góc tamgiác quan hệ đối xứng có hạng Phan Đình Duy ... toán Ví dụ 1: Trong tamgiác ABC giả sử biết cạnh a, góc , góc Hãy tính cạnh lại (cạnh b cạnh c) chu vi tamgiác Như ta có: Input : a, , Output : b, c, p Ví dụ 2: Trong tam giác, giả sử ... cạnh a tamgiác Như ta có: Input : b, c, Output : a 2.2 Cấu trúc liệu Về mặt tính toán, xem tamgiác mạng tính toán (hay đối tượng tính toán) bao gồm biến ghi nhận giá trị yếu tố tam giác,...
... toán hình tamgiác xây dựng sau: CH1102003 - ĐINH ĐỨC KHOA Trang 25 Mạng ngữ nghĩa cho chế suy diễn, giảitoántamgiác Giao diện toán hình tamgiácBàitoán hình thang: Tương tự toántam giác, ... tượng tính chất toán hình học IV.3/ Bàitoán hình tam giác: (1) Xác định thông tin Xét tamgiác ABC với thông tin biểu diễn sau: Ví dụ hình tamgiác • Đối tượng: ¼ ¼ ¼ o góc α = BAC , β = ABC ... CH1102003 - ĐINH ĐỨC KHOA Trang 20 Mạng ngữ nghĩa cho chế suy diễn, giảitoántamgiác Hình 3-2 Mạng ngữ nghĩa cho toán hình tamgiác Trong mạng ngữ nghĩa trên, ô tròn biểu thị cho đối tượng toán ô...
... GIẢIBÀITOÁNTAMGIÁC SỬ DỤNG MẠNG NGỮ NGHĨA 14 Giảitoántamgiác Mạng ngữ nghĩa 1.Sơ lược toántamgiác mạng ngữ nghĩa Có 22 yếu tố liên quan đến cạnh góc tamgiác Để xác định tamgiác ta phải ... thức tamgiác khác (đỉnh hình chữ nhật) Dòng: ứng với yếu tố tamgiác Mỗi dòng ứng với yếu tố tamgiác khác (đỉnh hình tròn) Phần tử A[i, j] = -1 nghĩa công thức ứng với cột j có yếu tố tamgiác ... nghĩa để giảitoántamgiác hình sau: (Ví dụ sử dụng source code demo chương trình kèm theo) 15 Giảitoántamgiác Mạng ngữ nghĩa Ví dụ : "Cho hai góc α, β chiều dài cạnh a tamgiác Tính chiều...
... thức tamgiác cần thiết cho việc giảitoántamgiác biểu diễn gồm: Một tập hợp biến thực, biến đại diện cho yếu tố tam giác: o a,b,c: cạnh tamgiác o A,B,C: góc đối diện với cạnh tương ứng tam ... diện tích tamgiác o p: nửa chu vi tamgiác o R: bán kính đường tròn ngoại tiếp tamgiác o r: bán kính đường tròn ngoại tiếp nội giác o v.v Một tập hợp công thức liên hệ tính toán yếu tố tam giác: ... yếu tố tam giác, chẳng hạn : cạnh a, b, c; góc tương ứng với cạnh : A, B, C; đường cao tương ứng : ha, hb, hc; diện tích S tam giác; nửa chu vi p tam giác; bán kính đường tròn nội tiếp r tam giác...
... hệ luật dẫn cho toántamgiác đặc biệt a Vấn đề trường hợp tamgiác đặc biệt Trong toántam giác, ta thường gặp trường hợp tamgiác đặc biệt tamgiác cân, tamgiác vuông, tamgiác v.v… Những trường ... TAMGIÁC VÀ HÌNH THANG Bàitoántamgiác 1.1 Mạng ngữ nghĩa cho toántamgiác thông thường Bàitoántamgiác phát biểu tổng quát sau : “cho trước số yếu tố biết yêu cầu tìm yếu tố chưa biết tam ... thấy ví dụ thứ tamgiác cân B ví dụ thứ hai tamgiác Đề toán thực tế thường cho dạng : Cho a = 5, A = 45 tamgiác ABC cân B (thay cho tường góc C 45) Tìm S Cho cạnh b = tamgiác ABC tamgiác (thay...
... quan đến cạnh góc tamgiác Để xác định tamgiác hay để xây dựng tamgiác ta cần có yếu tố phải có yếu tố cạnh Như có khoảng C322 -1 (khoảng vài ngàn) cách để xây dựng hay xác định tamgiác Theo thống ... nghĩa giảitoántamgiác mảng hai chiều A : Cột : ứng với công thức Mỗi cột ứng với công thức tamgiác khác (đỉnh hình chữ nhật) Dòng : ứng với yếu tố tamgiác Mỗi dòng ứng với yếu tố tamgiác khác ... trọng định nghĩa Ontology d Ứng dụng mạng ngữ nghĩa cho việc giảitoántamgiácBàiToán :“Cho hai góc α,β chiều dài cạnh a tamgiác Tính chiều dài đường cao hC" Với tập này, việc bạn cần làm lấy...
... làm với công thức tamgiác thông dụng Bài toán: - Giả thiết: Một số thông số (đối tượng, kiện) tamgiác cho trước - Mục tiêu: Xác định thông số (đối tượng) tamgiác Ví dụ: Xét tamgiác ABC có góc ... kiện A khỏi X Bàitoántamgiác 3.1 Phát biểu toán giới hạn phạm vi Bài thu hoạch trình bày cách giảitoántamgiác dùng hệ luật dẫn gồm suy diễn tiến suy diễn lùi Bàitoántamgiác giới thiệu cách ... tích tamgiác S Chương trình trình bày lời giảitoán Mẫu 3: thiếu giả thiết cho toán KẾT LUẬN 3.6 Tóm tắt kết đạt Ứng dụng thành công việc biểu diễn tri thức tam giác, luật dẫn để tính tham số tam...
... quan đến tamgiác : L1 : Tamgiác có hai cạnh tamgiác cân L2 : Tamgiác có góc tamgiác cân L3 : Tamgiác có đường cao trung tuyến tương ứng tamgiác cân L4 : giác cân Tamgiác có đường cao đường ... tương ứng tam L5 : giác cân Tamgiác có trung tuyến đường phân giác tương ứng tam L6 : Tamgiác có góc vuông tamgiác vuông L7 : Tamgiác có bình phương cạnh tổng bình phương hai cạnh tamgiác ... vuông cân Tamgiác có góc vuông hai cạnh kề góc vuông tamgiác L9 : Tamgiác vuông có hai cạnh kề góc vuông tamgiác vuông cân L10 : Tamgiác cân góc đỉnh góc vuông tamgiác vuông cân L11 : Tam giác...
... tốn) mơ hình biểu diễn tương ứng Ví dụ 1: Quan hệ f góc A, B, C tamgiác ABC cho hệ thức: A+B+C = 180 (đơn vị: độ) Quan hệ f góc tamgiác quan hệ đối xứng có hạng Ví dụ 2: quan hệ f giữ a nửa ... thức (ký hiệu hình chữ nhật) Đỉnh chứa yếu tố tamgiác (ký hiệu hình vng) Cung : nối từ đỉnh hình vng đến đỉnh hình chữ nhật cho biết yếu tố tamgiác xuất cơng thức (khơng có trường hợp cung ... gần gũi cách nhìn nghĩ người giải vấn đề tính tốn liên quan đến số khái niệm đối tượng, chẳng hạn tam giác, tứ giác, hình bình hành, hình chữ nhật, v.v Mạng tính tốn 2.1 Các quan hệ Cho M = x1,x2,...
... Văn Nhơn CHƯƠNG II GIẢIBÀITOÁNTAMGIÁC SỬ DỤNG MẠNG NGỮ NGHĨA Sơ lược toántamgiác mạng ngữ nghĩa Có 22 yếu tố liên quan đến cạnh góc tamgiác Để xác định tamgiác ta phải có yếu tố Trong ... định tamgiác Theo thống kê có khoảng 200 công thức liên quan đến cạnh góc tamgiác Để giảitoán mạng ngữ nghĩa, ta phải sử dụng khoảng 200 đỉnh để chứa công thức khoảng 22 đỉnh để chứa yếu tố tam ... nghĩa để giảitoántamgiác hình sau: (Ví dụ sử dụng source code demo chương trình kèm theo) Hình Mạng ngữ nghĩa cho toántamgiác Ví dụ : "Cho hai góc α , β chiều dài cạnh a tamgiác Tính chiều...
... tìm lời giải xuất lời giải tập rỗng Hàm KTLoiGiai: Hàm thực việc kiểm tra xem sử dụng danh sách LoiGiai tập GT cho KL khơng Bằng cách sử dụng luật LoiGiai áp dụng tập Known Sau hồn thành xong việc ... lời giải tốn G Bi, G tập thật tùy ý Bi-1 2.5 Ví dụ minh họa: Cho tamgiác ABC có cạnh a góc α, β cho trước Tính diện tích S tamgiác Để giải tốn ta áp dụng mạng tính tốn gồm có: Tập biến M = ... lời giải o Hàm trả lời giải thu gọn Hàm TinhToan: hàm quan trọng chương trình Từ GTBD KL hàm trình bày lời giải tựa người làm Bên cạnh việc dùng LoiGiai hàm hàm thực việc tính tốn kết số o Hàm...
... MÔ HÌNH HỆ LUẬT DẪN GIẢIBÀITOÁNTAMGIÁC 4.1 BÀITOÁNTAMGIÁC 4.1.1 Các đối tượng, kiện tamgiác Hình 4.1: Các thông tin đối tượng tamgiác Ta có đối tượng tamgiác cần xét: • A: Số đo góc ... cần giải • Giả thiết: Một số thông số (đối tượng, kiện) tamgiác cho trước • Mục tiêu: Xác định thông số (đối tượng) tamgiác Ví dụ: Xét tamgiác ABC có góc A = 300, góc B = 600, cạnh c có độ ... có cấu trúc: Fact.txt Rule.txt Trong cấu trúc tập tin sau: • Fact.txt Begin a: cạnh a tamgiác b: cạnh b tamgiác … End • Rule.txt Begin {A, B} => {C = 180 - A - B} … End 3.4 CƠ CHẾ SUY LUẬN...
... chất toán hình học 4.1 Giới thiệu toán hình tamgiác 4.1.1 Xác định thông tin Xét tamgiác ABC với thông tin biểu diễn sau: Hình 4.1 : Ví dụ hình tamgiác Đối tượng: o góc α = , β = , δ = o ... Nguyễn Võ Thông Thái – CH1301053 Trang 16 Biểu diễn tri thức ứng dụng Ví dụ: Đối tượng (C-Object) TAM_ GIAC biểu diễn theo mô hình gồm có: Attrs = { GocA, GocB, GocC, a, b, c, ha, hb, hc, ma, mb, ... CHƯƠNG 4: MINH HỌA CHƯƠNG TRÌNH ỨNG DỤNG MẠNG NGỮ NGHĨA GIẢIBÀITOÁNTAMGIÁC Các toán hình học phẳng gồm dạngtoángiảitoán hình tam giác, hình vuông, hình thoi, HVTH: Nguyễn Võ Thông Thái – CH1301053...
... ["SongSong", "DuongThang", "MatPhang"] # Vị trí tương đối Điểm TamGiác ["NamTrong", "Diem", "TamGiac"], ["NamNgoai", "Diem", "TamGiac"] ]; 2.2.6 Nội dung tập tin Rules.mpl Rules := [ # Luật xác ... [“SongSong”,DuongThang,DuongThang]{“đối xứng”} Quan hệ “Nằm ngoài” điểm tamgiác o [“NamTrong”,Diem,TamGiac] 2.1.3 Tập hợp Hierarchy Tập hợp Hierachy gồm quan hệ phân cấp sau: ["HinhBinhHanh", "TuGiacLoi"] 2.1.4 Tập hợp hàm Tập hợp ... object>() Ví dụ: Tamgiac(ABC), DuongThang(d), MatPhang(P) [2] Sự kiện tính xác định đối tượng hay thuộc tính Cấu trúc kiện: hay . Ví dụ: Tamgiac(A, B, C), MatPhang(A,...
... dạng CHỦ ĐIỂM 5: TRƯỜNG HỢP ĐỒNGDẠNG CỦA TAMGIÁC VUÔNG Bài 1: Cho hai tamgiác vuông: tamgiác thứ có góc 42o , tamgiác thứ hai có góc 48o Hỏi hai tamgiác vuông có đồngdạng không ? Vì ? ... hai tamgiácđồngdạng suy cặp góc Bài 3: Trên hình bên cặp tamgiác vuông đồng dạng.Viết tamgiác theo thứ tự đỉnh tương ứng giải thích chúng đồngdạng A N B H M C Bài 4: Hãy chứng minh hai tam ... HB Bài 6: Tỉ số cạnh tương ứng hai tamgiácđồngdạng Diện tích tamgiác thứ 27cm2 Tính diện tích tamgiác thứ hai Bài 7: Chứng minh tỉ số hai đường cao hai tamgiácđồngdạng tỉ số đồng dạng...
... lt bng gúc ca tam giỏc thỡ hai tam giỏc ú ng dng d) Cỏc trng hp ng dng ca tam giỏc vuụng + Tam giỏc vuụng ny cú mt gúc nhn bng gúc nhn ca tam giỏc vuụng thỡ hai tam giỏc ú ng dng + Tam giỏc vuụng ... ca tam giỏc thỡ tam giỏc ú ng dng b) Trng hp th 2(cgc): Nu cnh ca tam giỏc ny t l vi cnh ca tam giỏc v gúc to bi to cỏc cp cnh ú bng thỡ hai tam ú giỏc ng dng c) Trng hp th 3(gg): Nu gúc ca tam ... vi hai cnh gúc vuụng ca tam giỏc vuụng thỡ hai tam giỏc ú ng dng + Nu cnh huyn v mt cnh ca tam giỏc vuụng ny t l vi cnh huyn v cnh gúc vuụng ca tam giỏc vuụng thỡ hai tam giỏc ú ng dng PHN III...
... dạng C A B A B Tiết 42 : Khái niệm hai tamgiácđồngdạng 1. Tam giácưđồngưdạng ?1 Cho hai tamgiác ABC ABC nh a.ưĐịnhưnghĩaư: Tamgiác ABC gọi đồngdạng với tamgiác ABC nếu: hình vẽ: A A' ... Khái niệm hai tamgiácđồngdạng 1. Tam giácưđồngưdạng a.ưĐịnhưnghĩaư: Tamgiác ABC gọi đồngdạng với tamgiác ABC nếu: A' = A; B ' = B; C ' = C A Câuư1: Cho hình vẽ Hai tamgiác có đồng ... = = MN NP MP MNP theo tỉ số Tiết 42 : Khái niệm hai tamgiácđồngdạng 1. Tam giácưđồngưdạng a.ưĐịnhưnghĩaư: Tamgiác ABC gọi đồngdạng với tamgiác ABC nếu: A' = A; B ' = B; C ' = C A B...