You are on page 1of 150

K

H
O
A

C
N
T
T

H

K
H
T
N





TRNG I HC KHOA HC T NHIN TP HCM
KHOA CNG NGH THNG TIN
B MN CNG NGH PHN MM
***



LUN VN TT NGHIP

TI

PHN MM H TR GII TON
BT NG THC




GVHD : thy Nguyn Tin Huy
SVTH : L Thu Thu 9912700
Nguyn Bch Thu Tin 9912706







Tp H Ch Minh
7-2003




K
H
O
A

C
N
T
T

H

K
H
T
N





LI CM N

hon thnh lun vn ny, chng em c s tr gip rt nhiu ca thy c,
bn b v gia nh.
Chng em xin cm n cc thy c tn tnh ging dy chng em trong sut 4
nm i hc.
Chng em xin gi li cm n thy Nguyn Tin Huy, ngi tn tnh hng
dn cho chng em trong qu trnh tm hiu v thc hin ti Xy dng phn
mm h tr gii ton bt ng thc .
Mt ln na, chng em xin gi li cm n n tt c nhng ngi to iu
kin tt nht chng em c th hon thnh ti.
TP. H Ch Minh,




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

3
MC LC
PHN I : M U......................................................................................................................................10
I GII THIU............................................................................................................................................10
II MC TIU CA LUN VN ...............................................................................................................11
PHN II : HIN TRNG V YU CU...................................................................................................12
I KHO ST HIN TRNG....................................................................................................................12
1 Hin trng t chc .............................................................................................................................12
2 Hin trng tin hc ..............................................................................................................................14
2.1 Phn mm MathBook.................................................................................................................................... 14
2.2 Phn mm Matlab.......................................................................................................................................... 14
2.3 Phn mm Mathematica ................................................................................................................................ 14
II XC NH YU CU ...........................................................................................................................15
1 Bng trch nhim cho cc yu cu.....................................................................................................17
2 Danh sch cc biu mu ....................................................................................................................19
3 Phm vi ca ti..............................................................................................................................21
III PHNG N THC HIN PHN MM.............................................................................................24
PHN III : M HNH HA..........................................................................................................................25
I S S DNG...................................................................................................................................26
1 S s dng tng th.......................................................................................................................26
2 S s dng cho tng yu cu c th..............................................................................................27
2.1 S s dng cho yu cu gii bi tp ......................................................................................................... 28
2.2 S s dng cho yu cu xem li bi gii .................................................................................................. 29
2.3 S s dng cho yu cu xem p n......................................................................................................... 29
2.4 S s dng cho yu cu xem tm tt l thuyt ......................................................................................... 30
2.5 S s dng cho yu cu chm im bi gii............................................................................................. 30
2.6 S s dng cho yu cu son tm tt l thuyt......................................................................................... 31
2.7 S s dng cho yu cu son bi tp ................................................................................................... 31
2.8 S s dng cho yu cu pht sinh bi tp ............................................................................................ 32
2.9 S s dng cho yu cu son p n ........................................................................................................ 32
2.10 S s dng cho yu cu son quy nh chm im............................................................................. 33
II S LP.............................................................................................................................................33
1 Danh sch cc lp i tng .............................................................................................................33
2 S lp i tng............................................................................................................................35
3 Cu trc ca biu thc.......................................................................................................................36
4 Cu trc ca bc gii.......................................................................................................................37
III M T CHI TIT CC LP I TNG CHNH................................................................................................38
PHN IV : THIT K PHN MM............................................................................................................41
I THIT K TNG TH...........................................................................................................................41
1 Thnh phn x l................................................................................................................................41
2 T chc d liu...................................................................................................................................47
II THIT K CHI TIT..............................................................................................................................51
1 Din gii chi tit theo tng mn hnh.................................................................................................51
1.1 MH_HeHocSinh............................................................................................................................................ 51
1.2 MH_GiaiBT .................................................................................................................................................. 55
1.3 MH_XemBaiGiai .......................................................................................................................................... 60
1.4 MH_XemDapAn........................................................................................................................................... 62




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

4
1.5 MH_XemLyThuyet ....................................................................................................................................... 63
1.6 MH_HeGiaoVien .......................................................................................................................................... 65
1.7 MH_SoanLyThuyet....................................................................................................................................... 68
1.8 MH_SoanBaiTap........................................................................................................................................... 70
1.9 MH_SoanDapAn........................................................................................................................................... 72
1.10 MH_SoanQDCD ..................................................................................................................................... 75
1.11 MH_ThemSachBT................................................................................................................................... 77
2 H thng hm ca cc lp i tng .................................................................................................78
2.1 Cc lp dng chung....................................................................................................................................... 78
2.2 Phn h hc sinh............................................................................................................................................ 87
2.3 Phn h gio vin .......................................................................................................................................... 94
3 S hot ng chi tit v thut gii mt s x l ...........................................................................106
3.1 Kim tra bc gii ng.............................................................................................................................. 107
3.2 X l bin c nhn Enter khi gii bi tp .................................................................................................... 116
3.3 Kim tra bc gii mi ca bi gii ............................................................................................................ 117
3.4 X l bin c chn chc nng gii bi tp .................................................................................................. 118
3.5 X l bin c i ch gii....................................................................................................................... 119
3.6 Lu bi gii ................................................................................................................................................. 120
3.7 Lu l thuyt ............................................................................................................................................... 121
3.8 Lu bi tp .................................................................................................................................................. 122
3.9 Lu p n................................................................................................................................................... 123
3.10 Chm im ............................................................................................................................................ 124
PHN V : THC HIN V KIM TRA.................................................................................................126
I TM TT KT QU THC HIN.....................................................................................................126
II D LIU TH NGHIM V KIM TRA...........................................................................................127
PHN VI : TNG KT...............................................................................................................................132
PHN VII : PH LC...................................................................................................................................134
I PH LC 1: BNG M T CC K HIU BIU DIN C PHP...................................................134
II PH LC 2: BNG PHN LOI BC GII ...................................................................................134
III PH LC 3: BNG T KHA CHO BC GII ............................................................................137
IV PH LC 4: BNG DANH SCH IU KIN CC BT NG THC HIN NHIN NG
138
V PH LC 5: S BIU DIN CC C PHP ..............................................................................139
1 Cc s biu in c php bc gii ............................................................................................139
2 Cc s biu din c php biu thc, bt ng thc ....................................................................147





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

5
DANH MC HNH
HNH 1: S GIAO TIP GIA HAI PHN H ..................................................................................24
HNH 2: S S DNG PHN MM MC TNG TH....................................................................26
HNH 3: S S DNG YU CU GII BI TP..............................................................................28
HNH 4: S S DNG YU CU XEM BI GII.............................................................................29
HNH 5: S S DNG YU CU XEM P N...............................................................................29
HNH 6: S S DNG YU CU XEM L THUYT.......................................................................30
HNH 7: S S DNG YU CU CHM IM................................................................................30
HNH 8: S S DNG YU CU SON L THUYT.....................................................................31
HNH 9: S S DNG YU CU SON BI TP............................................................................31
HNH 10: S S DNG YU CU PHT SINH B I TP ...........................................................32
HNH 11: S S DNG YU CU SON P N........................................................................32
HNH 12: S S DNG YU CU SON QUY NH CHM IM..........................................33
HNH 13: S LP.................................................................................................................................35
HNH 14: S BIU DIN CU TRC BIU THC.......................................................................36
HNH 15: S BIU DIN CU TRC BC GII........................................................................37
HNH 16: M HNH BA LP CA PHN MM...................................................................................42
HNH 17: S PHI HP TNG TH PHN H HC SINH........................................................45
HNH 18: S PHI HP TNG TH PHN H GIO VIN......................................................46
HNH 19: S LOGIC............................................................................................................................47
HNH 20: MN HNH CHNH H HC SINH.......................................................................................53
HNH 21: MN HNH GII BI TP ......................................................................................................57
HNH 22: MN HNH XEM BI GII.....................................................................................................61
HNH 23: MN HNH XEM P N.......................................................................................................62
HNH 24: MN HNH XEM L THUYT...............................................................................................64
HNH 25: MN HNH CHNH H GIO VIN......................................................................................67
HNH 26: MN HNH SON L THUYT.............................................................................................69
HNH 27: MN HNH SON BI TP ....................................................................................................71
HNH 28: MN HNH SON P N .....................................................................................................73
HNH 29: MN HNH SON QUY NH CHM IM.......................................................................76
HNH 30: MN HNH THM SCH BI TP.......................................................................................77
HNH 31: S BIU DIN THUT TON KIM TRA BC GII LOI 1.............................107




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

6
HNH 32: S BIU DIN THUT TON KIM TRA BC GII LOI 4.............................109
HNH 33: S BIU DIN THUT TON KIM TRA BC GII LOI 5.............................110
HNH 34: S BIU DIN THUT TON KIM TRA BC GII LOI 6.............................111
HNH 35: S BIU DIN THUT TON KIM TRA BC GII LOI 7.............................112
HNH 36: S BIU DIN THUT TON KIM TRA BC GII LOI 8.............................113
HNH 37: S BIU DIN THUT TON KIM TRA BC GII LOI 9............................114
HNH 38: S BIU DIN THUT TON KIM TRA BC GII LOI 12...........................115
HNH 39: S BIU DIN THUT TON X L BINC NHN ENTER KHI GII BI TP
....................................................................................................................................................116
HNH 40: S BIU DIN THUT TON X L BIN C CHN CHC NNG GII BI
TP ............................................................................................................................................118
HNH 41: S BIU DIN THUT TON X L BINC I CH GII......................119
HNH 42: S BIU DIN THUT TON LU BI GII ...........................................................120
HNH 43: S BIU DIN THUT TON LU L THUYT.....................................................121
HNH 44: S BIU DIN THUT TON LU BI TP SON................................................122
HNH 45: S BIU DIN THUT TON LU P N .............................................................123
HNH 46: S BIU DIN THUT TON CHM IM..............................................................124




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

7
DANH MC BNG
BNG 1: BNG DANH SCH YU CU CA GIO VIN....................................................................16
BNG 2: BNG DANH SCH YU CU CA HC SINH......................................................................17
BNG 3: BNG TRCH NHIM CHO YU CU CA GIO VIN.....................................................17
BNG 4: BNG TRCH NHIM CHO YU CU CA HC SINH.......................................................18
BNG 5: BNG DANH SCH CC LP I TNG CHNH..............................................................33
BNG 6: BNG DANH SCH CC LP I TNG CA CHNG TRNH..................................42




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

8
CC K HIU



*
* *
tc nhn
khi x l
b nh
lung d liu (thng tin)
lp i tng
mi quan h mt - nhiu
mi quan h nhiu - nhiu
mi quan h k tha
lung x l




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

9
TM TT
ti: Phn mm h tr gii ton bt ng thc
Ni dung ca lun vn c th chia thnh cc phn nh sau:
Phn 1 - Phn m u
Phn 2 - Hin trng v yu cu : trnh by v hin trng v phc tho cc yu
cu ca bi ton
Phn 3 - M hnh ha : m hnh ha cc yu cu ca bi ton
Phn 4 - Thit k phn mm: trnh by v cc lp i tng ca chng trnh
v s phi hp hot ng gia chng
Phn 5 - Thc hin v kim tra : trnh by tng qut v mi trng thc hin
v cc b d liu kim tra
Phn 6 - Phn tng kt: nh gi v cc kt qu thc hin trong lun vn v
a ra hng pht trin.
Phn 7 - Phn ph lc





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

10
PHN I : M U
I GII THIU
Ngy nay, tin hc ang tr nn ph bin v l mt nhu cu rt cn thit trong
i sng x hi. Vi cc chng trnh ng dng, tin hc gip chng ta rt
nhiu trong cng vic cng nh cc hot ng hng ngy chng hn khi vit
mt bn bo co, mt l n, chng ta c th s dng cc trnh son tho vn
bn cho ra cc ti liu mt cch d dng, chnh xc, p v mang tnh
chuyn nghip cao, ngoi ra cc chng trnh ny cn cung cp cho chng ta
mt h thng giao din thn thin v cc cng c lm vic trong tm tay, chng
ta c th chnh sa m khng cn phi bi xa, canh l, vit hoa, chnh mu,
ch bng mt ng tc bm chut. Chnh v vy, xu hng tin hc ha v
ang c xem xt, thc hin mt cch nghim tc trn nhiu lnh vc v hot
ng nh : thng mi in t, o to dy hc t xa, in hoa, voice chat,
thm ch cn c cc dch v tm bn hay bn i qua mng internet.
Trong lnh vc gio dc v o to, hy xem xt mt cng vic m cc hc
sinh ph thng phi thc hin hng ngy l lm bi tp v nh. Khi gii mt
bi ton bng tay trn giy hc sinh s phi s dng nhiu cng c nh tp v,
giy nhp, ti liu hng dn,bt, my tnh, thc, cc cng c ny chim
mt din tch ng k trn bn hc v d dn ti tnh trng ln xn, lm ln.
Khi cn chnh sa hay lm li cc bi tp hc sinh phi bi xa, hay i khi
phi vt b cc giy t lm bi tp c iu ny dn ti mt s lng ph khng
nh. Hn na, i vi vic lm bi tp nh, khi gp kh khn, khng tm
c li gii cho mt bi ton hc sinh s d dng chong ngp trc nhiu




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

11
cun sch hng dn, phi mt nhiu thi gian tra cu v tm ra mt bi gii
ph hp. Trong trng hp vn khng gii c bi ton hc sinh li phi ch
n gi ln lp hoc tm ra mt cch lin lc vi gio vin hoc b bn. V
nhng kh khn , vic thc hin c mt chng trnh trn my tnh h tr
cng vic gii bi tp v nh ca hc sinh l mt nhu cu c tht v cn thit
II MC TIU CA LUN VN
ng trc thc trng nh vy lun vn hng ti vic xy dng v pht trin
mt chng trnh ng dng trn my tnh h tr cho vic dy v hc ca gio
vin v hc sinh ngoi nhng gi ln lp. Tuy nhin xy dng mt chng
trnh h tr c tt c cc mn hc l mt lnh vc ln, i hi nhiu thi
gian, trong lun vn ny chng ti ch tp trung vo xy dng chng trnh h
tr cho mt mn hc . Mc tiu ca lun vn c ra nh sau :
Xy dng mt chng trnh cung cp cc cng c h tr cho vic dy v hc
ca gio vin v hc sinh trong mn bt ng thc, chng trnh s m phng
vic dy, trong :
Gio vin c th son bi ging v bi tp cng vi p n ca bi tp
ngay trn my. Nu mun, gio vin c th gi ngay bi ging n cho
hc sinh. Gio vin cng c th in bi ging ca mnh ra giy
Hc sinh trong thi gian t hc nh c th tra cu cc phn l thuyt
nhanh hn. Trong lc gii bi tp hc sinh c th c s h tr kim
tra bi gii ca mnh, c th xem li bi gii nhanh chng thay v phi
tm li trong tp.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

