Dat de oppervlaktes van de twee rechthoeken gelijk zijn.
De oppervlakte links is: en
rechts: .
Zowel als
is gelijk aan de lengte van de hoogtelijn uit
van driehoek .
, en .
Werk de haakjes weg. Aan beide kanten valt
tegen elkaar weg.
Als je vervolgens beide kanten van de gelijkheid door deelt, krijg je het gewenste resultaat.
,
In het eerste geval:
en
, dus
, dus
.
In het tweede geval:
en
, dus
, dus
exact.
, dus
exact.
Eenvoudiger is op te merken dat driehoek een gelijkbenige rechthoekige driehoek is.
We berekenen de hoek ϕ tussen de vectoren en
:
, dus
, dus
.
, ϕ ;
, ϕ ;
, ϕ .
Noem de hoek tussen de vectoren ϕ.
Als het inproduct positief is, dan moet
positief zijn, dus is
ϕ scherp.
Als het inproduct negatief is, dan moet
negatief zijn, dus is
ϕ stomp.
heeft richtingsvector , dit is een normaalvector van
lijn , dus een vergelijking van lijn
is .
Het snijpunt van lijn met kun je nu exact berekenen.
Dit geeft: .
De projectie van is . De lengte hiervan is: .
, dus .
De lengte van de projectie is .
Kies als richtingsvector van lijn : . De lengte van de projectie is: .
en als richtingsvector van lijn kiezen we . De lengte van de projectie is: .
De grootte is .
, dus glijdt het voorwerp naar beneden.
, dus glijdt het voorwerp niet naar beneden.
.
Kwadrateren geeft: , dus
.
We passen de stelling uit deze paragraaf toe.
Een richtingsvector van lijn
is . Dus
.
Met de stelling van Ceva.
,
dus , dus
.
-
De eerste coördinaat is en de tweede .
, dus
.
.
Het stuk dat droog blijft is .
Maximaal als en in elkaars verlengde liggen, dan is , dus
dan is de diagonaal vanuit van de rechthoek evenwijdig aan de grond.
Minimaal als ,
want dan is de projectie van op minimaal, dan staat het blok rechtop op de korte zijde.
Geef het punt de naam .
en je ziet met het inproduct:
.
Dus
,
en
.
Samen geeft dit de gestrekte hoek bij .