Nadjes jednadzbe pravaca na kojima leze okomice.
To je najgori dio posla.
Presjecista nadjes izjednacavanjem jednadzbi, odnosno rjesavanjem sistema
jednadzbi.
"Andreja Jereąić" <bjer...@inet.hr> wrote in message
news:a6kias$b3c$1...@sunce.iskon.hr...
za pocetak dokazi da za svaku tocku P unutar kvadrata vrijedi da je zbroj
kuteva koje zatvaraju stranice kvadrata i pravci kroz pripadni vrh i tocku P
jednak 180.
"IdrEASY" <Idr...@bigfoot.com> wrote in message
news:a6njok$8lhk$1...@as201.hinet.hr...
Doron Zeilberger se ne bi složio s tobom. ;-)
http://www.math.rutgers.edu/~zeilberg/GT.html
okom[{ax_, ay_}, {bx_, by_}, {cx_, cy_}] :=
y - cy == -(1/(((by - ay)/(bx - ax)))) (x - cx)
{a, b, c, d, p,
q} = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {px, py}, {x, y}}
Solve[{okom[b, p, a], okom[c, p, b], okom[d, p, c], okom[a, p, d]}, q]
Čak se iz rješenja može vidjeti nešto zanimljivo, što pruža uvid u to kako se tvrdnja može vrlo lako dokazati (hint: rotacija za pi/2). ;-)