12
PHN II : HIN TRNG V YU CU
I KHO ST HIN TRNG
1 Hin trng t chc
y l mt dng ca phn mm h tr ging dy, do , chng ta s kho st
hin trng trn 2 nhm i tng c lin quan trc tip n quan h ging dy
l gio vin v hc sinh.
i vi gio vin
Son trc bi ging nh
Ln lp, ging bi cho hc sinh, cho hc sinh lm bi tp p dng, giao
bi tp v nh cho hc sinh
Vo tit sa bi, cho hc sinh ln bng lm bi v sa bi lm ca hc
sinh
Cho hc sinh lm cc bi kim tra nh k v chm im bi lm ca
hc sinh
i vi hc sinh
lp, nghe gio vin ging bi. Nu ln thc mc ( nu c)
V nh, lm cc bi tp gio vin giao cho
Lm cc bi kim tra vo cc tit kim tra mn hc





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

13
Nhn xt
Vic dy ton hc ni chung v dy phn bt ng thc ni ring th khng
khc lm so vi dy cc mn hc khc. Do mt s im chc nng ca
chng trnh hon ton c th p dng cho cc phn mm h tr ging dy
khc. im khc bit y chnh l vic h tr hc sinh gii bi tp nh,
bi v mi mn hc, c th l mi phn ca mn hc u c cch gii bi
tp ring. Do , ta c th tm chia cc cng vic thnh 2 loi:
o Loi chung: l cc chc nng hon ton c th p dng cho cc phn
mm ging dy khc ch khng ring phn mm h tr gii ton bt
ng thc, nhm chc nng ny bao gm :
- Son l thuyt
- Xem l thuyt
- Xem bi gii
- Xem p n
o Loi c th: cc cng vic c lin quan n c trng ca tng lnh
vc, c th y l lnh vc v bt ng thc
- Son bi tp
- Gii bi tp
- Chm im bi gii
- Son p n




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

14
2 Hin trng tin hc
Hin nay, c rt nhiu phn mm phc v ging dy. Trong lnh vc ton
hc c th k n mt s phn mm nh: MathBook, Mathlab,
Mathematica Di y chng ta s kho st mt s phn mm k trn.
2.1 Phn mm MathBook
y l mt phn mm tnh ton. MathBook cho php thc hin cc php
ton i s v s hc (cng, tr, nhn, chia, sin, cos,), gii c h
phng trnh ti a l 7 n, tnh din tch cc hnh, pht sinh s ngu nhin,
chuyn i gia cc n v o lng.
2.2 Phn mm Matlab
Ngay t ci tn ca phn mm cho ta hiu s s v chc nng ca n.
Matlab (vit tt ca Matrix Laboratory) l phn mm thc hin tnh ton
trn ma trn v trn s. y l mt ngn ng th tc vi hng lot hm ton
hc c xc nh trc gip cho vic lp trnh trn Matlab tr nn n
gin. Ngn ng c s dng y tng t nh mt s ngn ng quen
thuc hc nh Pascal, C Tuy nhin do giao din ca Matlab h tr c
ch dng lnh nn gy ra khng t kh khn khi s dng.
Matlab x l tnh ton trn ma trn nn thng c dng trong x l
ho v gii h phng trnh.
2.3 Phn mm Mathematica
y l phn mm chuyn v tnh ton. N h tr cho phn ln cc lnh vc
ton hc t s hc (ly d, tm c s chung), i s (gii v bin lun




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

15
phng trnh) n gii tch (tnh o hm, tch phn, kho st v v th
hm s) thng qua vic xy dng mt b cc hm xc nh sn.
Mathematica cng h tr cho vic lp trnh trong mt s trng hp tnh
ton phc tp.
Tuy nhin, giao din theo c ch dng lnh cng gy khng t kh khn cho
ngi s dng trong vic lp trnh v tnh ton.
Nhn xt:
Qua kho st, chng ti thy a s cc phn mm gio dc hin nay mi
dng vic tnh ton ra nghim, ra kt qu c th. Cha thy mt phn
mm no h tr cho bi ton chng minh, c bit l chng minh bt ng
thc, mt bi ton c coi nh l kh nut nht trong chng trnh ton
hc ph thng. Bn cnh , cc phn mm ny theo c ch dng lnh
khng gy c cm gic t nhin v thn thin ngi dng. Hn na,
cc phn mm ny u h tr ngn ng l ting Anh, iu ny hi kh i
vi hc sinh Vit Nam.
T nhng hin trng thc t trn ta thy rng hc sinh, nht l hc sinh
nc ta rt cn c mt cng c h tr cho cc em trong qu trnh rn
luyn k nng gii ton bt ng thc. V chnh l l do chng ti thc
hin ti ny.
II XC NH YU CU
Vic kho st yu cu c tin hnh 2 nhm i tng s dng chnh l
hc sinh v gio vin. Sau khi kho st, cng vic ca 2 nhm i tng
trn c trnh by thnh bng nh sau:




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

16
B phn: Gio vin
M s : GV
M s Cng vic Biu mu Quy nh
GV_YC1 Son tm tt
l thuyt v
v d minh
ho

GV_YC2 Son bi
tp
BM1 QD1
GV_YC3 Son p n BM2 QD2

HS_YC4 Chm im
GV_YC5 Son quy
nh chm
im
BM5 QD5

Bng 1: Bng danh sch yu cu ca gio vin
B phn : Hc sinh
M s : HS
M s Cng vic Biu mu Quy nh
HS_YC1 Gii bi tp BM2
HS_YC2 Xem li bi
gii
BM3
HS_YC3 Xem p n BM4




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

17
HS_YC4 Chm im
HS_YC5 Xem tm tt
l thuyt


Bng 2: Bng danh sch yu cu ca hc sinh
1 Bng trch nhim cho cc yu cu
xc nh r cch thc thc hin mi cng vic ca ngi dng cng nh
trch nhim ca phn mm p ng i vi cc thao tc ca ngi dng,
ta lp ra bng phn cng trch nhim cho cc yu cu
STT Nghip v Ngi dng Phn mm Ghi ch
1 Son bi tp Cung cp thng tin v
bi tp cng vi mc
kh, thi gian lm bi
Pht sinh theo
biu mu BM1

2 Son l
thuyt
Cung cp thng tin ch
ca bi son v ni
dung bi son

3 Pht sinh
bi tp
Pht sinh bi tp
mi theo cng
thc

4 Son quy
nh chm
im
Cung cp thng tin theo
BM5, QD5
Cp nht thng tin
Bng 3: Bng trch nhim cho yu cu ca gio vin





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

18
STT Nghip v Ngi dng Phn mm Ghi ch
1 Gii bi tp Nhp vo cc
bc gii theo
BM2,QD2
Kim tra bc
gii ng v
thng bo
Danh sch cc loi
bc gii ( xem
phn phn Ph lc
2)
2 Xem bi gii Chn bi tp,
sau chn mt
bi gii trong
danh sch bi
gii c ca
bi tp
Xut bi gii
theo biu mu
BM3

3 Xem p n Chn bi tp,
sau chn mt
p n trong
danh sch ( nu
bi tp c nhiu
p n)
Xut p n
theo biu mu
BM4

4 Chm im Xut nh gi
v im s bi
tp theo biu
muBM6 ,
QD6
Thc hin ngay khi
bi gii hon tt
hoc ht gi lm
bi
Bng 4: Bng trch nhim cho yu cu ca hc sinh






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

19
2 Danh sch cc biu mu






BM3 : Danh sch bi gii

STT Tn bi gii Thi im Thi gian lm im s
1 .
2
Ni dung bi gii: nh ga bi gii:


BM2 : Danh sch bc gii

Ta co <bt ng thc>
<bt ng thc>
.


QD2: bin i i s, i bin, t n ph, dng bt ng thc Cauchy,
Bunhiaxcopki, .
BM1 : Son bi tp

kh:........... Thi gian lm bi:
bi:



CMR <bt ng thc>
Voi <iu kin 1>, <iu kin 2>.<iu kin n>




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

20



BM6 : nh gi kt qu bi gii ( da vo quy nh chm im)

Thi gian lm bi:
S ln nhc nh:
im s:
QD 6: ng hon ton : D1 im ;
Ht gi, cha gii xong: 0 ;
Mi bin i sai : tr D2 im
Mi ln xem bc gii k tip (gii theo p n) : tr D3 im
Chng minh mt bt ng thc trung gian : cng D4 im

BM5 : Son quy nh chm im

im ti a: D1
im tr cho mt bin i sai: D2
im tr cho mt ln xem bc gii tip theo D3
im cng cho bt ng thc trung gian D4
QD 5: 0<= D1,D2,D3,D4 <=10
BM4 : Danh sch p n

STT Tn bi gii Thi im Thi gian lm im s
1 .
2

Ni dung p n




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

21
3 Phm vi ca ti
Cho php thc hin cc php bin i trn bt ng thc nh sau:
- Bin i cc biu thc 2 v (khai trin, rt gn)
- Cng hai v cng mt biu thc bt k
- Nhn 2 v vi cng mt biu thc dng
- Ly nghch o 2 v
phc v cho cc php bin i trn, chng trnh xy dng mt b
cc biu thc ton vi cc tnh cht sau:
- Biu thc cha s bin khng gii hn
- Cha cc ton t +, - , *, / , ( , )
- C th cha ngoc lng nhau
- C th c cc hm:
o Hm cn ( bc 2,3,4)
o Hm ly tha ( s m <10)
o Hm lng gic (sin, cos, tg, cotg) khng cho php thc hin cc
php ton trn chng
i vi chc nng gii bi tp, chng ti xy dng mt h thng cc loi
bc gii sau kim tra cc php bin i cho cc bc gii nhp vo.
STT ngha V d
1 Bc gii bin i tng
ng t mt bc gii
trc
x^2+y>0




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

22
2 Bc gii suy ra t mt
bc gii trc
=> x^2+1>0
3 Bc gii a ra mt bt
ng thc, hoc ng thc
ng
Ta co x^2+y^2>0
4 Bc gii p dng bt ng
thc Cauchy a ra mt
bt ng thc c dng
Cauchy
ADC x,y,z ta duoc
5 Bc gii p dng bt ng
thc Bunhiaxcopki
ADB (x,y),(z,t) ta duoc
6 Bc gii c th suy ra t 2
hay nhiu bc gii trc
( p dng tnh cht bc
cu, cng, nhn v cc bt
ng thc .)
Tu (1),(2),(2) suy ra
7 Bc gii suy ra c nh
cng v cc bt ng thc
trong cc bc gii c
chn trc )
Cong ve (1),(2) ta duoc ..
8 Bc gii suy ra c nh
nhn v cc bt ng thc
trong cc bc gii c
chn trc )
Nhan ve (1),(2) ta duoc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

23
9 t n ph v th vo bt
ng thc ca bc gii
trc

Dat u = x+1 thi (1)
10 Thay th biu thc Thay 2 vao 3 ta duoc
11 a ra mt bt ng thc
no chng minh trung
gian
Ta cm x+y^2>0
12 kim tra bt ng thc trong
bc gii no c phi l
bt ng thc ng
(2) dung
13 Kim tra kt lun v iu
phi chng minh c ng
x^2+y >0 (dpcm)
hoc dpcm





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

24
III PHNG N THC HIN PHN MM
Phn mm s bao gm 2 phn h : h hc sinh v h gio vin
o H gio vin c cc chc nng h tr cho gio vin thc hin cng
vic ca mnh
o H hc sinh ci t cc chc nng h tr cho hc sinh
Cc phn h giao tip vi nhau thng qua file hoc email.
S giao tip gia 2 phn h c th c minh ha theo s sau:


Hnh 1: S giao tip gia hai phn h





Phn h
gio vin





Phn h
hc sinh
bi tp
Bi gii hc sinh
Quy nh chm im
p n
Bi hc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

25
PHN III : M HNH HA
Phn ny s m hnh ha cc yu cu xc nh thnh cc s , bao gm
2 phn chnh:
Trnh by s s dng : m hnh ha cc yu cu di dng s s
dng, gm c:
S s dng tng th
Cc s s dng chi tit
Trnh by s lp : xc nh cc lp i tng chnh, xc nh cc
thuc tnh v phn cng trch nhim cho cc lp ng thi v s
quan h gia cc lp i tng.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

26
I S S DNG
1 S s dng tng th

Hnh 2: S s dng phn mm mc tng th
Hc sinh
Gio vin
Gii bi
tp
Xem l
thuyt
Xem bi
gii
Son
p n
Son l
thuyt
Son qui nh
chm im
Son bi
tp
Chm
im
Pht sinh
bi tp
Xem
p n
2.1
2.7
2.5
2.9
2.6
2.8
2.10

2.3
2.4
2.2




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

27
2 S s dng cho tng yu cu c th
M hnh ha cc yu cu ca bi ton theo s sau

Trong :
D1: Thng tin do ngi dng nhp vo
D3: D liu c t b nh cn thit cho x l X
D4: D liu cn lu tr vo b nh
D6: D liu s c kt xut
Ngi dng
X l X
D6 D1
D4 D3




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

28
2.1 S s dng cho yu cu gii bi tp
Vic gii bi tp trc ht l kim tra cc bc gii c ng khng.

Hnh 3: S s dng yu cu gii bi tp

D1: Thng tin v mt bc gii ( bt ng thc tng ng, hoc t n
ph, hoc mt bt ng thc c chng minh p dng).
D3: Thng tin v bi tp v bi gii ( cc bc gii ng trc )
D4: D1
D6: Thng bo nu bc gii khng ng
X l kim tra bc gii
- Nhn D1 t ngi dng.
- c D3 tng ng t b nh ph.
- Kim tra bc gii c ng khng
- Nu khng ng, xut D6 ra mn hnh.
Hc sinh
X l kim
tra bc gii
D3
D6
D4
D1




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

29
2.2 S s dng cho yu cu xem li bi gii

Hnh 4: S s dng yu cu xem bi gii
2.3 S s dng cho yu cu xem p n

Hnh 5: S s dng yu cu xem p n
Hc sinh
Xem p n
D3
D6 D1
D1: Thng tin v bi tp, m s p n
c chn xem.
D3: Cc p n ca bi tp
D6: ni dung ca p n c chn
X l xem p n
- Nhn D1 t ngi dng.
- c D3 tng ng t b nh ph.
- Xut D6 ra mn hnh.
Hc sinh
Xem li bi
gii
D3
D6 D1
D1: Thng tin v bi tp, m s bi gii
c chn xem.
D3: Cc bi gii ca bi tp
D6: ni dung ca bi gii c chn
X l xem li bi gii
- Nhn D1 t ngi dng.
- c D3 tng ng t b nh
ph.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

30
2.4 S s dng cho yu cu xem tm tt l thuyt

Hnh 6: S s dng yu cu xem l thuyt
2.5 S s dng cho yu cu chm im bi gii

Hnh 7: S s dng yu cu chm im
Hc sinh
Chm im
D6 D1
D3 D4
D1: Ni dung bi gii.
D3: Bng qui nh chm im
D4:im s + nh gi
D6: D4.
X l chm im
- Nhn D1 t ngi dng.
- c D3 tng ng t b nh ph
- Kim tra qui nh chm im tnh D4.
- Ghi D4 vo b nh ph.
- Xut D6 ra mn hnh.
Hc sinh
Xem tm tt
l thuyt
D3

