en
, , ,
-
Als je linksom moet draaien is de hoek β tussen de vectoren en gelijk aan en als je rechtsom moet draaien . De oppervlakte van het parallellogram is , want en hebben dezelfde lengte. In het eerste geval geldt: , in het tweede geval .
-
, dus de oppervlakte van het eerste is parallellogram is ; , dus de oppervlakte van het tweee is parallellogram is .
en ; , dus de oppervlakte van driehoek .
De bijbehorende determinant (zoals in het vorige onderdeel) heeft twee kolommen met gehele getallen, is dus ook geheel.
, , en
Verbind het inwendig roosterpunt met de hoekpunten van de driehoek. Zo heb je de driehoek in drie roosterdriehoeken verdeeld die elk minstens oppervlakte hebben.
De twee licht gekleurde delen in de figuur links hebben samen oppervlakte .
Het licht gekleurde parallellogram in de figuur rechts heeft oppervlakte . Die twee zijn gelijk, want de donker gekleurde driehoeken links en rechts hebben dezelfde oppervlakte.
Het parallellogram bij de vectoren en heeft één zijde twee keer zo lang.
....
Maak het verder zelf af.
is positief georiënteerd en spant een vierkant van bij op; ; verder en afhankelijk.
; dan en . Dan , dus of .
Positief: , , ; de andere drie negatief.
Vergelijk dat met wat er in opgave 77 gedaan is.
, want
is afhankelijk.
en
: de zes rijtjes vectoren spannen een kubus met ribbe
op; de eerste drie rijtjes vectoren hebben een positieve oriëntatie en de andere een negatieve.
Dit volgt direct uit de vorige twee onderdelen.
, ,
,
en
.
Van naar moet je schuiven over
, dus
.
Het is de absolute waarde van de determinant .
; ook
De inhoud van het viervlak is van een parallellepipedum met roosterpunten als hoekpunt, dus de inhoud van het viervlak is minstens . Door het inwendig roosterpunt met de hoekpunten te verbinden, verdeel je het viervlak in vier viervlakken met inhoud minstens .
Dat is zo als , met , afhankelijk is.
, dus .
Vul maar in.
Schrijf links en rechts van het gelijkteken uit en constateer dat je detzelfde uitdrukkingen krijgt.
, ,
Dat is:
.
is normaalvector van en
is normaalvector van
, dus
, staat loodrecht op normaalvectoren van
en , is dus richtingsvector van de snijlijn van
en .