Professional Documents
Culture Documents
Tri Dokaza Heronove Formule
Tri Dokaza Heronove Formule
Ormanica, 20.01.2010. go
U uvodu I knjige
Metrike Heron je
zabiljeio da se ''geometrija rodila
iz
potrebe za mjerenjem i podjelom
zemlje (odakle i potie njen naziv),
poslije ega je proirenje na tri
dimenzije postalo neophodno da
bi se mjerila vrsta tijela''.
Ormanica, 20.01.2010. go
Povrina nejednakostraninog
trougla
P=
s ( s a )( s b)( s c)
formula.
Heronova
Ormanica, 20.01.2010. go
knjige Elemenata :
Ormanica, 20.01.2010. go
Ormanica, 20.01.2010. go
otrouglom trouglu
kvadrat na strani naspram otrog ugla je
manji od zbira kvadrata na stranama koje
obrazuju otar ugao za dvostruki
pravougaonik obuhvaen jednom stranom
otrog ugla(onom na koju je sputena
normala) i rastojanjem te normale od
tjemena otrog ugla.
Ormanica, 20.01.2010. go
Postoje indicije da je za formulu znao i
Ormanica, 20.01.2010. go
zapisana u obliku:
a c b
1
2 2
P
a c
2
2
Kini, a otkrivena
je nezavisno od Grka. Moe se nai u
uvenom djelu Devet knjiga o
matematikoj vjetini (Shushu Jiuzhang),
koje je objavio Qin Jiushao 1247. godine.
Ormanica, 20.01.2010. go
trougla ABC
abc
s
2
Neka je ugao pri vrhu C otar. Dalje neka je N
AN x
NB AB AN c x
Ormanica, 20.01.2010. go
b x a (c x )
2
Ormanica, 20.01.2010. go
Dalje je
2cx b c a
2
b2 c2 a2
x
2c
(4)
b c a
h b
2c
b2 c2 a2
b
2c
dobijamo
b2 c2 a2
b
2c
Ormanica, 20.01.2010. go
2bc a 2 b 2 c 2 2bc a 2 b 2 c 2
2c
2c
a 2 (b c) 2 (b c) 2 a 2
2c
2c
(a b c) a b c (b c a )(b c a )
2c
2c
(a b c) a b c b c a )(b c a
4c 2
Ormanica, 20.01.2010. go
Kako je
2 s a b c, 2 s 2 a b c a
2s 2c a b c, 2s 2b a b c
To je
2s 2s 2a 2s 2b)(2s 2c
h
2
4c
2
4 s s a s b)( s c
h
c2
2
Ormanica, 20.01.2010. go
Odnosno
h 2c 2
s ( s a)( s b)( s c)
4
hc
s ( s a )( s b)( s c)
2
s ( s a )( s b)( s c)
Ormanica, 20.01.2010. go
Dokaz
Neka
a y z , b z x,
c x y
2s a b c y z z x x y
s x yz
Ormanica, 20.01.2010. go
Oigledno je
2 2 2 2
w te uglove , , .
Definiimo kompleksne brojeve
r ix, r iy , r iz
Ormanica, 20.01.2010. go
Takve da je
r ix u e
r iy v e
r iz w e
Sada je
( r ix )(r iy )(r iz )
i
(u e ) (v e ) ( w e )
uvw e
i ( )
Ormanica, 20.01.2010. go
(r ix)(r iy )(r iz ) r ir x ir y
3
r ( x x z ) xyz
2
Ormanica, 20.01.2010. go
Sada je
xyz
r
xxz
s y z s x z s x y
s
a y z , b z x,
Kako je
s x yz
To je
s a s b s c
s
Ormanica, 20.01.2010. go
c x y
ra rb rc
P rs
2 2 2
P
s a s b s c s
s
s s a s b s c
Ormanica, 20.01.2010. go
(r ix )(r iy )(r iz )
realan broj, pa mu je imaginarna vreijednost
4a b a b c
sin 1 cos
2ab
2
duinu h b sin
pa je
1
1
P a h a b sin
2
2
Kako je
2a b sin 4a b a b c
2
Ormanica, 20.01.2010. go
2 2
Imamo da je:
1
2 2
2
2
2 2
P
4a b a b c
4
1
2ab a 2 b 2 c 2 2ab a 2 b 2 c 2
4
1
2
2
c 2 a b a b c 2
4
1
c a b c a b a b c a b c
4
::::::::::::::::::::::::::::::::::::::::::::::::::
s s a s b s c
Ormanica, 20.01.2010. go
Numerika stabilnost
c a b c a b a b c a b c
Generalizacija
Ormanica, 20.01.2010. go
Heronova formula je takoe poseban
Ormanica, 20.01.2010. go
Heronova formula pomou determinante
a2
b2
a2
c2
b2
c2
Ormanica, 20.01.2010. go
Hvala na panji.
Ormanica, 20.01.2010. go