D3: Tm tt l thuyt
D6: D3
X l xem tm tt l thuyt
- c D3 t b nh ph.
- Xut D6 ra mn hnh.





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

31
2.6 S s dng cho yu cu son tm tt l thuyt

Hnh 8: S s dng yu cu son l thuyt
2.7 S s dng cho yu cu son bi tp

Hnh 9: S s dng yu cu son bi tp
Gio vin
Son bi tp
D1
D4
Gio vin
San tm tt l thuyt
D1
D4
D1: Ch bi hc + ni dung bi
hc
D4: D1
X l son tm tt l thuyt
- Nhn D1 t ngi dng.
- Ghi D4 vo b nh ph.

D1: Thng tin v bi tp bt ng thc (m
sch bi tp cha n,mc kh, ni dung,
thi gian cn thit lm bi)
D4: D1+ M s bi tp.
X l son bi tp
- Nhn D1 t ngi dng.
- Nu hp l ghi D4 vo b nh ph.
- Nu khng, thng bo li




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

32
2.8 S s dng cho yu cu pht sinh bi tp

Hnh 10: S s dng yu cu pht sinh bi tp
2.9 S s dng cho yu cu son p n

Hnh 11: S s dng yu cu son p n

Gio vin
Son p n
D4
D1
D1: M s bi tp, ni dung p n ca bi
tp .
D4: D1+ M s p n.
X l son p n
- Nhn D1 t ngi dng.
- Kim tra p n (kim tra hp l v
kim tra cc bc gii c ng khng)
- Nu tha th ghi D4 vo b nh ph.
Nu khng th bo li.
Gio vin
Pht sinh
bi tp
D6
D4
D3
D3: Cc biu thc v bt ng thc c
dng cho vic pht sinh bi tp.
D4 : Ni dung bi c pht sinh
D6: D4
X l pht sinh bi tp:
- c D3 t b nh ph.
- Ghi D4 vo b nh ph v xut D6
ra cho ngi dng.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

33
2.10 S s dng cho yu cu son quy nh chm im

Hnh 12: S s dng yu cu son quy nh chm im
II S LP
m t lp i tng, s dng k hiu sau:



1 Danh sch cc lp i tng
Sau khi phn tch, xc nh c danh sch cc lp i tng chnh sau
STT Tn lp
1 Sch bi tp
2 Bi tp
Gio vin
Son quy nh
chm im
D1
D4
D1: Cc quy nh chm im. ( thang im
ti a, s im tr khi bin i sai, s im
tr cho mt ln xem gi , s im cng khi
chng minh c mt bt ng thc trung
gian)
D4: D1
X l Son quy nh chm im
- Nhn D1 t ngi dng.
- Ghi D4 vo b nh ph.
< Tn lp >
<Danh sch cc thuc tnh>
<Cc trch nhim ca lp>




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

34
3 Bi gii
4 Bi hc
5 p n
6 Bc gii
7 Bt ng thc
8 Biu thc

Bng 5: Bng danh sch cc lp i tng chnh





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

35
2 S lp i tng

Hnh 13: S lp
*
*
*
*
SachBaiTap
BaiTap
BaiHoc
DapAn
BuocGiai
BaiGiaiDapAn BaiGiaiTuDo
BaiGiai
BatDangThuc
BieuThuc
BieuThucDaiSo BieuThucHam
BieuThucTong HamLuyThua HamCan HamLuongGiac BieuThucTich
*
*
*
ThanhPhan
S cc loi
bc gii, xem
hnh 15




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

36
3 Cu trc ca biu thc
thc hin cc bin i trn bt ng thc, trc ht, cn phi xy dng
lp biu thc, trong thc hin cc cng vic sau:
Kim tra hai biu thc bng nhau
Cng, tr, nhn, chia hai biu thc vi nhau
Xt du mt biu thc
Ta s dng mu composite thit k lp biu thc theo s di y:


Hnh 14: S biu din cu trc biu thc
BieuThuc
BieuThucDaiSo ThanhPhan
BieuThucHam
BieuThucTong BieuThucTich HamLuyThua HamCan HamLuongGiac
*




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

37
4 Cu trc ca bc gii
Cc bc gii c chia thnh 13 loi( xem chi tit ph lc 2) c mi quan h theo s di
y:

Hnh 15: S biu din cu trc bc gii
BuocGiai
BuocGiaiLoai1
BuocGiaiLoai4 BuocGiaiLoai3 BuocGiaiLoai5
BuocGiaiLoai8
BuocGiaiLoai2
BuocGiaiLoai7
BuocGiaiLoai11
BuocGiaiLoai9 BuocGiaiLoai6
BuocGiaiLoai10 BuocGiaiLoai12 BuocGiaiLoai13




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

38
III M t chi tit cc lp i tng chnh
Sch bi tp
- M sch
- Tn sch
- Thm bi tp vo sch ( t CSDL)
- Nhp bi tp t file

Bi tp
- M s
- Tn bi tp
- kh
- Thi gian lm bi
- Ni dung bi
- Xem bi gii
- Xem p n
- Gii bi tp
- Import p n
- Ly danh sch bi gii
- Ly danh sch p n

Bi gii
- M s
- Tn bi gii




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

39
- Ni dung bi gii
- Thi gian gii
- Thi im bt u
- im s
- Kim tra bc gii mi
- X l bc gii
- Thm bc gii
- Lu bi gii
- Import bi gii
- Kim tra bi gii ton b
- Chm im

p n
- M s
- Ni dung p n
- Ngy son
- Lu p n

Bc gii
- Bt ng thc hoc ng thc
- Khi to bc gii
- Kim tra bc gii ng ( hm o)






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

40
Bt ng thc
- Biu thc v ln
- Biu thc v nh
- Khi to t chui
- Ly dng chui
- Kim tra bt ng thc l ng
- Kim tra tng ng

Bi hc
- Ch bi hc
- Ni dung bi hc






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

41
PHN IV : THIT K PHN MM
I THIT K TNG TH
1 Thnh phn x l
H thng cc i tng x l ca phn mm ny c thit k theo m hnh
3 lp gm c:
- Lp i tng giao tip ngi dng
o M t cc thng tin trong mn hnh giao din
o M t hnh thc b tr ni dung mn hnh giao din
o M t cc thao tc ca ngi dng trn mn hnh giao din.
- Lp i tng x l chnh
o M t cc thng tin v i tng.
o M t cc hnh ng (hm x l) m i tng chu trch nhim
thc hin.
- Lp i tng giao tip b nh
o M t chi tit cc thng tin v i tng phi lu tr.
o M t cc hnh ng giao tip vi b nh ph (ly d liu, thm,
sa i hoc xa d liu)




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

42
M hnh ny hot ng theo nguyn tc sau:

Hnh 16: M hnh 3 lp ca phn mm
Sau y l danh sch cc i tng x l ca phn mm
Loi i
tng
Tn i tng Din gii
MH_HeGiaoVien Mn hnh giao tip gia gio vin
vi phn mm
MH_SoanBaiTap Mn hnh dng gio vin son
bi tp
MH_DapAn Mn hnh dng gio vin son
p n
MH_LyThuyet Mn hnh son l thuyt
i tng
giao tip
ngi
dng




Phn h
gio vin
MH_XemBaiGiai Mn hnh dng xem cc bi
gii ca hc sinh gi n chm
im.
i tng
giao tip
ngi dng
i tng x
l chnh
i tng
giao tip b
nh ph
Chuyn iu khin
Chuyn iu khin
B nh
ph
Nhn bin
c
Cp nht v
truy xut




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

43
MH_SoanQDCD Mn hnh son cc quy nh dng
chm im bi gii ca hc
sinh.

MH_ThemSachBT Mn hnh thm sch bi tp
MH_HeHocSinh Mn hnh giao tip gia hc sinh
vi phn mm
MH_GiaiBT Mn hnh dng hc sinh gii
bi tp
MH_XemBaiGiai Mn hnh dng hc sinh xem
li bi gii ca mnh
MH_XemDapAn Mn hnh hc sinh xem p n
ca bi tp





Phn h
hc sinh
MH_XemLyThuyet Mn hnh hc sinh hc l
thuyt
CGiaoVien Lp iu khin, qun l ton b
cc lp i tng trong h thng
CSachBaiTap Lp x l sch bi tp
CBaiTap Lp x l bi tp
CBaiHoc Lp x l bi hc l thuyt
CDapAn Lp x l p n ca mt bi tp
CBaiGiai Lp x l bi gii ca mt bi
tp, gm c hai lp con di y
CBaiGiaiTuDo Lp x l bi gii loi gii t do
i tng
x l
chnh
CBaiGiaiDapAn Lp x l bi gii loi gii theo




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

44
p n
i tng
giaotip
b nh
CSDL Lp x l mi vn v truy xut
hay cp nht d liu.

Bng 6: Bng danh sch cc lp i tng ca chng trnh

Vi thit k 3 lp nh trn, h thng cc i tng ca phn mm phi hp vi
nhau hot ng theo cc s phi hp tng th sau y.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

45

Hnh 17: S phi hp tng th phn h hc sinh

CSDL

CBaiTap

MH_ChinhHS

CGiaoVien

CBaiGiai
Hoc sinh

CBuocGiai

CBatDangThuc

MH_GiaiBT

MH_XemDapAn

MH_XemBaiGiai

CDapAn

CSachBaiTap




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

46

Hnh 18: S phi hp tng th phn h gio vin



CSDL

CBaiTap

MH_HeGiaoVien

CGiaoVien

CBaiHoc
Giao vien

MH_SoanBT

MH_DapAn

MH_LyThuyet

CSachBaiTap
CDapAn





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

47
2 T chc d liu
C s d liu ca chng trnh c lu tr trong Access v c t chc
theo s logic sau:

Hnh 19: S logic

Sau y l t chc bng d liu ca chng trnh:
SACHBAITAP
STT Thuc tnh Kiu d liu Din gii
1 MaSach AutoNumber M s sch
2 TenSach Text Tn sch
BAITAP
STT Thuc tnh Kiu d liu Din gii
1 MaSach Number
2 MaBT AutoNumber M bi tp
Bi tp
Bi gii p n
Sch bi tp Bi hc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

48
3 ThoiGian Number Thi gian ti cho
php gii
4 DoKho Text Mc kh
5 DeBai Text bi
6 TenBT Text Tn bi tp
7 GhiChu Memo
BAIGIAI
STT Thuc tnh Kiu d liu Din gii
1 MaBT Number
2 MaBG Text M bi gii do ngi
dng t
3 NoiDung Memo Ni dung bi gii
4 ThoiDiem DateTime Thi im bt u gii
5 ThoiGian Number Thi gian gii xong
tnh theo pht
6 HoanTat Yes/No Thc tnh cho bit bi
gii hon tt cha
7 NhanXet Text Cc nh gi v bi gii
(nu c)
8 Diem Number im s ca bi gii (nu
c)
9 LoaiGiai Text Loi bi gii ( gii t do
hay theo p n)




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

49
DAPAN
STT Thuc tnh Kiu d liu Din gii
1 MaBT Number
2 MaDA AutoNumber M s p n
3 NoiDung Memo Ni dung p n
BAIHOC
STT Thuc tnh Kiu d liu Din gii
1 MaBH AutoNumber M s ca bi hc
2 ChuDe Text Ch bi hc
3 NoiDung Memo Ni dung bi hc

Ngoi ra cn c thm hai bng ph cha cc tham s dng trong chng
trnh v bng cha cc biu thc dng dng pht sinh bi tp.
Bng tham s
STT Thuc
tnh
Kiu d
liu
Gi tr
mc nh
Din gii
1 TS1 Number 10 Thang im ti a cho bi gii
2 TS2 Number 1 S im cng cho mi bt ng thc
trung gian chng minh xong
3 TS3 Number 0 S im b tr cho mt ln b nhc nh
4 TS4 Number 0 S im tr cho mt ln xem bc gii
tip (i vi bi gii p n)




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

50
Bng t kho
STT Thuc tnh Kiu d liu Din gii
1 Loai Number Loi t kho
2 TuKhoa1 Text
3 TuKhoa2 Text

Bng BIEUTHUCDUONG
STT Thuc tnh Kiu d liu Din gii
1 MaBT AutoNumber M s ca biu thc dng
2 BieuThucDuong Text Ni dung ca biu thc dng





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

51
II THIT K CHI TIT
Ni dung c trnh by phn ny bao gm:
Din gii chi tit theo tng mn hnh: m t chi tit ni dung mn hnh
v cc bin c ca mn hnh
H thng hm ca cc lp i tng: m t cc hm x l ca tt c
cc lp i tng khc
S hot ng chi tit mt s x l.
1 Din gii chi tit theo tng mn hnh
Mi mn hnh s c m t chi tit theo cc ni dung sau
- Ni dung mn hnh ( cc thuc tnh ca mn hnh)
- Danh sch cc bin c xy ra trn mn hnh v thut ton x l cc
bin c .
1.1 MH_HeHocSinh
1.1.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 tabControlLopDoiTuong TabControl TabControl cha cc i
tng chnh
2 Panel Panel Khung t cc mn hnh
con ln, v d nh
MH_GiaiBT
3 tabPageSachBaiTap TabPage Tabpage cha tt c cc bi
tp ca mt sch bi tp




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

52
4 tabPageSachBaiHoc TabPage Tabpage cha cc bi hc l
thuyt trong sch bi hc
5 tabControlSachBaiTap TabPage Tabpage cha tt c cc bi
tp ca mt quyn sch bi
tp
6 mainMenu MainMenu Thc n chnh ca mn
hnh phn h hc sinh
7 mniChucNangPhu MenuItem Cha cc chc nng ph ca
chng trnh
8 mniGiupDo MenuItem Chc cc chc nng h tr
khc
9 mniCNP_Email MenuItem Chc nng Son quy nh
chm im
10 mniThoat MenuItem Chc nng thot chng
trnh
11 mniGD_HuongDan MenuItem Chc nng Hng dn s
dng chng trnh
12 mniGD_GioiThieu MenuItem Chc nng gii thiu v
chng trnh








K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

53


Hnh 20: Mn hnh chnh h hc sinh







5 - tabControlSachBaiTap








2- panel : khung t cc mn hnh con
3 - tabPageSachBaiTap
4 -tabPageSachBaiHoc
6 -mainMenu
1 -tabControlLopDoiTuong




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

54
1.1.2 Danh sch cc bin c
STT Bin c Din gii Hm x l
1 Click chn
vo tab i
tng

Ngi dng chn loi i
tng (bi tp hay l thuyt)
bng cch click vo tab tng
ng
tabControlDo
iTuong_Selec
tionChanged

