!"# $%&'( )*+,-).+ / 01-).+ / Nguyn Th Thu Trang 234 / CH1101147 %56 / CH06 789:)+9;<9=+,('+>?@('A'((BC+DCE19C6<FGHGFCIJ "%" Biu din tri thc v ng dng I. ! "#$%&''()!*+, -**#./!"0"1"/2.!3, 456789:;<=(9>(* ,?+"# @#/A>B"1BCDECFECGE CHE,(I"#J9K#"1(L3 ,M$1 :;"67CNECOECPECQE,-: +:''IR&*'."/ !,*+5S(STU1 / !+!3S'/K1"V9I# R&*'."/S+()!, W"#X$ !S+/!S ',M*#'()!IS', Y !Z"I1[\]9==?(=(< 49^_=(J4^\?`9"!"1*+X+,M *#"1(L3" !a&''X !ZI,?+"#"I1#"1(L3 #."//!,-:93" ''"$(* ZI,M*"0"1(L3 ''$()!39KR."/ !b12L9c."/R!3 Rde!3R/%"2*/ Y>9c,4!3+"1Sf(L339> I"(I4gghM9=,459 (L3 (+&>R$S"$" 9KRS+9KRKZ+(, [GE Nguyn Th Thu Trang – CH1101147 II. !"#$%&'()#*+,-. ii,D, K+9+,9LCM4)<NO+,<:+9<P=+/ $"I1[C-object`9$"I1^#.5 6j (1) M$($k[^`l{2 D 2 F ,,,2 }"#b$ 9.*7$/2"7."7:$ #&&(S9>(* * !, (2) 49+&"'(S(* +$Z "I1*+(Sj Q m"7"#Z$>1$k⊂k[^`!9"I 1^#Rn'>$9B.#"1(* 8k"I1^, Q m"7R"1Z(* #k→? Bk⊂k[^`?⊂k[^`,-#$"I1#R nR9Kof#(*"1$?8 $k, Q S Q S1ca(R' Q m=2p2"7Z"I1*Z$(S ii,F, R9S+919P?T<M4)<NO+,<:+9<P=+ M$"I14J^_=#"1)$$ [<<G3;U;UC1<;DEF` "#j Q <<G39>1$Z"I1 Q U9>1&(* Q UC1<39>1.*(SI#Z"I1 CHE Q DEF39>19>(* +(S9+&"' $@9+&"'R"I1 ii,G, R9S+9<G)<9V11=1M4)<NO+,<:+9<P=+ M$ ! "I 1 [Knowledge Base of Computational Objects – COKB`9$I6OXjCqE W;;;63;UD+13;DEF3X "#j Q 9$>1/4J^_= Q 9$>1&.:9"I1 Q 9>1/9&+4J^_= Q 639$>1L Q UD+139$>1 Q DEF39>19>"19B ii,G,D, T<<Y69O61=1I9=)+)Z?-[1=1QH\F1<7 Mb9$9B4J^_=#.5"1.=(S '9>Z.5"I1j [1] 4'S, [2] 4"I1R#.5bV#.56$(I $$S[3WirM#$ 7Se`,4"I19X*9/ "I1., [3] 4"I14J^_=.D,s"I1X*#$$ 9t=9u#"1'9>8$(/"I 1R,Y3jW^k-Ck?Ev^4Ck?4E"#k?4 9"I1R9WirM, [4] 4"I14J^_=.F,s"I1X*#$ 9=9$$9"I1.D"I1 #"1'9>+$(/"I1R, Y3jkMwvik4Ck?4Exwvik4Ck?4WE"#k? 4W9"I1R9WirM, Nguyn Th Thu Trang – CH1101147 4.5+Zb9B"I16j Q \"I1,\X*#99'9>+$( /"I1R, Q W($b$#S"I1 R*"I1.., Q y+.5'9>,yX*(S/(S 9+:"I1"I1/[!9"I1$ ("I1/`, Q >1"/$+$, Q >1.$9+&"'$Z"I1, Mb.X*$(SZ"I1, Q >1&(* J,Mb&$& 9>(* p#$*$(I$ X*8$(I$Z"I1, Q >19>(* +9(S9+&"' $Z"I1*R"I1,Mb9>(* #j {(SR'}⇒{(S'9>} 4UB.5+"I1%"17R R&*'(* +$Z"I 1R"I1*"I19+&"1'9>+/Z "I1['"I1"1'9>+$("I1/ "#`, ii,G,F, T<<Y69O61=1]DC+9Z69^+1_6,)`C1=1EPa)M4)<NO+,7 +>14#$&.="###$(I 9(S"V#Ze$ @9$$@9$!,4##fd 9$"6d((=2=&.+9$&!S+4, ii,G,G, T<<Y69O61=1I9=)+)Z?-[1=1EPa)]DC+9Z<G.+1=1QH\F1<7 COE Mb&"12"7)t+&u9"I1Z &&##$(I..("*j .R2."I2!.R2!.zX,Y3j yU+F"e#.R2"I2!z X, ii,G,H, T<<Y69O6631=1<P=+<b7 4L$(Ip+'S@+ "I1ep(I+"I1" #S"IB'S, ii,G,N, T<<Y69O6UD+13,8?1=19c?<G.+1=1M4)<NO+,<:+9<P=+7 >1{(4^\?!/* &z+'S@+94J_=,4e RG/#p9.*"I2!Z$"&$ " p9.*"I2!Z$"&$"Ke*Ve o8$""'$Ve|"(I*'#p "7!p>p'"a(.+> ,} Ví dj !/RG/R(L9"I 1~•9"#$(IS92*€["$"` 9"I1~9=•9Ve#$+~&• a&ZVe#"e!j•2g•*g•€gl‚,\"# ~R8$""'Ve•# ) X("*j (=[`j=9| (=[kƒ`l([(([„2lk,2*lk,*€lk,€…9([ƒ,&`†(&[ (&[=<<[9([ƒ,&`2``g(&[=<<[9([ƒ,&`*``g(&[=<<[9([ƒ,&`€``` ‡7;+S+"0"1"7;B6j k([`j7*"IZ, ˆ&[`jn>Z, ˆ&[`jZ, Nguyn Th Thu Trang – CH1101147 ˆ([=2`j*'!=2"#'&R, s([=&`j'Z"e!=&, 4=<<[=2`j(IZ'!=2 ii,G,O, T<<Y69O6DEF3,8?1=1EDY<MNO169^+E567 49>!a&+ 9(S,Mb9>$&z(*9>"""'(S B8(S"#/V.5#6FX9jX R'Z9>X'9>Z9>,ƒXR'X'9>"/9 >1(S+"I1."7,->*$9>#"1 Bj j{( D ( F ,,,( }⇒{( D ( F ,,,( } ‡9>T+#9S()!"#R (>R"R&*'X"7;(S 9>,WB"*9"7;O9(S "12=2p, =1EPa)3dI)Z+ [1] ˆS/9Z"I1, [2] ˆS/2"7Z$"I1*Z$$, [3] ˆS/2"7Z$$*$"I1& $!f, [4] ˆS/(Sf:$"I1*$$B$"I 1*$$, [5] ˆS/(S3$Z$"I1*$$=: "I1*$&$!, [6] ˆS/$&+"I1*+$Z "I1, [7] ˆS/2"7Z$, [8] ˆS/2"7Z$&$!f, [9] ˆS/(Sf:$"I1B$, CQE [10] ˆS/(SfZ$B$, ˆS/(S3$Z$=*"I1 &$!, III. /0%12"34)5678 [=(dD‚‰?$3"` iii,D, =1MK+9+,9LC/ Vectơ 9$"e#B;9F"5Z" e"0Š‹"9""X"9"I, Y=#""X"IU9vectơ không ‡2"7$=X'$"/(j Q ‡"X"IZ=, Q ‡$B, d="19cùng phương'Z5((V U, -'=U5#UBV1 B, Độ di của một vectơ9R:""X"IZ= "#, d="19bằng nhau '5UBU"$, -'=f' YBb"k9=‰,Y=‰"19 &*Bf=UUBB=, iii,F, e+,1fC9C)-F1<g 4=,s.*$"k"#62"7"?4( ,\"#="19aZ=,\cj,ƒp9.* aZ="19p$=, Tính chất của phép cộng vector Q j Q '1j [...]... hiệu là : ⊥ Tích vô hướng của hai vector và là mô t số ký hiệu là được xác định bởi Bình phương vô hướng của mô t vector bằng bình phương độ dài vector đó Tính chất của tích vô hướng : với 3 vector , , tùy ý và mọi số thực k, ta có IV Áp dụng mô hình COKB vào bài toán hình học vector 10 IV.1 Các thành phần của bài toán trong mô hình COKB Tập hợp C : các khái niệm... vector, ký hiệu là , được xác định như sau : 1) Nếu k ≥ 0 thì vector k cùng hướng với vector Nếu k . </hypothesis_part> <goal_part> VECTO[ A, B] + VECTO[ B, C] = VECTO[ A, C]; VECTO[ A, C] + VECTO[ C, B] = VECTO[ A, B]; VECTO[ B, C] + VECTO[ C, A] = VECTO[ B, A]; </goal_part> </rule> … . </symbol> <return>VECTOR</return> <agruments>[VECTOR,VECTOR]</agrume nts> </opt> <opt> <symbol> * </symbol> <return>real</return> <agruments>[real,VECTOR]</agrument s> </opt> … </operators> 4.5>~D40.C;D• <rules> <rule> <name>Quy. )ZD1fC9C)-F1<PG Vector đốij="IZ=9=1BB=# U"$B=,‡V="IZ=9, Hiệu của hai vector9aZ=="IZ=!9j ƒp9.*Z=9phép