Wat is analytische meetkunde?
Wat is analytische meetkunde?
Analytische meetkunde is een tak van de algebra die wordt gebruikt om meetkundige objecten te modelleren – punten, (rechte) lijnen en cirkels zijn hiervan de meest basale. Analytische meetkunde is een grote uitvinding van Descartes en Fermat.
In de vlakke analytische meetkunde worden punten gedefinieerd als geordende paren van getallen, zeg, (x, y), terwijl de rechte lijnen op hun beurt worden gedefinieerd als de verzamelingen van punten die voldoen aan lineaire vergelijkingen, zie de uitstekende uiteenzettingen van D. Pedoe of D. Brannan e.a. Vanuit het gezichtspunt van de analytische meetkunde zijn meetkundige axioma’s afleidbare stellingen. Bijvoorbeeld, voor twee verschillende punten (x1, y1) en (x2, y2) is er één enkele rechte ax + by + c = 0 die door deze punten gaat. De coëfficiënten a, b, c kunnen (tot op een constante factor) gevonden worden uit het lineair stelsel van twee vergelijkingen
ax1 + by1 + c = 0 ax2 + by2 + c = 0, |
Hoewel geen enkele axiomatische theorie kan ontsnappen aan het gebruik van ongedefinieerde elementen. In de verzamelingenleer, die ten grondslag ligt aan een groot deel van de wiskunde en in het bijzonder aan de analytische meetkunde, blijft het meest fundamentele begrip verzameling ongedefinieerd.
De meetkunde van de driedimensionale ruimte wordt gemodelleerd met drievoudige getallen (x, y, z) en een 3D lineaire vergelijking ax + by + cz + d = 0 definieert een vlak. In het algemeen is de analytische meetkunde een handig hulpmiddel om in hogere dimensies te werken.
In het kader van de analytische meetkunde kan men ook niet-Euclidische meetkunde modelleren (en doet men dat ook). In de vlakke projectieve meetkunde bijvoorbeeld is een punt een drietal homogene coördinaten (x, y, z), niet alle 0, zodanig dat
(tx, ty, tz) = (x, y, z), |
ax + bx + cz = 0. |
ax² + bxy + cy² + dx + ey + f = 0. |
Leave a Reply