2 Chn sch
bi tp khc
Ngi dng click chn sch bi
tp khc trong cc tab Sch bi
tp
tabctrlSachB
aiTap_Select
ionChanged
3 Chn chc
nng gii bi
tp
Ngi dng nhp phi vo bi
tp chn Gii bi tp
ChonMucGiaiB
aiTap
4 Chn mc
xem bi gii
Ngi dng nhp phi vo bi
tp chn Xem bi gii.
Bin c ny do lp CBaiTap
x l.
ChonMucXemBa
iGiai
5 Chn mc
xem p n
Ngi dng nhp chut phi
vo bi tp chn mc Xem
p n.trng thc n
ChonMucXemDa
pAn
6 Chn mc
thm sch bi
tp
Ngi dng nhp phi trn
danh sch cc sch bi tp
chn mc Thm sch mi trong
thc n





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

55
1.2 MH_GiaiBT
1.2.1 Ni dung mn hnh
ST
T
Thuc tnh Loi Din gii
1 rtbDeBai RichTextBox Dng hin th bi tp ang
gii
2 ckKiemTraTungBuoc nh du vo ny chn ch
gii kim tra tng bc.
3 ckDanhSoTuDong CheckBox nh du vo ny chn ch
nh s bc gii t ng.
4 ckHoTroGiaiNhanh CheckBox nh du vo ny chn ch
h tr gii nhanh bng cch
pht sinh mt phn bc gii
5 tabPageBaiGiaiTuDo TabPage TabPage cha bi gii t do
6 tabPageBaiGiaiDapAn TabPage TabPage cha bi gii theo p
n
7 rtbBaiGiaiTuDo HopVanBan HopVanBan l lp k tha t
RichTextBox.
C hai hp vn bn dng gii
bi tng ng vi hai loi gii t
do v theo p n.
8 rtbBaiGiaiDapAn HopVanBan nt
9 lbDongHo Label Hin th ng h canh gi cho




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

56
hc sinh gii bi tp
10 ckTrangThai CheckBox Nhn vo nt ny bt u gii
hay tm dng.
11 ckXemGoiY CheckBox Ngi dng check vo ny nu
mun hin th gi cho bc
gii tip theo trong p n
12 tbGoiY TextBox TextBox hin th gi cho
bc gii tip theo trong p n
13 btnBuocGiaiTiep Button Nhp vo nt ny hin th
bc gii tip theo trong p n
cho hc sinh trong lc gii bi.
14 btnQuayLui Button Nhp vo nt ny quay lui
mt bc gii trc
15 btnKiemTraBaiBai Button Nhp vo nt ny kim tra bi
gii trong trng hp ngi dng
khng chn kim tra tng bc .
16 btnKhung<1-13> Button Cc nt to khung bc gii
tng ng






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

57

Hnh 21: Mn hnh gii bi tp


9
10
11
12
13
16
1
3 2 4 5 6
Editor
gii bi tp
14
15
7
8




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

58
1.2.2 Danh sch cc bin c
STT Bin c Din gii Hm x l
1 Click chut vo iu
khin s 8
Ngi dng nhn vo
y bt u hay tm
ngng vic gii.
ckTrangThai_Ch
eckedChanged
2 Chn loi bi gii
khc
Ngi dng nhn chn
tab loi gii l gii t
do hay gii theo p
n
tabBaiGiai_Sel
ectedIndexChan
ged
4 Click vo iu khin
s 2
(ckKiemTraTungBu
oc)
Ngi dng bt / tt
ch gii Kim tra
tng bc
ckKiemTraTungB
uoc_CheckedCha
nged
5 Click vo iu khin
s 10
(btnKiemTraBaiGiai
)
Ngi dng nhn nt
kim tra bi gii
btnKiemTraBaiG
iai_Click
6 Click vo iu khin
s 9 (btnQuayLui)
Ngi dng nhn nt
quay lui quay lui v
mt bc gii trc
btnQuayLui_Cli
ck




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

59
7 Nhn phm enter
trong editor gii bi
tp
Ngi dng nhn
Enter sang bc
gii mi sau khi kt
thc mt bc gii.
Bin c ny s c
x l trong trng hp
ch gii l Kim tra
tng bc.
rtbBaiGiai_Key
Down
Click vo iu khin
btnQuayLui
Click chut vo nt
ny hin th bc gii
tip theo trong p
btnBuocGiaiTie
p_Click
8 Click chut vo mc
Lu bi gii
Ngi dng nhn
phm phi chn mc
Lu bi gii trong khi
ang gii hoc sau khi
gii xong.
mucLuuBaiGiai.
Click
9 Click chn mc
Import bi gii
Ngi dng nhn phi
vo edior bi gii v
chn mc Import bi
gii import mt bi
gii t file vo edior
mucImportBaiGi
ai.Click




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

60
10 Click chn mc
Import bi gii
Ngi dng nhn phi
vo edior bi gii v
chn mc Export bi
gii export mt bi
gii ra file
mucExportBaiGi
ai.Click
1.3 MH_XemBaiGiai
1.3.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 lvDSBaiGiai ListView ListView cha danh sch cc bi gii
ca bi tp c chn.
2 rtbNoiDung RichTextBox Cha ni dung ca bi gii c
chn
3 rtbNhanXet RichTextBox Cha nhn xt v bi gii
4 btnPrint Button Chc nng in bi gii ra giy






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

61

Hnh 22: Mn hnh xem bi gii
1.3.2 Danh sch cc bin c
STT Bin c Din gii Hm x l
1 Click chn
bi gii
Ngi dng click
chn bi gii cn xem
trong lvDSBaiGiai

lvDSBaiGiai_SelectedInd
exChanged
2 Click chn
nt In
Ngi dng mun in
bi gii ra giy
btnPrint_Click

1-lvDSBaiGiai
2-rtbNoiDung
3-rtbNhanXet
4-btnPrint




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

62
1.4 MH_XemDapAn
1.4.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 lvDSDapAn ListView Listview cha danh sch cc p
n ca bi tp c chn.
2 rtbNoiDung RichTextBox Cha ni dung p n c chn
3 btnPrint Button Chc nng in p n ra giy


Hnh 23: Mn hnh xem p n
1-lvDSDapAn
2-rtbNoiDung
3-btnPrint




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

63
1.4.2 Danh sch cc bin c
STT Bin c Din gii Hm x l
1 Click chn
p n cn
xem
Ngi dng click chn
p n cn xem trong
lvDSDapAn
lvDSDapAn_SelectedIn
dexChanged
2 Click chn
nt In
Ngi dng mun in p
n ra giy
btnPrint_Click

1.5 MH_XemLyThuyet
1.5.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 rtbNoiDung RichTextBox Hin th ni dung bi hc l thuyt c
chn.
2 toolBarBaiHoc ToolBar Cha cc chc nng in n v import bi
hc l thuyt.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

64

Hnh 24: Mn hnh xem l thuyt
1.5.2 Danh sch cc bin c
STT Bin c Din gii X l
1 Nhn
nt In
Ngi dng mun
in bi hc ra giy
toolBar1_ButtonClick

2- toolBarBaiHoc
1- rtbNoiDung




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

65
1.6 MH_HeGiaoVien
1.6.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 tabControlLopDoiTuong TabControl TabControl cha cc i
tng chnh
2 panel Panel Khung t cc mn hnh
con ln, v d nh
MH_SoanBaiTap
3 tabPageSachBaiTap TabPage Tabpage cha tt c cc bi
tp ca mt quyn sch bi
tp
4 tabPageSachBaiHoc TabPage Tabpage cha cc bi hc
l thuyt trong sch bi hc
5 cmBaiHoc ContextMenu Thc n cha cc chc
nng ca i tng bi hc
6 cmiBaiHoc_ChuongMoi MenuItem Mc thm mt chng bi
hc mi
7 cmiBaiHoc_SoanMoi MenuItem Mc thm mt bi hc mi
8 cmBaiTap ContextMenu Thc n cha cc chc
nng ca bi tp, bao gm:
- Son p n
- Thm bi tp mi
- Xa bi tp.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

66
9 mainMenu MainMenu Thc n chnh ca
chng trnh
10 mnChucNangPhu MenuItem Cha cc chc nng ph
ca chng trnh
11 mnCNP_Email MenuItem Chc nng lin lc qua
email
12 mnCNP_SoanQDCD MenuItem Chc nng Son quy nh
chm im
13 mnThoat MenuItem Chc nng thot chng
trnh
14 mnGiupDo MenuItem Chc cc chc nng h tr
khc
15 mnGD_HuongDan MenuItem Chc nng Hng dn
16 mnGD_GioiThieu MenuItem Chc nng Gii thiu v
chng trnh.





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

67

Hnh 25: Mn hnh chnh h gio vin
1.6.2 Danh sch cc bin c
STT Bin c Din gii Hm x l
1 Clich chn tab
i tng
Ngi dng chn loi i
tng (bi hc hoc l
thuyt) bng cch click vo
tab tng ng
tabControlLopD
oiTuong_Select
edIndexChanged
2 Click chn tab
Sch bi tp
Ngi dng click chn bi
tp trong tab Sch bi tp
tabctrlSachBai
Tap_SelectedIn
dexChanged







2- panel: khung t mn hnh con
1-tabControlLopDoiTuong
3- tabPageSacBaiTap
4- tabPageSacBaiHoc
9- mainMenu




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

68
3 Click vo mc
Son mi bi
hc.
Ngi dng click phi vo
phn mn hnh th hin sch
bi hc v chn mc Son
mi bi hc trong thc n
mniBaiHoc_Soan
Moi_Click
4 Click vo mc
Son p n
Ngi dng click phi vo
mt bi tp v chn mc
Son p n trong thc n
mniBaiTap_Soan
DapAn_Click
5 Click vo mc
Thm bi tp
mi.

Ngi dng click phi vo
phn mn hnh th hin sch
bi tp v chn mc Thm
mi bi tp trong thc n
mniBaiTap_Them
_Click
6 Click vo mc
Thm sch mi
Ngi dng nhp phi trn
danh sch cc sch bi tp
v chn mc Thm sch
mi
mniThemSachBT_
Click
1.7 MH_SoanLyThuyet
1.7.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 toolBarDinhDang ToolBar Thanh cng c nh dng vn bn l
thuyt
2 rtbLyThuyet RichTextBox y l mt hp vn bn gio vin
son l thuyt vo.
3 cmSoanLyThuyet ContextMenu Cha cc chc nng in n, export bi
hc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

69


Hnh 26: Mn hnh son l thuyt
1.7.2 Danh sch cc bin c
STT Bin c Din gii X l
1 Chn mc lu bi
soan
Chn mc Lu
bi hc va son
cmiLuuBaiSoan_Click
2 Chn mc export
bi son
Chn mc
Export bi hc
cmiExport_Click
3 Chn mc in bi
son
In bi son ra
giy
cmiIn_Click
1-toolBarDinhDang
2- rtbLyThuyet
3- cmSoanLyThuyet




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

70
4 Chn mc c t
file
c file bi hc
c sn t file
cmiDocFile_Click

1.8 MH_SoanBaiTap
1.8.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 cbDoKho ComboBox Mc kh ca mt bi tp
2 txtThoiGianLamBai TextBox Thi gian c tnh bng pht
3 txtDeBai TextBox Ni dung ca bi
4 btnDocFile Button c bi t file
5 btnLuuBT Button Lu bi tp ln CSDL
6 btnExport Button Export bi tp ra file
7 btnPhatSinh Button Pht sinh bi
8 cmBaiTap ContextMenu Thc n cha cc mc :
- c t file
- Lu bi son
- Export





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

71

Hnh 27: Mn hnh son bi tp
1.8.2 Danh sch cc bin c
STT Bin c Din gii X l
1 Chn mc Export
bi tp

2 Click button
Export


cmiExport_Click
3 Chn mc Lu
bi tp
Chn mc Lu bi
tp mi son
4 Click button Luu

cmiLuuBT_Click
2-txtThoiGianLamBai
3- txtDeBai
4- btnDocFile
5- btnExport
6- btnLuu
1- cbDoKho
8- cmBaiTap
7- btnPhatSinh




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

72
5 Chn kh ca
bi tp son
Chn kh ca
bi tp
cbDoKho_SelectionC
hangeCommitted
6 G vo ni dung
bi
Ni dung bi
thay i
txtDeBai_KeyPress
7 G vo thi
gian lm bi
Thi gian lm bi
thay i
txtThoiGianLamBai_
KeyDown
8 Chn mc c
file bi
Thay v phi g ta
chn c t mt
file bi tp c
sn
9 Click button c
file
c bi tp t file
cmiExport_Click
10 Click button Pht
sinh
Pht sinh bi
tp
btnPhatSinhDe_Clic
k

1.9 MH_SoanDapAn
1.9.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 txtDeBai TextBox bi tp
2 txtDapAn TextBox Bi gii p n
3 lvDapAn ListView Danh sch cc p n ca bi tp
4 Cc btnKhungBuocGiai Button Cha khung ca cc loi bc
gii




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

73
5 cmDapAn ContextMe
nu
Thc n cha cc mc:
- Nhp p n t file
- Thm p n mi
- Lu p n
- In
- Export
6 btnQuayLui Button Chc nng quay lui mt bc
gii


Hnh 28: Mn hnh son p n




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

74
1.9.2 Danh sch cc bin c
STT Bin c Din gii X l
1 Chn mc
Export p n
Ngi dng mun
export p n ra file
cmiExport_Click
2 Chn mc In Ngi dng mun
in p n ra giy
cmiIn_Click
3 Chn mc Lu
bi son
Ngi dng nhp
phi chn Lu bi
son
cmiLuuBaiSoan_Click
4 Chn mc
Thm p n
mi
Ngi dng mun
thm mt p n
mi ca bi tp
cmiThemMoi_Click
5 Chn mc
Nhp t file
Ngi dng mun
nhp p n t file
cmiNhapTuFile_Click
6 Click chn nt
Quay lui
Ngi dng mun
quay li bc gii
trc
btnQuayLui_Click
7 Nhn phm
trong
txtDapAn
Ngi dng g vo
txtDapAn
txtDapAn_KeyPress





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

75
1.10 MH_SoanQDCD
1.10.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 Cc label Label
2 txtDiemToiDa TextBox im ti a ca mt
bi gii
3 txtDiemCongBDTTG TextBox im cng cho vic
chng minh mt bt
ng thc trung gian
4 txtDiemTruBDSai TextBox im tr cho mt bin
i sai
5 txtDiemTruXemBG TextBox im tr mt ln xem
bc gii tip
6 btnExport Button Export quy nh ra file
gi cho phn h
hc sinh
7 btnKetThuc Button Nhn nt ny kt
thc son
8 Cc groupbox gom
nhm






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

76

Hnh 29: Mn hnh son quy nh chm im
1.10.2 Danh sch cc bin c
STT Bin c Din gii X l
1 Click vo nt
Kt thc
Chn chc nng
thot
btnKetThuc_Click
2 Click vo nt
Export
Chn chc nng
export quy nh ra
file
btnExport_Click
3 G vo
txtDiemToiDa
G vo im ti a txtDiemToiDa_KeyPres
s
4 G vo
txtiemCongB
DTTG
G vo im cng
cho mt bt ng
thc trung gian
txtDiemCongBDTTG_Key
Press
5 G vo
txtDiemTruBD
Sai
G vo im tr
cho mt bin i sai
txtDiemTruBDSai_KeyP
ress




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

