Anders Lund wrote:
>
> Def. kongurente: "To trekanter er kongruente hvis deres sider er parvis lige
> store"
> Def. ensvinklede: "To trekanter er ensvinklede hvis de har alle tre vinkler
> parvis lige store."
Ja, og man kan generalisere det. To figurer (delmængder) i planen skal
kaldes kongruente hvis den ene kan føres over i den anden ved en
kombination af parallelforskydninger (translationer), rotationer og
spejlinger. Det er det samme som at der findes en afbildning f på
formen f(x,y) = A(x,y) + (c,d) hvor A er en ortogonal 2×2-matrix, og
(c,d) er en konstant vektor, således at den ene figur er billedet under
f af den anden figur. Isometrierne af R² er netop funktioner f på denne
form.
To figurer er ligedannede hvis en forstørrelse af den ene er kongruent
med den anden. Funktionen er f o g hvor g(x,y)=(kx,ky) hvor k ikke
er nul, og f er en isometri som før.
For trekanter kan ligedannethed også kaldes ensvinklethed.
Derimod behøver to rektangler jo ikke at være ligedannede selvom deres
vinkler jo i sagens natur er ens. Derfor er ordet ligedannethed mere
generelt end ordet ensvinklethed.
--
Jeppe Stig Nielsen <URL:
http://jeppesn.dk/>. «
"Je n'ai pas eu besoin de cette hypothèse (I had no need of that
hypothesis)" --- Laplace (1749-1827)