Pagina 1 van 1

Twee vierkanten

Geplaatst: 21 nov 2016, 15:47
door pazzie
Gegeven: Twee vierkanten die over elkaar heen liggen. Een vierkant heeft zijde 1, het andere vierkant heeft zijde wortel 2. Het middelpunt van het grote vierkant ligt in of op de rand van het kleine vierkant.

Gevraagd: Te bewijzen dat de oppervlakte van de doorsnijding van de twee vierkanten minimaal 1/2 bedraagt.

Ik zit er al een tijd op te puzzelen maar heb nog geen sluitend bewijs kunnen vinden.

Re: Twee vierkanten

Geplaatst: 21 nov 2016, 16:17
door SafeX
Heb je een tekening, kan je een functie van de samenvallende opp opstellen ...

Re: Twee vierkanten

Geplaatst: 21 nov 2016, 17:06
door pazzie
Met wolframalfa.com kun je het als volgt berekenen voor het speciale geval dat grote vierkant 45 graden gedraaid is en middelpunt van grote vierkant op hoekpunt kleine vierkant ligt:

Integrate[Boole[x+y<=1]Boole[x-y<=1]Boole[x+y>=-1]Boole[x-y>=-1], {x,0,1}, {y,0,1}] = 1/2

Voor andere draaiingshoeken en verschuivingen is het ook uit te rekenen, alleen dat schrijft wat langer.
Maar ik zoek eigenlijk een (liefst kort :-) ) geometrisch bewijs...

Re: Twee vierkanten

Geplaatst: 21 nov 2016, 17:17
door SafeX
Maar dan ben je er toch, zodra het middelpunt van het grote vierkant op dan wel binnen het kleine vierkant lig heb je een grotere overlapping ...

Re: Twee vierkanten

Geplaatst: 21 nov 2016, 17:18
door pazzie
Plaatje kun je ook vinden met http://www.wolframalpha.com, door bijvoorbeeld het volgende in te voeren:

intersection of square 1x1 and square sqrt(2) x sqrt(2) rotated 45 degrees center (.5,.5)

(Ik weet niet hoe ik hier een plaatje toe kan voegen, anders had ik het resultaat van bovenstaande even bijgevoegd...)

Re: Twee vierkanten

Geplaatst: 21 nov 2016, 17:23
door pazzie
Ik zie nog niet direct een altijd grotere intersectie. De overlapping kan ook weer kleiner worden zodra een punt er uit gaat steken...

Re: Twee vierkanten

Geplaatst: 21 nov 2016, 17:29
door pazzie
Als je bijvoorbeeld het grote vierkant 40 graden draait met

intersection of square 1x1 and square sqrt(2) x sqrt(2) rotated 40 degrees center (.5,.5)

en je laat hem daarna een stukje zakken is het niet meteen duidelijk dat het oppervlakte altijd groter wordt.

Re: Twee vierkanten

Geplaatst: 22 nov 2016, 10:25
door SafeX
Plaats het midden van het grote vierkant (G) in een hoekpunt van het kleine vierkant (V), zo dat de diagonalen van G samenvallen met de zijden van V. Hoe groot is de opp van de overlapping, noem dit O? O=...
Roteer G over een hoek alpha om het hoekpunt (bv in wijzerrichting). Dan is O= ... ?

Re: Twee vierkanten

Geplaatst: 22 nov 2016, 10:51
door pazzie
Als het middelpunt van het grote vierkant in het hoekpunt van het kleine vierkant ligt dan is eenvoudig in te zien dat de oppervlakte van de overlapping precies 1/2 is, onafhankelijk van de draaihoek van het grote vierkant. Het kleine vierkant hapt dan namelijk exact een kwart van het grote vierkant, die een oppervlakte van 2 heeft.
Het andere eenvoudige geval is als de middelpunten samenvallen. Dan wordt het kleine vierkant altijd geheel overdekt en is de overlapping dus 1.

Blijft over de andere gevallen...

Re: Twee vierkanten

Geplaatst: 22 nov 2016, 11:49
door SafeX
Prima, laat nu het midden van G langs een zijde van V lopen, stel de afstand tot het hoekpunt x ...

Re: Twee vierkanten

Geplaatst: 23 nov 2016, 13:18
door pazzie
Als je het antwoord weet SafeX mag je het gerust geven hoor, ben ik alleen maar blij mee! :-)

Re: Twee vierkanten

Geplaatst: 23 nov 2016, 14:16
door SafeX
pazzie schreef:Als je het antwoord weet SafeX mag je het gerust geven hoor, ben ik alleen maar blij mee! :-)
Ik ga er van uit, dat je zelf wilt puzzelen ...

Re: Twee vierkanten

Geplaatst: 24 nov 2016, 09:57
door pazzie
SafeX schreef: Ik ga er van uit, dat je zelf wilt puzzelen ...
Ik houd zeker van puzzelen en wil er ook weer mee verder gaan zodra ik wat meer tijd heb. Maar alle hulp, suggesties en oplossingen zijn van harte welkom!
:-)

Re: Twee vierkanten

Geplaatst: 26 nov 2016, 22:49
door pazzie
Ik ben weer een stukje verder gekomen (als ik geen fout heb gemaakt tenminste!).
Ik heb het speciale geval bekeken waarbij het grote vierkant 45 graden gedraaid is. Het linksonder hoekpunt van het kleine vierkant ligt op (0,0), het middelpunt van het grote vierkant ligt op (x,y), met 0<=x<=1, 0<=y<=1. Het is dan eenvoudig in te zien dat er (in het algemeen) vier punten van het grote vierkant buiten het kleine vierkant steken, met mogelijk wat overlap tussen deze vier punten) en dat de oppervlakte van deze vier punten x^2, y^2, (1-x)^2 en (1-y)^2 bedraagt.
Er zijn altijd maximaal twee stukjes overlappend in deze vier punten met oppervlakte 0.5*(1-x-y)^2 en 0.5*(y-x)^2.
Dan kom ik op een oppervlakte van de overdekking van het kleine vierkant door het grote vierkant van

2-x^2-y^2-(1-x)^2-(1-y)^2+0.5*(1-x-y)^2+0.5*(y-x)^2 = 0.5 + x*(1-x) + y*(1-y)

Hetgeen duidelijk altijd minimaal 0.5 bedraagt.

Gezien de eenvoud van de formule zou het me niet verbazen als er een eenvoudigere afleiding is...
Maar ik ga eerst eens kijken of ik het op deze manier ook voor willekeurige verdraaiingshoek uit kan rekenen.
:-)