77
6 G vo
txtDiemTruXe
mBG
G vo im tr
cho mt ln xem
bc gii tip
txtDiemTruXemBG_KeyP
ress
7 Di chut trn
btnExport
btnExport_MouseHover

1.11 MH_ThemSachBT
1.11.1 Ni dung mn hnh
STT Thuc tnh Loi Din gii
1 lbTenSachDeBai Label
2 txtTenSach TextBox g vo tn sch mi
3 btnThem Button Nhn nt ny cp nht
sch mi
4 btnKetThuc Button Nhn nt ny kt thc
thm sch.


Hnh 30: Mn hnh thm sch bi tp




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

78
1.11.2 Danh sch cc bin c
STT Bin c Din gii X l
1 Click vo nt Kt
thc
Click vo button
Kt thc
btnKetThuc_Click
2 Click vo nt Thm Click vo button
Thm
btnThem_Click
2 H thng hm ca cc lp i tng
Cc lp i tng ca chng trnh c chia lm ba loi:
- Loi 1:dng chung cho c hai phn h ngi dng.
- Loi 2: bao gm nhng hm dnh ring cho phn h hc sinh
- Loi 3: .bao gm nhng hm dnh ring cho phn h gio vin

2.1 Cc lp dng chung
2.1.1 i tng x l chnh
2.1.1.1 CBaiGiai
STT Hm x l ngha
1 KhaiBaoBienCo() Khai bo cc bin c cho Edior
gii bi tp
2 KhaiBaoBienCoThucDon() Khai bo cc bin c ca thc n cc
chc nng cu bi gii
3 KiemTraBuocGiaiMoi() Kim tra mt bc gii mi c




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

79
nhp vo
4 LayBuocGiaiTruoc() Ly bc gii trc bc gii hin
hnh
5 LayThuTuBuocGiaiDanhSo
()
Ly th t ca mt bc gii c
nh s no trong bi gii
6 LayBuocGiaiDanhSo() Ly bc gii c nh s
7 XuLiBuocGiai() X l mt bc gii mi c nhp
vo
8 XuLiBuocGiaiDung() Cc x l tng ng nu bc gii l
ng
9 LaySoBuocGiai() Ly s bc gii hin thi ca bi gii
10 ChamDiem() Chm im t ng cho bi gii
11 KetThucBaiGiai() Cc x l tng ng khi c bin c
kt thc bi gii
12 ThemBuocGiai Thm bc gii mi vo bi gii
13 XoaBuocGiai() Xa bc gii mt v tr no
trong bi gii
14 DanhSoBuocGiai nh s cho mt bc gii no .
Qui c nh s theo th t tng dn
15 QuayLui(int) Quay lui mt s bc no trong bi
gii
16 LuuBaiGiai() Lu bi gii vo c s d liu
17 ChonMucLuuBaiGiai Hm x l cho bin c chn chc nng
lu bi gii




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

80
18 ChonMucImportBaiGiai() Hm x l cho bin c chn chc nng
import bi gii
19 ChonMucExportBaiGiai() Hm x l cho bin c chn chc nng
export bi gii
2.1.1.2 Lp CBieuThuc
STT Hm x l ngha
1 PhanTich(string) Phn tch mt chui truyn vo theo
dng biu thc
2 BangNhau(CBieuThuc) So snh biu thc vi mt biu thc
khc
3 DoiNhau(CBieuThuc) Kim tra 2 biu thc c i nhau
4 ChuyenThanhTongToiGia
n()
Chuyn mt biu thc bt k thnh
dng tng ti gin (1)
5 ChuyenThanhPhanThuc() Chuyn biu thc ang xt thnh phn
thc
6 ChuyenThanhBieuThucTi
ch()
Chuyn biu thc ang xt thnh biu
thc tch
7 LuyThua(int) Ly tha biu thc theo mt s m no

8 DoiDauBieuThuc() i du ca biu thc
9 NghichDao() Ly nghch o ca biu thc
10 Cong(CBieuThuc) Cng biu thc vi mt biu thc khc
11 Tru(CBieuThuc) Tr biu thc cho mt biu thc khc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

81
12 Nhan(CBieuThuc) Nhn biu thc vi mt biu thc
13 Chia(CBieuThuc) Chia biu thc cho mt biu thc
14 XetDau() Xt du ca biu thc
15 NhanDonGian()
16 NhanKhaiTrien(CbieuTh
uc)
Nhn v khai trin biu thc ang xt
vi mt biu thc khc
17 RutGonBieuThuc() Rt gn biu thc
18 SapXepBieuThuc() Sp xp biu thc theo th t quy c
19 BoPhanTuThua() B cc phn t tha trong biu thc
Vd : a+b+0 a+b
20 LayChuoi() Ly biu thc di dng chui
21 SoSanhThuTu(CBieuThuc
)
So snh th t ca hai biu thc theo
chun qui c
22 ThuTuSap() Tr v mt th t cu biu thc trong
bng th t qui c
23 ChiaBT(CBieuThuc) Thc hin php chia theo nguyn tc
chia a thc i vi mt biu thc
c chuyn thnh tng ti gin
Ghi ch:
(1) : mt biu thc dng tng ti gin khi n c khai trin n
mc ti a




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

82
2.1.1.3 Lp CBatDangThuc
STT Hm x l ngha
1 KhoiTao(string) Khi tao bt ng thc t
mt chui truyn vo
2 TuongDuong(CBatDangThuc) Kim tra bt ng thc
ang xt c tng ng
vi mt bt ng thc khc
khng
3 LaBatDangThucDung() Kim tra bt ng thc
ang xt c phi l mt bt
ng thc ng
4 CongVeTheoVe(CBatDangThuc) Cng v theo v bt ng
thc ang xt vi mt bt
ng thc khc
5 NhanVeTheoVe(CBatDangThuc) Nhn v theo v bt ng
thc ang xt vi mt bt
ng thc khc
6 DoiChieu() i chiu bt ng thc
7 DoiDauVaChieu() i du v chiu ca bt
ng thc
8 SuyRaDuocTu(CBatDangThuc) Kim tra bt ng thc
ang xt c th suy ra c
t mt bt ng thc khc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

83
hay khng
9 BacCau(CBatDangThuc) To mt bt ng thc mi
( nu c th) t 2 bt ng
thc bng cch da vo
tnh cht bc cu
Vd : a>b & b>c a>c
10 ThoaTinhBacCau(CBatDangThuc
)
Kim tra xem c th p
dng tnh bc cu cho 2 bt
ng thc khng
11 TuongUng(CBatDangThuc) Kim tra bt ng thc
ang xt c ging vi mt
bt ng thc khc
12 ThayTheBieuThuc(CBieuThuc,C
BieuThuc)
Thay th mt biu thc con
xut hin trong bt ng
thc bi mt biu thc
khc

2.1.1.4 Lp CBuocGiai
STT Hm x l ngha Ghi ch
1 KhoiTao(string) Khi tao bc gii t mt
chui truyn vo

2 LayBatDangThuc() Ly bt ng thc trong
bc gii





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

84
3 KiemTraBuocGiai() Kim tra bc gii ang
xt c phi l bc gii
ng
y l hm o,
s c ci tr
cc lp tng
ng ca mi loi
bc gii
2.1.2 Cc lp ph (h tr x l)
2.1.2.1 Lp CBoNho
STT Hm x l ngha
1 DocNoiDungFile(string
tenfile)
Hm c ni dung tp tin, tr v
mt chui
2 GhiLenFile(string) Ghi mt chui ln file
3 DocBaiTapTuFile(string) c cc thng tin ca mt bi tp t
file

2.1.2.2 Lp BieuThuc
STT Hm x l ngha
1 PhanLoaiBieuThuc
(string)
Phn loi mt biu thc truyn vo di
dng chui
2 KhoiTaoBieuThuc(
string)
Khi to mt biu thc t chui)
3 BoNgoacThua(stri
ng)
B cc du ngoc tha trong chui biu din
mt biu thc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

85
4 DemSoNgoacMo m s ngoc m so vi mt v tr no
trong chui biu din biu thc
5 DemSoNgoacDong m s ngoc ng so vi mt v tr no
trong chui biu din biu thc
6 DemSoNgoacTrai m s ngoc pha bn tri ca mt ton t
7 DemSoNgoacPhai m s ngoc pha bn phi ca mt ton t
8 DemSoNgoac m s ngoc pha bn tri v phi ca mt
ton t, kim tra chng c bng nhau
9 ThayauNgoaiCung Thay cc k t biu din ton t v khng
nm trong du ngoc no bi mt k t khc
10 HoanVi(CBieuThuc
,CBieuThuc)
Hon v 2 biu thc cho nhau
2.1.2.3 Lp BuocGiai
STT Hm x l ngha
1 PhanTichBuocGiai(st
ring)
Phn tch mt chui truyn vo thnh 2
phn:
- Ni dung bc gii
- K hiu ca bc gii (nu c)
2 PhanLoaiBuocGiai(st
ring)
Phn loi mt bc gii truyn vo di
dng chui
3 KhoiTaoBuocGiai(str
ing)
Khi to mt bc gii t chui
4 LayDanhSachBuocGiai Phn tch mt bi gii dng chui thnh




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

86
(baigiai) danh sch cc bc gii
5 LayChuoiBDTTuBuocGi
ai
c chui bt ng thc trong bc gii

2.1.2.4 Lp TapLenh
STT Hm x l ngha
1 PhanTichDeBai(string) Phn tch bi truyn vo
thnh cc phn:
- Bt ng thc bi
- Danh sch cc iu kin.

2 CuPhapHopLe(string
maucuphap, string chuoi)
Kim tra mt chui c theo
ng dng ca mu c php
hay khng
3 LayCacGiaTriCuaNhom(string,
string,string)






K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

87
2.2 Phn h hc sinh
2.2.1 Lp i tng giao tip ngi dng
2.2.1.1 Lp MH_HeHocSinh
STT Hm x l ngha
1 KhoiTaoMenu() Khi to menu chnh cho
phn h hc sinh
2 mnCNP_Email_Click(Object
sender, System.EventArgs e)
M mn hnh nhn gi mail
giao tip gia hc sinh v
gio vin.
4 mnThoat_Click(Object
sender,System.EventArgs e)
Thot khi chng trnh
5 mnGD_HuongDan_Click(Object
sender, System.EventArgs e)
M Help hng dn s dng.
6 mnGD_GioiThieu_Click(Object
sender,System.EventArgs e)
Hin th mn hnh gii thiu.
7 tabctrlSachBaiTap_Selection
Changed(object sender,
System.EventArgs e)
Thc hin vic chn sch bi
tp tng ng lm sch hin
hnh.
8 tvNoiDungSachBaiHoc_AfterSe
lect(object sender,
System.Windows.Forms.TreeVi
ewEventArgs e)
Hin th ni dung bi hc
c chn.
9 DoiManHinhCon(Control Hin th mn hnh tng ng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

88
control) vi yu cu.
10 mniThemSachBT_Click(object
sender, System.EventArgs e)
Hin th mn hnh Thm sch
thm sch bi tp
11 ChonLoaiDoiTuong() Thc hin vic chn loi i
tng (l sch bi tp hay
sch bi hc)
12 tabControlLopDoiTuong_Selec
tionChanged(object sender,
System.EventArgs e)
Gi hm Chn loi i tng
chn loi i tng tng
ng

2.2.1.2 Lp MH_GiaiBT
STT Hm x l ngha
KhoiTaoManHinhTheoBaiTap
(CBaiTap baiTap)
Khi to mn hnh gii bi tp
tng ng vi cc thng tin ca
bi tp c chn
1 TaoMoiDongHo(int
thoiGianBatDau)
Khi to ng h canh gi
gii bi tp.
3 ThietLapTrangThaiManHinh
_1(bool bDangGiai)
Thit lp trng thi ca cc i
tng giao din trn mn hnh
ph hp vi tng thi im
2 ThietLapTrangThaiManHinh
_2(bool bGiaiTheoDapAn)
Thit lp trng thi ca cc i
tng trn mn hnh khi ngi
dng chuyn i gia 2 loi bi




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

89
gii (gii t do v gii theo p
n)
4 DongHo_Tick(object
sender, System.EventArgs
e)
Hm x l cho bin c pht sinh
ca ng h ( m thi gian ln
1s)
5 ckTrangThai_CheckedChang
ed(object sender,
System.EventArgs e)
Hm x l cho bin c ngi
dng nhn vo nt bt u
hay tm ngng vic gii bi tp
thit lp trng thi mn hnh
thch hp.
6 tabBaiGiai_SelectedIndex
Changed(object sender,
System.EventArgs e)
Hm x l bin c chuyn i
qua li gia cc ch gii (Gii
theo p n v Gii t do)
7 ChuyenDoiBaiGiai(bool
DapAn_TuDo)
Thc hin vic chuyn i bi
gii hin hnh t ch gii t
do sang gii theo p n hay
ngc li.
8 btnKhungBuocGiai_Click(o
bject sender,
System.EventArgs e)
t khung bc gii c chn
vo bi gii.
10 ckKiemTraTungBuoc_Checke
dChanged(object sender,
System.EventArgs e)
Bt hoc tt ch kim tra tng
bc gii.
11 btnKiemTraBaiGiai_Click(
object sender,
Kim tra ton b bi gii




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

90
System.EventArgs e)
12 ckXemGoiY_CheckedChanged
(object sender,
System.EventArgs e)
Hin th gi cho bc gii k
tip trong bi gii theo p n.
13 btnBuocGiaiTiep_Click(ob
ject sender,
System.EventArgs e)
Hin th bc gii k tip trong
p n khi ngi dng chn gii
theo p n
14 btnQuayLui_Click(object
sender, System.EventArgs
e)
Quay lui n mt bc gii trc


2.2.1.3 Lp MH_XemBaiGiai
STT Hm x l ngha
1 Cc hm khi to i
tng.

2 TaoDanhMucBaiGiai(CBaiTap
baitap)
To danh mc cc bi gii ca
bi tp truyn vo.
3 BaiGiaiDuocChon() Ly bi gii hin hnh.
4 ChonBaiGiai(object
sender, System.EventArgs
e)
Hm x l bin c chn mt bi
gii trong danh sch bi gii
hin th ni dung bi gii ln
mn hnh.





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

91
2.2.1.4 Lp MH_XemLyThuyet
STT Hm x l ngha
1 Cc hm khi to i
tng.


2.2.1.5 Lp MH_XemDapAn
STT Hm x l ngha
1 Cc hm khi to i
tng.

2 TaoDanhMucDapAn(CBaiTap
baitap)
To danh mc cc p n ca bi
tp truyn vo.
3 DapAnDuocChon() Ly p n hin hnh.
4 ChonDapAn(object
sender,
System.EventArgs e)
Hm x l bin c chn p n
trong danh sch p n hin th
ni dung ca p n ln mn hnh

2.2.2 Lp i tng x l
2.2.2.1 Lp CBaiTap
STT Hm x l ngha
1 DocDanhMucBaiGiai() c danh sch cc bi gii ca bi tp
2 DocDanhMucDapAn() oc danh sch cc p n ca bi tp




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

92
3 LayBatDangThucDeBai() c bt ng thc trong bi ca bi
tp
5 LayChuoiBatDangThucDeBai
()
c bt ng thc trong bi ca bi
tp di dng chui
6 LayDanhSachDieuKien() c danh sch cc iu kin ca bi
7 KhoiTao() Khi to bi tp
8 KhoiTaoThucDon() Hm khi to thc n cc chc nng
ca ca bi gii
KhaiBaoBienCoThucDon
()

9 ChonMucGiaiBaiTap(object
sender,EventArgs e)
Hm x l bin c chn chc nng gii
bi tp
10 ChonMucXemBaiGiai(object
sender,EventArgs e)
Hm x l bin c chn chc nng xem
bi gii
11 ChonMucXemDapAn(object
sender,EventArgs e)
Hm x l bin c chn chc nng xem
p n
12 ChonMucImportDapAn(objec
t sender,EventArgs e)
Hm x l cho bin c chn chc nng
import p n

2.2.2.2 Lp CDapAn
STT Hm x l ngha
1 TimBuocGiaiTuongUng(C
BuocGiai)
Tm bc gii trong p n ging vi
bc gii truyn vo




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

93
2.2.2.3 Lp CSachBaiTap
STT Hm x l ngha
1 ThemSachVao(TabContro
l)
Thm th hin ca sch vo mt iu
khin
2 ThemBaiTap(baiTap) Thm mt bi tp vo sch
3 KhoiTaoDanhMucBaiTap(
danhsachbaitap)
Khi to danh mc bi tp cho sch t
danh sch bi tp truyn vo
4 NhapBaiTapTuFile() Import mt bi tp c lu trn file
5 LuuSach() Lu thng sch bi tp vo trong c s
d liu

2.2.3 Lp giao tip b nh ph
2.2.3.1 CSDL
STT Hm x l ngha
1 KetNoiCSDL() Hm kt ni c s d liu
2 DocDanhMucSach() c danh sch cc sch t database
3 DocDanhMucBaiTap() c danh sch tt c bi tp t c s
d liu
4 DocDanhMucBaiTap
(masach)
c danh sch bi tp ca mt sch
no t c s d liu
5 DocDanhMucBaiGiai
(mabaitap)
c danh sch bi gii ca mt bi tp
t c s d liu




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

94
6 DocDanhMucDapAn
(mabaitap)
c danh sch p n ca mt bi tp
t c s d liu
7 DocBangThamSo() c cc trng d liu trong bng
tham s t c s d liu
8 LuuBaiTap( ) Lu cc thng tin ca mt bi tp vo
c s d liu
9 LuuBaiGiai() Lu cc thong tin ca bi gii vo c
s d liu
10 LuuDapAn() Lu cc thng tin ca p n vo c s
d liu

2.3 Phn h gio vin
2.3.1 i tng giao tip ngi dng
2.3.1.1 Lp MH_HeGiaoVien
STT Hm x l ngha
18 Cc hm t 1(8 trong lp
MH_HeHocSinh

9 mnCNP_SoanQDCD_Click(Objec
t sender,System.EventArgs
e)
M mn hnh son quy nh
chm im.
10 void
mniBaiHoc_SoanMoi_Click(ob
ject sender,
Thm node mi vo cy bi hc
v ngi dng g vo ch
bi hc. Mi bi hc thuc mt




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

95
System.EventArgs e) chng no .
11 mniBaiTap_Them_Click(objec
t sender, System.EventArgs
e)
Thm node mi vo cy bi tp
v hin th mn hnh son bi
tp.
12 mniBaiTap_SoanDapAn_Click(
object sender,
System.EventArgs e)
Hin th mn hnh son p n
cho bi tp c chn.
13 ThemManHinhMoi(UserControl
mh)
Hin th mn hnh tng ng
vi yu cu.
14 tvNoiDungSachBaiHoc_AfterL
abelEdit(object sender,
System.Windows.Forms.NodeL
abelEditEventArgs e)
Hin th mn hnh son bi hc
v chn bi hc va c g
ch lm bi hc hin hnh.
15 tabControlLopDoiTuong_Sele
ctionChanged(object
sender, System.EventArgs
e)
Hin th mn hnh lm vic
tng ng vi i tng c
chn.
16 MH_HeGiaoVien_Closing(obje
ct sender,
System.ComponentModel.Canc
elEventArgs e)
Nhc nh lu cc bi son nu
thot chng trnh lc cha
lu.
17 mniBaiHoc_ChuongMoi_Click(
object sender,
System.EventArgs e)
Thm node mi vo cy bi hc
lm chng mi v ngi
dng g vo tn chng.





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

96
2.3.1.2 Lp MH_SoanBaiTap
STT Hm x l ngha
1 Cc hm khi to i
tng.

2 cbDoKho_SelectionChange
Committed(object
sender,
System.EventArgs e)
Hm x l bin c ngi dng chn
kh ca bi tp trong comboBox
cbDoKho. nh du bi son cha
lu.
3 txtDeBai_KeyPress(objec
t sender,
System.Windows.Forms.Ke
yPressEventArgs e)
Hm x l bin c g phm trong
phn ni dung bi tp. nh du bi
son cha lu.
4 txtThoiGianLamBai_KeyDo
wn(object sender,
System.Windows.Forms.Ke
yEventArgs e)
Hm x l bin c g vo thi gian
lm bi. Chn phm ch cho g k
s. nh du bi son cha lu.
5 cmiDocFile_Click(object
sender,
System.EventArgs e)
Hm x l bin c chn chc nng
c ni dung bi tp t file.
6 cmiLuuBT_Click(object
sender,
System.EventArgs e)
Hm x l bin c chn chc nng
lu bi tp va son.
7 cmiExport_Click(object
sender,
Hm x l bin c chn chc nng
export bi tp ra file.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

97
System.EventArgs e)
8 cbDoKho_MouseHover(obje
ct sender,
System.EventArgs e)
Hm x l bin c di chut trn
comboBox cbDoKho. Hin th
tooltip gii thch.
9 txtThoiGianLamBai_Mouse
Hover(object sender,
System.EventArgs e)
Hm x l bin c di chut trn
comboBox cbDoKho. Hin th
tooltip gii thch
2.3.1.3 Lp MH_SoanLyThuyet
STT Hm x l ngha
1 Cc hm khi to i
tng.

2 HienThiNoiDung(string
NoiDung)
Hin th NoiDung ln trn
rtbLyThuyet.
3 cmiLuuBaiSoan_Click(ob
ject sender,
System.EventArgs e)
Thc hin vic lu bi son vo c s
d liu.
4 cmiExport_Click(object
sender,
System.EventArgs e)
Thc hin vic export bi son l
thuyt ra file.
5 cmiIn_Click(object
sender,
System.EventArgs e)
Hm x l bin c chn chc nng In
bi hc ra giy.
6 rtbLyThuyet_KeyPress(o
bject sender,
Hin th ni dung l thuyt va g
vo vi cc nh dng c chn.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

98
System.Windows.Forms.K
eyPressEventArgs e)
8 CapNhatFont() Cp nht font ch cho ni dung l
thuyt ang c chn.
9 fontComboBox_Selection
ChangeCommitted(object
sender,
System.EventArgs e)
Hm x l bin c chn li font ch.
10 txtFontSize_KeyUp(obje
ct sender,
System.Windows.Forms.K
eyEventArgs e)
Hm x l bin c chn li c ch.
11 toolBarDinhDang_Button
Click(object sender,
System.Windows.Forms.T
oolBarButtonClickEvent
Args e)
Xc nh chc nng ngi dng va
chn trn toolbar x l cho ph
hp.
2.3.1.4 Lp MH_SoanDapAn
STT Hm x l ngha
1 Cc hm khi to i
tng.

2 TaoDanhSachDapAn() To listview cha danh sch cc
p n.
3 DocDanhSachDapAn() c danh sch cc p n ca bi




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

99
tp hin hnh vo listview p n.
4 HienThiManHinhDapAn() Hin th mn hnh chc cc p n
v khung son p n mi.
5 rtbDapAn_KeyPress(object
sender,System.Windows.Fo
rms.KeyPressEventArgs e)
Hm x l bin c g phm trong
khung son p n. nh du bi
son cha lu.
6 cmiLuuDapAn_Click(object
sender, System.EventArgs
e)
Hm x l bin c chn chc nng
lu bi son p n.
7 cmiIn_Click(object
sender, System.EventArgs
e)
Hm x l bin c chn chc nng
In p n ra giy.
8 cmiExport_Click(object
sender, System.EventArgs
e)
Hm x l bin c chn chc nng
Export bi son p n ra file.
9 lvDapAn_SelectedIndexCha
nged(object sender,
System.EventArgs e)
Hm x l bin c chn p n
trong danh sch p n v hin th
ni dung ca n trong khung son
tho.
10 cmiThemMoi_Click(object
sender, System.EventArgs
e)
Hm x l bin c chn chc nng
thm mt p n mi.





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

100
2.3.1.5 Lp MH_ThemSachBaiTap
STT Hm x l ngha
1 Hm khi to i tng.
2 - btnKetThuc_Click(object
sender, System.EventArgs e)
- btnThem_Click(object
sender, System.EventArgs e)
Kt thc vic thm sch.
2.3.1.6 Lp MH_SoanQDCD
STT Hm x l ngha
1 Hm khi to i tng.
2 btnExport_Click(object sender,
System.EventArgs e)
Export quy nh chm
im ra file sn sng
gi cho phn h hc sinh.
3 txtDiemToiDa_KeyPress(object
sender,
System.Windows.Forms.KeyPressE
ventArgs e)
4 txtDiemCongBDTTG_KeyPress(obje
ct sender,
System.Windows.Forms.KeyPressE
ventArgs e)
5 txtDiemTruBDSai_KeyPress(objec
t sender,



Chn phm ch cho nhp
vo ch s.





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

101
System.Windows.Forms.KeyPressE
ventArgs e)
6 txtDiemTruXemBG_KeyPress(objec
t sender,
System.Windows.Forms.KeyPressE
ventArgs e)

7 void
btnExport_MouseHover(object
sender, System.EventArgs e)
Hin th tooltip gii thch
chc nng ca nt Export
8 btnKetThuc_Click(object
sender, System.EventArgs e)
Thot khi mn hnh
son quy nh chm im
2.3.2 i tng x l
2.3.2.1 Lp CBaiTap
STT Hm x l ngha
1 BatDangThucDeBai() Ly bt ng thc trong bi di
dng i tng CBatDangThuc.
2 LayDanhSachDieuKien() Ly danh sch cc iu kin trong
bi.
3 LuuBaiTap() Lu ni dung cng cc thuc tnh lin
quan ca bi tp hin hnh.
5 LuuBaiTap() c bt ng thc trong bi ca bi
tp di dng chui
6 LayDanhSachDieuKien() c danh sch cc iu kin ca bi




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

102
7 Cc hm khi to i
tng CBaiTap.

2.3.2.2 Lp CDapAn
STT Hm x l ngha
1 Cc hm ging nh trong
lp CDapAn_HeHocSinh.

2 LuuDapAn() Lu ni dung p n va son
ca bi tp hin hnh.
2.3.2.3 Lp CBaiHoc
STT Hm x l ngha
1 Cc hm khi to i
tng CBaiHoc

2 LuuLyThuyet() Nh lp CGiaoVien thc hin lu bi
hc hin hnh vo c s d liu.
2.3.2.4 Lp CSachBaiTap
STT Hm x l ngha
1 Cc khi to i tng
CSachBaiTap

2 KhoiTaoMenu() Khi to contextmenu cho i
tng CSachBaiTap.
3 ThemBaiTap(BAITAP) Thm mt bi tp c ni dung




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

103
y vo sch
4 ThemBaiTapMoi(TreeNode) Thm mt bi tp mi vo sch.
5 TaoDanhMucBaiTap(BAITAP[
])
To danh sch bi tp cho i
tng CSachBaiTap bng cch
thm cc bi tp c vo cy
danh sch bi tp trong tabpage
sch bi tp..
6 ChonBaiTap(object
sender,
System.Windows.Forms.Tre
eViewEventArgs e)
Hm x l bin c click chn bi
tp trong tabpage sch bi tp
7 tvNoiDungSach_MouseDown(
object
sender,System.Windows.Fo
rms.MouseEventArgs e)
iu chnh contextmenu ca i
tng CBaiTap cho ph hp vi
v tr nhn chut trong danh sch
bi tp.
8 tvNoiDungSach_AfterLabel
Edit(object sender,
System.Windows.Forms.Nod
eLabelEditEventArgs e)
Hm x l bin c ngi dng
g xong tn ca bi tp mi
vo bng cch ghi nhn li tn
ny lm tn bi tp mi.
9 ThemSachMoi(object
sender,System.EventArgs
e)
Hm x l bin c ngi dng
chn chc nng Thm sch mi
trong contextmenu ca i
tng CSachBaiTap. Cho hin
th mn hnh Thm sch bi tp.
10 XoaSachBT(object Hm x l bin c ngi dng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

104
sender,System.EventArgs
e)
chn chc nng Xa sch bi
tp.
2.3.3 i tng giao tip b nh ph
2.3.3.1 Lp CSDL
STT Hm x l ngha
1 KetNoiCSDL() Hm kt ni c s d liu
2 -Cc hm khi to i
tng CSDL
-Cc hm ly d liu ca
bng c yu cu.

3 DocDanhMucSach() c danh sch cc sch t
database
4 LayMaSachBT(string
TenSach)
Ly m sch bi tp c tn l
TenSach.
5 XoaSachBT(string
TenSach)
Xa sch bi tp c tn l TenSach
v xa tt c cc bi tp trong sch
cng cc p n ca bi tp .
6 ThemSachBT(string
TenSach)
Ghi sch bi tp c tn l TenSach
vo c s d liu.
7 DocDanhMucBaiTap(string
TenSach)
c danh sch tt c bi tp ca
sch bi tp c tn l TenSach t
c s d liu
8 LaySoBaiTap() Ly s bi tp hin c trong c s




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

105
d liu.
9 DocDanhMucBaiTap(masach) c danh sch bi tp ca mt
sch no t c s d liu
10 DocToanBoBaiTap() c ton b bi tp trong c s d
liu.
11 LuuBaiTap(<cc thuc
tnh ca bi tp>)
Lu mt bi tp mi vo c s d
liu.
12 XoaBaiTap(int MaSach) Xa tt c bi tp trong sch .
13 LayCacMaBT()
LayMaBT(string TenBT,int
MaSach)
Ly danh sch m cc bi tp hoc
ly m ca bi tp c tn v m
sch c truyn vo.
14 LayNoiDungBaiTap(int
MaBT)
c ni dung ca bi tp c m
c truyn vo.
15 DocBangBaiGiai() c danh sch tt c cc bi gii
trong c s d liu.
16 LuuBaiGiai(<cc thuc
tnh >)
Lu mt bi gii mi vo c s d
liu.
17 LayDapAn(mabaitap) c danh sch p n ca mt bi
tp t c s d liu
18 LayNoiDungDapAn(string
MaDA)
c ni dung ca mt p n c
m l MaDA.
19 LuuDapAn(<cc thuc
tnh>)
Lu p n mi vo c s d liu.
20 XoaDapAn(int MaBT) Xa tt c p n ca bi tp c




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

106
m l MaBT.
21 DocDanhMucBaiHoc() c tt c danh sch bi hc c
trong c s d liu.
22 LayNoiDungBaiHoc(string
ChuDe)
c ni dung mt bi hc c ch
l ChuDe.
23 SoanLyThuyet(string
ChuDe,string NoiDung)
Lu mt bi son l thuyt mi
vo c s d liu
24 SuaLyThuyet(string
ChuDe,string NoiDung)
Sa li ni dung ca mt bi hc
c ch l ChuDe.
25 DocBangThamSo() c cc trng d liu trong bng
tham s t c s d liu
26 LaySoBieuThucDuong() Ly s biu thc dng c trong
c s d liu.
27 LayBieuThucDuong(int
MaBThuc)
Ly ni dung biu thc dng c
m l MaBThuc.
28 DocBangBieuThucDuong() c danh sch biu thc dng c
trong c s d liu.

3 S hot ng chi tit v thut gii mt s x l
Phn trc m t bng thut ton mt s x l n gin cho cc bin c.
Nhng x l phc tp hn i hi c s phi hp ca nhiu lp i tng nu
cng trnh by nh trn s gy kh hiu cho ngi c. V vy, chng ti s m
hnh ha nhng x l trong phn ny bng cc s hot ng chi tit.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

107
3.1 Kim tra bc gii ng
3.1.1 Bc gii loi 1 ( tng ng)

Hnh 31: S biu din thut ton kim tra bc gii loi 1
Thut gii:
- Ly bt ng thc bdt1 ca bc gii cn kim tra tng ng vi bc
gii ang xt.
- Lu vt bit c bt ng thc trong bc gii ang xt xut pht t
bt ng thc trong bc gii no
- Gi hm Kim tra tng ng ca lp Bt ng thc kim tra bt
ng thc ca bc gii ny c tng ng vi bdt1
Kim tra bc gii
ng
CBuocGiaiLoai1
Ly bc gii cui
CBaiGiai
Kim tra tng
ng
CBatDangThuc
bdt=Ly bt ng
thc
CBuocGiaiLoai1
B nh chnh




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

108
3.1.2 Bc gii loi 2
(suy ra mt bt ng thc t bc gii trc )
Thut gii:
- Tng t nh hm kim tra ca bc gii loi 1
3.1.3 Bc gii loi 3
( a ra mt bt ng thc ng, c bt u bng Ta co )
Thut gii:
- Kim tra bt ng thc ca bc gii c tha 1 trong cc iu kin sau:
+ L mt bt ng thc ng hin nhin ( bng lit k mt s dng bt
ng thc ng hin nhin xem ph lc 4.)
+ Trng vi mt trong s cc iu kin ca bi.
+ Trng vi mt bt ng thc c chng minh ng trong cc
bc gii trc .
- Nu tha mt trong cc iu kin, tr v gi tr ng.
- Nu khng , tr v gi tr khng bit.




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

109
3.1.4 Bc gii loi 4
(Loi bc gii c p dng bt ng thc Cauchy)

Hnh 32: S biu din thut ton kim tra bc gii loi 4

Thut gii:
- Kim tra cc biu thc c p dng trong bc gii c phi l biu thc
khng m
- Nu t nht mt biu thc mang du m hay khng kim tra c, tr v
gi tr sai.
- Nu tt c biu thc u khng m
+ To mt bt ng thc bdt1 theo dng Cauchy t cc biu thc.
+ Gi hm Kim tra tng ng ca lp Bt ng thc kim tra
bt ng thc ca bc gii ny c tng ng vi bdt1
Kim tra bc gii
ng
CbuocGiaiLoai4
Kim tra tng
ng
CBatDangThuc
Xt du biu thc
CBieuThuc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

110
3.1.5 Bc gii loi 5
( Loi bc gii p dng bt ng thc Bunhixcopki)

Hnh 33: S biu din thut ton kim tra bc gii loi 5
Thut gii:
- To mt bt ng thc bdt1 theo dng Cauchy t cc biu thc.
- Gi hm Kim tra tng ng ca lp Bt ng thc kim tra bt
ng thc ca bc gii ny c tng ng vi bdt1
Kim tra bc gii
ng
CbuocGiaiLoai5
Kim tra tng
ng
CBatDangThuc
Xt du biu thc
CBieuThuc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

111
3.1.6 Bc gii loi 6
( Loi bc gii c th suy ra t 2 hay nhiu bc gii trc )
Hnh 34: S biu din thut ton kim tra bc gii loi 6

Thut gii:
- Ly danh sch cc bc gii c k hiu c lit k trong bc gii ang
xt
- Ly cc bt ng thc trong cc cc bc gii trn
- Kim tra xem bt ng thc trong bc gii ang xt c tha mt trong
cc iu kin sau:
+ C th suy ra nh p dng tnh cht bc cu cho cc bt ng thc
trn khng.
+ C th suy ra nh cng v theo v
+ C th suy ra nh nhn v theo v
Kim tra bc gii
ng
CBuocGiaiLoai3
Ly danh sch bc
gii c nh s
CBaiGiai
B nh chnh
Cng v theo v
CBatDangThuc
Kim tra tng
ng
CBatDangThuc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

112
- Nu tha mt trong cc iu kin trn, tr v gi tr ng.
- Ngc li, tr v gi tr sai.
3.1.7 Bc gii loi 7
( Loi bc gii cng v theo v cc bt ng thc trong cc bc gii trc
)
Hnh 35: S biu din thut ton kim tra bc gii loi 7

Thut gii:
- Ly danh sch cc bc gii c k hiu c lit k trong bc
- Ly cc bt ng thc trong cc cc bc gii trn
- Cng v theo v cc bt ng thc ny => bt ng thc mi bdt
- Kim tra bdt c tng ng vi bt ng thc trong bc gii ang xt
Kim tra bc gii
ng
CBuocGiaiLoai3
c cc bc gii
c nh s trc
CBaiGiai
B nh chnh
Cng v theo v
CBatDangThuc
Kim tra tng
ng
CBatDangThuc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

113
3.1.8 Bc gii loi 8 (bc gii nhn v)

Hnh 36: S biu din thut ton kim tra bc gii loi 8
Kim tra bc gii
ng
CbuocGiaiLoai8
c cc bc gii
c nh s trc
CBaiGiai
B nh chnh
Nhn v theo v
CBatDangThuc
Kim tra tng
ng
CBatDangThuc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

114
3.1.9 Bc gii loi 9 (bc gii t n ph)

Hnh 37: S biu din thut ton kim tra bc gii loi 9
Kim tra bc gii
ng
CbuocGiaiLoai9
c bc gii cui
CBaiGiai
B nh chnh
Kim tra tng
ng
CBatDangThuc
Thay n ph vo v
kim tra trn bt
ng thc mi ny




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

115
3.1.10 Bc gii loi 12 ( bc gii a ra mt bt ng thc ng)

Hnh 38: S biu din thut ton kim tra bc gii loi 12

3.1.11 Bc gii loi 13 (bc gii kim tra iu phi chng minh)
Thut gii
- Kim tra bt ng thc trong bc gii cn xt c tha 2 iu kin sau
khng:
+ Tng ng vi bt ng thc trong bc gii trc .
+ L bt ng thc trong bi.
- Nu tha, tr v gi tr ng. Ngc li tr v Sai.

Kim tra bc gii
ng
CbuocGiaiLoai12
* Ly bc gii nh s
CBaiGiai
B nh chnh
Kim tra ng
CBatDangThuc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

116
3.2 X l bin c nhn Enter khi gii bi tp

Hnh 39: S biu din thut ton x l bin c nhn enter khi gii bi tp

Thut gii
Thut gii ca hm x l bin c Nhn Enter ca lp bi gii
- Ly chui bc gii mi va c thm vo
- Kim tra xem bc gii c ng khng ( thut gii: xem mc 3.1
Kim tra bc gii mi ca bi gii )
- Nu ng, thm bc gii vo danh sch bc gii ca bi gii. Nu
sai xut thng bo li

Kim tra bc gii
mi
CBaiGiai
Kim tra bc gii
ng (1)
CBuocGiai
Hc sinh
Thm bc gii
CBaiGiai
Bin c nhn Enter
(Bn kim tra tng
bc = true)
CBaiGiai
Ly bc gii ,mi
CBaiGiai




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

117
3.3 Kim tra bc gii mi ca bi gii
3.3.1 Kim tra i vi bi gii t do
Thut gii
- Khi to mt bc gii mi t chui truyn vo
- Gi hm kim tra bc gii ca lp BuocGiai ( thut gii: xem
mc 3.1 )
3.3.2 Kim tra i vi bi gii theo p n
Thut gii
- Khi to mt bc gii mi t chui truyn vo
- So snh bc gii ny vi bc gii trong p n xem c ging
nhau
- Nu ging, tr v gi tr ng
- Ngc li, tr v gi tr Sai




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

118
3.4 X l bin c chn chc nng gii bi tp
S

Hnh 40: S biu din thut ton x l bin c chn chc nng gii bi tp

Thut gii
Thut gii cho chc nng gii bi tp
- Khi to mn hnh gii bi tp
- Khi to 2 loi bi gii: t do v p n cho bi tp
- c cc p n ca bi tp
Gii bi tp
CBaiTap
Chn chc nng
gii bi tp
MH_ChinhHS
Hc sinh
c p n
CDapAn
B nh ph
Khi to mn hnh
MH_GiaiBT
Khi to bi gii mi
X l bin c nhn Enter
CBaiGiai




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

119
3.5 X l bin c i ch gii
S

Hnh 41: S biu din thut ton x l bin c i ch gii

Thut gii
Thut gii i t gii sang p n sang gii t do
- Khi to mt bi gii t do mi
Hc sinh
B nh chnh
i li trng thi mn
hnh
MH_GiaiBT
Ghi nhn bi gii
CBaiGiai
i t gii t do sang
gii theo p n
MH_GiaiBT
i t gii theo p
n sang gii t do
MH_GiaiBT
To bi gii mi
Ghi nhn li ch gii
mi
CBaiGiaiDapAn
Chp thng tin ca bi
gii t do
CBaiGiaiDapAn
c bc gii p n
CDapAn
Tm bc gii trng p
n
CBaiGiaiDapAn
To bi gii mi
Ghi nhn li ch gii
mi
CBaiGiaiTuDo
Chp thng tin ca bi
gii theo p n
CBaiGiaiTuDo




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

120
- Chp ton b ni dung bi gii theo p n sang bi gii t do
Thut gii i t gii t do sang gii theo p n
- Khi to bi gii theo p n ca bi tp ang gii
- Tm bc gii cui cng trong bi gii t do ging vi mt bc gii
no trong p n
- Nu tm thy, chp cc bc gii t bc gii u tin n bc gii
tm thy vo bi gii trong p n. nh du v tr bc gii trong p
n
3.6 Lu bi gii
S

Hnh 42: S biu din thut ton lu bi gii
Lu bi gii
CBaiGiai
Bin c lu bi gii
MH_GiaiBT
B nh ph
Ngi dng
Lu bi gii
CGiaoVien
Lu bi gii
CSDL




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

121
Thut gii
- Gi hm lu bi gii ca cc lp nh sau
CBaiGiai:LuuBaiGiai CGiaoVien:LuuBaiGiai CSDL:LuuBaiGiai
3.7 Lu l thuyt

Hnh 43: S biu din thut ton lu l thuyt

Lu l thuyt
CBaiHoc
Bin c lu bi son
MH_LyThuyet
B nh ph
Ngi dng
- Kim tra ch c
cha
- Lu l thuyt
CGiaoVien
- Son l thuyt
- Sa l thuyt
CSDL




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

122
3.8 Lu bi tp

Hnh 44: S biu din thut ton lu bi tp son
Lu bi tp
CBaiTap
Bin c lu bi tp
MH_SoanBaiTap
B nh ph
Ngi dng
Lu bi tp
CGiaoVien
Lu bi tp
CSDL
Kim tra bi hp
l
TapLenh




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

123
3.9 Lu p n

Hnh 45: S biu din thut ton lu p n
Lu p n

CBaiGiai
Bin c lu p n
MH_DapAn
B nh ph
Ngi dng
Kim tra bc gii
ng
CBuocGiai
Lu p n
CGiaoVien
Lu p n
CSDL




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

124
3.10 Chm im
S

Hnh 46: S biu din thut ton chm im

Thut gii:
Thut gii hm chm im t ng
- c bng tham s ly cc gi tr
o D1 : thang im ti a
o D2 : S im tr khi nhc nh
Chm im
Ghi nhn im
CBaiGiai
Kt thc bi gii
MH_GiaiBT
B nh ph
Ngi dng
Ghi nhn im
CGiaoVien
Ghi nhn im
CSDL




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

125
o D3 : S im cng cho bt ng thc trung gian c chng
minh
- Ly cc thng s sau
o M1 : s ln nhc nh
o M2 : s bt ng thc trung gian chng minh
- Pht sinh im da vo cng thc sau
o Nu bi gii hon tt
Gn im = D1
o Nu bi gii cha hon tt
Gn im = 0
im = im - D1*M1 + D2*M2
o Nu im > 10 im =10
o Nu im < 0 im = 0









K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

126
PHN V : THC HIN V KIM TRA
I TM TT KT QU THC HIN
Phin bn ny thc hin xong cc chc nng nghip c m t trong
phn II
V chc nng gii bi tp:
- C th thc hin cc php bin i tng ng trn bt ng thc. Trong

o Mc biu din biu thc
Biu thc thc cha s bin khng gii hn
Cha cc ton t +, - , *, / , ( , )
C th cha ngoc lng nhau
C th c cc hm: hm cn ( bc khng gii hn), hm ly
tha ( s m khng gii hn)
Hm lng gic (sin, cos, tg, cotg) khng cho php thc hin
cc php ton trn chng
o Kh nng kim tra cc bin i tng ng
Bin i cc biu thc 2 v (khai trin, rt gn )
Cng hai v cng mt biu thc bt k
Nhn 2 v vi cng mt biu thc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

127
- C th p dng cc bt ng thc Cauchy, Bunhiaxcopki trong qu trnh
gii
- C th suy ra bt ng thc mi t 2 bt ng thc da vo tnh bc cu,
cng v, nhn v 2 bt ng thc
- Cho php t n ph
- Cho php chng minh bt ng thc trung gian v p dng chng minh
bt ng thc khc
V chc nng son p n: tng t nh gii bi tp
II D LIU TH NGHIM V KIM TRA
Khi chn chc nng gii bi tp vi ch gii kim tra tng bc. Khi
nhn Enter th ng vi bc gii nhp vo ti v tr con nhy chng trnh
s phn tch v thng bo kt qu kim tra. Cc trng hp kim tra c
m t trong bng sau
STT Cc trng hp
kim tra bc gii
nhp vo
Thng bo X l
1 Nu kim tra bc
gii hon ton ng
Khng c thng bo Cho php xung
hng nhp
bc gii tip v
i mu dng
2 Nu bc gii Thng bo Bc gii Khng cho php




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

128
khng hp l khng hp l xung hng
3 Nu bc gii p
dng Cauchy,
nhng c mt biu
thc X khng tha
iu kin l biu
thc khng m
Thng bo Biu thc
X khng phi biu
thc khng m
nt
4 Nu khng kim tra
c bc gii (
Thng bo Khng
kim tra c bc
gii ny. Bn c
mun tip tc vi
bc gii ny khng
Nu chn
Khng: khng
cho php xung
hng
Nu chn C:
cho php xung
hng, nhng lu
vt bit bi gii
ny c bc gii
khng kim tra
c





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

129
Sau y l mt s bi tp mu chy th chng trnh
Test bi
1 CMR x
4
+y
4
>=xy
3
+x
3
y

2 CMR a+b+c>=R2(ab)+R2(bc)+R2(ca)
voi a>=0,b>=0,c>=0
3 CMR 4a
2
b
2
+4b
2
c
2
+4a
2
c
2
>=a
2
(b+c)
2
+b
2
(a+c)
2
+c
2
(a+b)
2

4 CMR a+1/(b(a-b))>=3
voi a>0,b>0,a>b
5 CMR y(1/x+1/z)+1/y(x+z)<=(1/x+1/z)(x+z)
voi x>0,y>0,z>0,x<=y,x<=z,y<=z
Sau y l cc bi gii mu chng ti chy th
Test 1: CMR x
4
+y
4
>=xy
3
+x
3
y
Bc Ni dung bc gii
0 x
4
+y
4
>=xy
3
+x
3
y (1)
1 <=> x
4
+y
4
-xy
3
-x
3
y>=0 (2)
2 <=>x
3
x-y)-y
3
(x-y)>=0 (3)
3 <=>(x-y)(x
3
-y
3
)>=0 (4)
4 <=>(x-y)
2
(x
2
+xy+y
2
) >=0 (5)




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

130
5 <=>(x-y)
2
((x+y/2)
2
+3y
2
4)>=0 (6)
(6) dung (7)
vay (1) dung

Test 2: CMR a+b+c>=R2(ab)+R2(bc)+R2(ca)
voi a>=0,b>=0,c>=0
Bc Ni dung
0 CMR a+b+c>=R2(ab)+R2(bc)+R2(ca)
voi a>=0,b>=0,c>=0 (1)
1 ADC a,b ta duoc (a+b)/2>=R2(ab) (2)
2 ADC b,c ta duoc (b+c)/2>=R2(bc) (3)
3 ADC c,a ta duoc (c+a)/2>=R2(ca) (4)
4 Cong ve (2),(3),(4) ta duoc
(a+b)/(2)+(b+c)/(2)+(c+a)/(2)>=R2(ab)+R2(bc)+R2(ac) (5)
5 <=>a+b+c>=R2(ab)+R2(bc)+R2(ca) dpcm





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

131
Test 3:
CMR 4a
2
b
2
+4b
2
c
2
+4a
2
c
2
>=a
2
(b+c)
2
+b
2
(a+c)
2
+c
2
(a+b)
2

Bc Ni dung
0 4a
2
b
2
+4b
2
c
2
+4a
2
c
2
>=a
2
(b+c)
2
+b
2
(a+c)
2
+c
2
(a+b)
2
(1)
1 ADB (a,b),(a,c) ta duoc (a
2
+a
2
)(b
2
+c
2
)>=(ab+ac)
2
(2)
2 ADB (b,a),(b,c) ta duoc (b
2
+b
2
)(a
2
+c
2
)>=(ba+bc)
2
(3)
3 ADB (c,a),(c,b) ta duoc (c
2
+c
2
)(a
2
+b
2
)>=(ca+cb)
2
(4)
4 Cong ve 2,3,4 ta duoc
2a
2
(b
2
+c
2
)+(a
2
+c
2
)2b
2
+(a
2
+b
2
)2c
2
>=(ab+ac)
2
+(ab+bc)
2
+(ac+bc)
2
(5)
5 <=>4a
2
b
2
+4b
2
c
2
+4a
2
c
2
>=a
2
(b+c)
2
+b
2
(a+c)
2
+c
2
(a+b)
2
(dpcm)





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

132
PHN VI : TNG KT
Lun vn xy dng kh thnh cng mt chng trnh h tr vic dy v hc
bt ng thc. Trong chng trnh chng ti s dng qui trnh cng ngh phn
mm hng i tng, theo m hnh ba lp. Chng ti cng kt hp c
cc cng vic hng ngy trn my tnh vi vic gii ton nh gi th in t
(email) hi v chm bi ngay trong chng trnh, bn cnh chng ti
cng c gng chun ha ti a cc thao tc trong chng trnh so vi cc thao
tc trong cc chng trnh ng dng quen thuc trn my tnh nh cc thao tc
chn font, canh l, chn kiu ch rt ging MS Word cung cp cho ngi
dng mt giao din thn thin, d s dng. ng thi, chng ti cng c
gng biu din cc k hiu ton hc (cc s m, du cn) mt cch t nhin
nht sao cho gn ging vi cch biu din trong th gii thc.
Tuy cha th so snh vi mt phn mm h tr gii ton mang tnh thng mi
trn th gii, cha c kh nng gii bi ton mt cch t ng v cha h tr
chng minh bt ng thc bng tt c cc phng php, nhng vi vic cung
cp cho ngi dng mt h thng cng c tng i hiu qu v cc gi ,
kim tra qua tng bc bin i gip cho h c mt ci nhn tng quan v bi
ton v s thun tin khi thc hin cng vic nn chng trnh hon ton c th
p dng vo thc t.
Chng trnh c kh nng m rng thnh mt h thng ln h tr nhiu
phng php gii hn cho bi ton bt ng thc, ng thi c th kt hp h
tr vic dy v hc cc mn hc thuc nhiu cp bc khc nhau t tiu hc cho
ti trung hc ph thng, v cc ng dng trong vic o to t xa, y chnh l
hng nghin cu m chng ti s tp trung trong tng lai. Chng ti hy vng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

133
rng, ti ny s nhn c nhiu s quan tm ca cc nh nghin cu bi
mt chng trnh trn my tnh lun c ngha khi n phc v con ngi nht
l phc v trong lnh vc gio dc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

134
PHN VII : PH LC
I PH LC 1: BNG M T CC K HIU BIU DIN C PHP
Bng ny m t mt s k hiu c s dng c t cc c php ( tham
kho thm trong Microsoft Visual Studio.Net Documentation , keyword:
regular expression )

STT C php Din gii
1 . K t bt k
2 * Lp 0 hoc nhiu ln
3 + Lp 1 hoc nhiu ln
4 \s Khong trng
5 ? C th c hoc khng
6
II PH LC 2: BNG PHN LOI BC GII
Phn m t k hiu c t c php bc gii ( xem Ph lc 1)

STT C php ngha V d
1 < bt ng thc> Bc gii bin i
tng ng t mt
bc gii trc
x^2+y>0
2 => < bt ng thc> Bc gii suy ra t mt => x^2+1>0




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

135
bc gii trc
3 Ta co < bt ng
thc>
Bc gii a ra mt
bt ng thc, hoc
ng thc ng
Ta co x^2+y^2>0
4 ADC <biuthc> +
ta duoc < bt ng
thc>
Bc gii p dng bt
ng thc Cauchy
a ra mt bt ng
thc c dng Cauchy
ADC x,y,z ta duoc
5 ADB (<biu thc>,
<biu thc>) + ta
duoc <bt ng
thc>
Bc gii p dng bt
ng thc Bunhiaxcopki
ADB (x,y),(z,t) ta duoc

6 Tu (<k s>)+ suy ra
<bt ng thc>
Bc gii c th suy ra
t 2 hay nhiu bc gii
trc ( p dng tnh
cht bc cu, cng, nhn
v cc bt ng thc
.)
Tu (1),(2),(2) suy ra

7 Cong ve (<k s>)+
ta doc <bt ng
thc>
Bc gii suy ra c
nh cng v cc bt
ng thc trong cc
bc gii c chn
trc )
Cong ve (1),(2) ta
duoc ..
8 Nhan ve (<k s>)+
ta dc <bt ng
Bc gii suy ra c
nh nhn v cc bt
Nhan ve (1),(2) ta
duoc




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

136
thc> ng thc trong cc
bc gii c chn
trc )
9 Dat <k t> = <biu
thc> thi <bt ng
thc>
t n ph v th vo
bt ng thc ca bc
gii trc

Dat u = x+1 thi (1)

10 Thay (<k s>) vao
(k s>) ta duoc <bt
ng thc>
Thay th biu thc Thay 2 vao 3 ta duoc
11 Ta cm <bt ng
thc>
a ra mt bt ng
thc no chng
minh trung gian
Ta cm x+y^2>0
12 (vay)? (<k s>)
dung
kim tra bt ng thc
trong bc gii no
c phi l bt ng thc
ng
(2) dung
13 <bt ng thc>
(dpcm)
Kim tra kt lun v
iu phi chng minh
c ng
x^2+y >0 (dpcm)
hoc dpcm
III




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

137
IV PH LC 3: BNG T KHA CHO BC GII
d cho vic phn tch th mi loi bc gii cn phi c mt c php
nht nh (thng nht gia gio vin v hc sinh) . Do cn phi quy nh cc
t kha (cc t kha ny c th c gio vin thay i v cp nht li cho hc
sinh)
Qui c : k hiu X : t kha rng

STT T kha 1 T kha 2
1 X
2 => X
3 Ta co X
4 ADC Ta duoc
5 ADB Ta duoc
6 Tu suy ra
7 Cong ve Ta duoc
8 Nhan ve Ta duoc
9 Dat Thi
10 Thay ta duoc
11 Ta cm X





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

138
V PH LC 4: BNG DANH SCH IU KIN CC BT NG
THC HIN NHIN NG
STT iu kin Bt ng thc ng
1
P, n N P
2n
0
2
n N
Pi l cc biu thc dng

=
n
i
Pi
1
0
3
n N
Pi l cc biu thc m

=
n
i
Pi
2
1
0
v

+
=
1 2
1
n
i
Pi 0
4 P > Q
G 0
P + G > Q





K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

139
VI PH LC 5: S BIU DIN CC C PHP
1 Cc s biu in c php bc gii
1.1 Bc gii tng qut

Bc gii loi 1
Bc gii loi 2
Bc gii loi 3
Bc gii loi 4
Bc gii loi 5
Bc gii loi 6
Bc gii loi 7
Bc gii loi 8
Bc gii loi 9
Bc gii loi 10
Bc gii loi 11
Bc gii loi 12
Bc gii loi 13
Bc gii




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

140
1.2 Bc gii loi 1 ( bin i tng ng mt bt ng thc hoc ng
thc)



1.3 Bc gii loi 2 ( suy ra mt bt ng thc hoc ng thc t bc gii
trc )



Du
>
Bc gii
loi 1
Bt ng
thc
K s
ng
thc
Khon
g trng
Khon
g trng
Du

Bc gii
loi 1
Bt ng
thc
K s
ng
thc
Khon
g trng
Khon
g trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

141
1.4 Bc gii loi 3 ( a ra mt bt ng thc hoc ng thc ng)


1.5 Bc gii loi 4 (p dng bt ng thc Cauchy)


Bc gii
loi 4
Bt ng
thc
T kha
(ta
Biu
thc
Du

Khon
g trng
Khon
g trng
T kha
(
Khon
g trng
T kha
( Ta c)
Bc gii
loi 3
Bt ng
thc
ng
thc
Khon
g trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

142
1.6 Bc gii loi 5 (p dng bt ng thc Buniakovski)



1.7 Bc gii loi 6 (suy ra mt bt ng thc, ng thc t cc bc gii
trc c nh s)

Bc gii
loi 5
Bt ng
thc
T kha
(ta
Cp
biu
Du

Khon
g trng
Khon
g trng
T kha
(
Khon
g trng
Bc gii
loi 6
Bt ng
thc
T kha
(suy ra)
K hiu
Du
,
Khong
trng
Khong
trng
ng
thc
T kha
( Tu)
Khon
g trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

143
1.8 Bc gii loi 7 ( cng v theo v cc bt ng thc )


1.9 Bc gii loi 8 ( nhn v theo v cc bt ng thc)

Bc gii
loi 8
Bt ng
thc
T kha
(ta duoc)
K hiu
Du
,
Khon
g trng
Khong
trng
ng
thc
T kha
( Nhan ve)
Khong
trng
Bc gii
loi 8
Bt ng
thc
T kha
(ta duoc)
K hiu
Du
,
Khong
trng
Khong
trng
ng
thc
T kha
( Cong ve)
Khon
g trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

144
1.10 Bc gii loi 9 (t n ph)


1.11 Bc gii loi 10

T kha
( Dat)
Bc gii
loi 9
Bt ng
thc
T kha
(thi)
ng
thc
Du ,
Khong
trng
Khong
trng
ng
thc
Khong
trng
T kha
( Thay)
Bc gii
loi 10
Bt ng
thc
T kha
(ta duoc)
K hiu
T
kho(vo)
Khong
trng
Khong
trng
Khong
trng
Khong
trng
K hiu




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

145
1.12 Bc gii loi 11




1.13 Bc gii loi 12

K hiu Bc gii
loi 12
Khong
trng
dung
vay
suy
ra
Khong
trng
T kha
( Ta
Bc gii
loi 11
Bt ng
thc
ng
thc
Khon
g trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

146
1.14 Bc gii loi 13

Bc gii
loi 1
Bc gii
loi 2
Bc gii
loi 3
Bc gii
loi 4
Bc gii
loi 5
Bc gii
loi 6
Bc gii
loi 7
Bc gii
loi 8
Bc gii
loi 9
Bc gii
loi 10
Khon
g trng
dpcm

Bc gii
loi 13




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

147
2 Cc s biu din c php biu thc, bt ng thc
2.1 Bt ng thc

2.2 Biu thc

Thnh
phn
Biu thc
tng
Biu thc
tch
Hm lu
tha
Hm cn
Hm
lng gic
Biu thc
Biu
thc
Bt ng
thc
>
<
Khong
trng
Biu
thc
=
Khong
trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

148
2.3 Thnh phn

2.4 Biu thc tng

CBiu
thc
Biu thc
tng
CBiu
thc
+
Khong
trng
Khong
trng
Thnh phn
-
K t
K t
^
K s




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

149
2.5 Biu thc tch

2.6 Hm cn

R
Hm cn
)
Biu thc
K s
(
CBiu
thc
Biu thc
tch
CBiu
thc
*
Khong
trng
Khong
trng




K
H
O
A

C
N
T
T

H

K
H
T
N





Phn mm h tr gii ton bt ng thc

150
2.7 Hm lu tha

2.8 Hm lng gic

sin
cos
tg
cotg
Hm lng
gic
(
2.2
Biu thc
(
Hm lu
tha
) Biu thc
Khong
trng
Khong
trng
^
K s

You might also like