Zome system in rational trigonometry and rational projective trigonometry
M M Almanjumi School of Maths UNSW Sydney 2052 Australia
Abstract
The work is devoted to the study of The Zome System in rational trigonometry and projective rational trigonom etry. By using The Zome System no more the Öfteen triangles and nineteen tetrahedrons have been found. Major results also include six new theorems which have been developed using rational trigonometry.
1 Introduction
Geometry continues to fascinate us over time with the patterns of sizes, angles and shapes using the universal language of mathematics to reveal those patterns. The Zome system is an exceptional ballandstrut system,
designed for children but also appeals to professionals in both Öeld of science and art. The system consists of geometric holes in sphereshaped connectors and each ball is linked to another by means of sticks with di§erent shapes and colours to make the construction simple.
A new theory of trigonometry, called rational trigonometry, was developed in 2005 by N. J. wildberger (UNSW)
in Divine Proportions: Rational Trigonometry to Universal Geometry, Wild Egg Books, Sydney, 2005. Rational trigonometry is a new framework that replaces distance and angle with quadratic concepts called quadrance and spread . The projective plane inherits a rich metrical structure which extends to higher dimensions and arbitrary Öelds, a fact which has major implications for algebraic geometry, and possibly also for di§erential geometry.
Thalesítheorem and Pythagorasítheorem are particularly important here with the wide variety of classical spherical formulas being replaced by simpler, polynomial relations.
In this project we are going to Örstly look at the background of the Zome system. Secondly we will then give basic
deÖnitions and facts of rational trigonometry covering four theorems proposed by N. J. Wildberger. We used these to establish 6 new theorems. This is done by constructing Öfteen possible triangles using the Zome system derived from a regular pentagon. Finally we give main deÖnitions and laws of projective trigonometry covering twelve theorems given by N. J. Wildberger. We then construct nineteen possible tetrahedrons using the Öfteen triangles that we found by using the Zome system. After determining the projective quadrances for each tetrahedron, we then used the Projective Cross Law Theorem in order to determine the projective spreads for each tetrahedron.
2 The Zome System
In structural design or construction, a Zome is a large family of geometric shapes that can be built and gives selfsupporting volumes without the need for internal support and in which one can live and enjoy all the space, cosmetics lines, the roundness of the dome, polygonal and no right angles. The structure is like a skeleton, and the organization of the balanced facets is of an amazing strength. As it is easy to construct, one can direct what he wants: from the niche of a dog, a bird aviary, a workshop, shelter with tools or materials, greenhouse as extra room and of course as a full habitat for the largest. The mathematics set of the Zome system is a plastic construction composed of balls and sticks called respectively nodes and struts. When assembled together they form an amazing mathematically and creatively fascinating structures. The Zome tool struts colours are usually red, yellow, blue, and green. They have respectively pentagon, tri angular, rectangle and rhombus end shapes. They come in small, medium and large sizes. However, we will not use the green ones in this project. Green struts are those generally necessary for building regular tetrahedrons, octahedrons and are a little harder to work with.
1
Figure 1: White node and struts
h t t p : / / w w w . g e o r g e h a r t . c o m / v i r t u a l  p o l y h e d r a / z o m e t o o l. h t m l
2.1 Possible constructions
Below are some possible constructions that be made from using the Zome system.
2.1.1 Tetrahedron This has four faces, four vertexes and six edges.
Figure 2: Tetrahedron
2
2.1.2
Cube
This has six faces, eight vertexes and twelve edges.
Figure 3: Cube h t t p : / / w w w . g e o r g e h a r t . c o m / v i r t u a l 
p o l y h e d r a / z o m e t o o l. h t m l
2.1.3 Octahedron
This has eight faces, six vertexes and twelve edges.
Figure 4: Terahedron and Octahedron
h t t p : / / w w w . g e o r g e h a r t . c o m / v i r t u a l  p o l y h e d r a / z o m e t o o l. h t m l
3
2.1.4
Dodecahedron
This has twelve faces, twenty vertexes and thirty edges.
Figure 5: Dodecahedron
h t t p :/ / w w w . g e o r g e h a r t . c o m / v i r t u a l 
p o l y h e d r a / z o m e t o o l. h t m l
2.1.5 Building Icosahedron
This has twenty faces, twelve vertexes and thirty edges. This can be done by Örst connecting twelve red (pentagon) struts to a white node and connecting twelve white nodes to each of the ends of those struts. This gives the foundation for the main structure, where each of twelve external white nodes are connected to the neighboring Öve white nodes using blue (rectangle) struts. After removing the internal white node and connected twelve struts it gives the Icosahedron.
Figure 6: Icosahedron
h t t p : / / w w w . g e o r g e h a r t . c o m / v i r t u a l  p o l y h e d r a / z o m e t o o l. h t m l
4
3
Rational trigonometry
It is a new framework for planar trigonometry and been proposed [N J Wildberger]). Rational trigonometry replaces distance and angle with quadratic concepts called quadrance and spread. The usual laws are replaced by purely algebraic analogs, with the consequence that they hold in much wider generality, allow more accurate calculations, and are much easier to learn. The usual menagerie of transcendental circular functions and their inverses play no role.
3.1 Basic deÖnitions and facts of rational trigonometry
DeÖnition 1 The quadrance Q(A _{1} ;A _{2} ) between the points A _{1} [x _{1} ;y _{1} ] and A _{2} [x _{2} ;y _{2} ] is the number
Q (A _{1} ;A _{2} ) (x _{2} x _{1} ) ^{2} + (y _{2}
y _{1} ) ^{2} :
DeÖnition 2 The spread s (l _{1} ;l _{2} ) ,which is a number between 0 and 1, is the notion of angle between to lines l _{1} and l _{2}
Theorem 3 The Triple quad formula suppose that A _{1} ;A _{2} and A _{3} are points with Q _{1} Q (A _{1} ;A _{2} ) ; Q _{2}
Q (A _{1} ;A _{3} ) and Q _{3} Q (A _{2} ;A _{3} ) : Then
(Q _{1} + Q _{2} + Q _{3} ) ^{2} = 2 ^{} Q ^{2} + Q _{2}
1
^{2}
+ Q
2
3 ^{} :
precisely when A _{1} ;A _{2} and A _{3} are collinear.
Theorem
4 Pythagorasí theorem
One of the fundamental theorems, in rational trigonometry becomes more general, extending to an arbitrary Öeld, not of characteristic two.
(A _{1} ;A _{3} ) and
(Pythagorasítheorem) Suppose that the triangle A _{1} A _{2} A _{3} has qudrances Q _{1} Q (A _{2} ;A _{3} ) ;Q _{2} Q Q _{3} Q (A _{1} ;A _{2} ) : Then
Q _{1} + Q _{2} = Q _{3}
precisely when A _{1} A _{3} and A _{2} A _{3} are perpendicular.
Theorem 5 The spread law
Suppose three
points A _{1} ;A _{2} and A _{3} form nonzero quadrances Q _{1} Q (A _{2} ;A _{3} ) ;Q _{2} Q (A _{1} ;A _{2} ) and Q _{3}
Q (A _{1} ;A _{3} ) : DeÖne the spreads s _{1}
s (A _{1} A _{2} ;A _{1} A _{3} ) ;s _{2} s (A _{2} A _{1} ;A _{2} A _{3} ) and
s _{3} s (A _{3} A _{1} ;A _{3} A _{2} ) : Then
s 1
Q
1
= ^{s} ^{2} = ^{s} ^{3} :
Q
2
Q
3
Theorem 6 The cross law
Suppose three points
A _{1} ;A _{2} and A _{3} form quadrances Q _{1} Q (A _{2} ;A _{3} ) ;Q _{2} Q (A _{1} ;A _{3} ) and Q _{3} Q (A _{1} ;A _{2} ) ;
and deÖne the cross c _{3} c (A _{3} A _{1} ;A _{3} A _{2} ) : Then
(Q _{1} + Q _{2} Q _{3} ) ^{2} = 4Q _{1} Q _{2} c _{3} :
5
3.2
Triangles, consisting of zome system
Using the zome system we can construct many triangle, each formed by 3 3 = 9 di§erent sticks: 3 blue called B _{1} ;B _{2} ;B _{3} ( respectively small, medium and large), also 3 red called R _{1} ;R _{2} ;R _{3} ( respectively small, medium and large), also 3 yellow called Y _{1} ;Y _{2} ;Y _{3} ( respectively small, medium and large).
Figure 7: Struts
These can be used to create triangles, and we are going to study some of these triangles to determine the quadrances of each of the sticks above, and also the spreads formed by any two sticks intersecting from a vertex ( white ball ). Consider Örst the following pentagon.
6
Figure 8: Pentagon
We will draw a line from A to C which will be B _{2} :
We have a triangle ABC and we are going to study this triangle as a Örst triangle.
3.2.1 The First Triangle:
Figure 10: The Örst triangle
7
As you can see this triangle ABC , we take this triangle from the pentagon above. So, we have in this triangle
We assume that
s
s
_{1}
_{2}
=
=
s _{3} = = ^{5} ^{} p ^{5}
8
= ^{5} ^{+} p ^{5}
8
Q(A; B) = Q(B; C) = B _{1} = 1
Now, we want to Önd B _{2} ; we can apply the spread law to Önd B _{2} ; the spread law is
s 1
Q
1
= ^{s} ^{2} = ^{s} ^{3}
Q
2
Q
3
By substituting the values that we have in the spread law
Hence,
Now, we have that
we can also infer that
8
B _{3} = ^{2}
3.2.2 The Second Triangle:
We can construct the second triangle from three sticks of B _{1} ; and we are also going to study this triangle.
Figure 11: The second triangle
8
we know in this triangle the three quadrances
Q(A; B) = Q(A; C) = Q(B; C) = B _{1} = 1:
So, we can use the cross law to Önd one of the three spreads. The cross law is
(Q _{1} + Q _{2} Q _{3} ) ^{2} = 4Q _{1} Q _{2} (1 s _{3} )
By substituting the values in the cross law
Hence,
We will have that
Because the triangle is equilateral. Hence,
3.2.3 The third triangle:
(B _{1} + B _{1} B _{1} ) ^{2} = 4B _{1} B _{1} (1 s _{3} )
(1 + 1 1) ^{2} = 4 (1) (1) (1 s _{3} )
s _{3} = ^{3}
4
s _{2} = s _{1} = s _{3} = ^{3}
4
we can construct the third triangle from two sticks of B _{2} and one stick of B _{1} :
We know in this triangle that
Figure 12: The third triangle
9
Q(A; B) = B _{1} = 1
Q(A; C) = Q(B; C) = B _{2} = = ^{1} _{2} ^{p} 5 + ^{3}
2
We know the three quadrances. So, we can use the cross law to Önd one of the three spreads.
(Q _{1} + Q _{2} Q _{3} ) ^{2} = 4Q _{1} Q _{2} (1 s _{3} )
By substituting the values in the cross law
(B _{1} 

Hence, 

(1 

We have that 

Thus, 

^{1} 
+
s _{3} =
_{4} ^{} 3+ ^{p} 5
2
_{}
+ B _{2} B _{2} ) ^{2} = 4B _{1} B _{2} (1 s _{3} )
) ^{2} = 4 (1) ( ) (1 s _{3} )
s _{3} = ^{1} _{} (4 1)
4
_{4}
3 + ^{p} 5
2
! 1 ! =
Because the triangle is isosceles Hence,
s _{3} = ^{5} ^{+} _{p} ^{5}
8
= = s _{1}
Now, we can apply the spread law to Önd s _{3} :
Hence,
s
3
B
s
= ^{s} ^{1}
B
m
s
3
= ^{}
5+ ^{p}
5
8
_{=} 5 ^{p} 5
1
3+ ^{p}
5
_{8}
^{=}
2
=
3.2.4 The fourth triangle:
We can construct the fourth triangle from two sticks of R _{1} and one stick of B _{1} :
Figure 13: The fourth triangle
10
we have that
Q(B; C) = R _{1} = = ^{5} ^{+} p ^{5}
8
Q(A; C) =
Q(A; B) = B _{1} = 1
We know the three quadrances. So, we can use the cross law to Önd one of the three spreads.
(Q _{1} + Q _{2} + Q _{3} ) ^{2} = 4Q _{1} Q _{2} (1 s _{3} )
By substituting the values in the cross law
Hence,
We have that
(R _{s} + R _{s} B _{s} ) ^{2} =
4R _{s} R _{s} (1 s _{3} )
( + 1) ^{2} = 4 ( ) ( ) (1 s _{3} )
s _{3} =
1
4 _{2} (4 1) =
Now, we can apply the spread law to Önd s _{1} .
By substituting the values.
Thus,
Because the triangle is isosceles. Hence,
^{1}
_{4}
s _{1} = s _{2} = ^{4}
5
5 + ^{p} 5
8
! 1 ! = ^{4}
5
3.2.5 The Öfth triangle:
We can construct the Öfth triangle from one stick of B _{1} ; one stick of R _{2} and one stick of Y _{1} :
Figure 14: The Öfth triangle
11
we have that
B _{1} = 1;R _{2} = ^{4} ^{}
s _{3}
=
5
In this case we have two quadrances and one spread, so, by using the cross law we will Önd the third quadrance which is Y _{1} :
(B _{1} + R _{2} Y _{1} ) ^{2} = 4B _{1} R _{2} (1 s _{3} )
Hence 

(1 
+ Y _{1} ) ^{2} = 4 

We have that 
+ 1
Now, we have a quadratic equation.
(1 + ) ^{2} + Y
2 2 (1 + ) Y _{1} = ^{2}
1
2
Y
1
2 (1 + ) Y _{1} + (1 + ) ^{2} ^{2} = 0
By solving the quadratic equation, we have that
From this result we infer that
Y _{2}
Y _{3}
Y _{1} = ^{3}
4
=
=
3
4
3
4
^{}
^{} 2
Now, we can apply the spread law to Önd s _{1} :
By substituting the values.
Hence,
s
1
B
1
=
^{s}
^{3}
Y
1
s
1
1
^{=}
4
5
3
4
s _{1} = ^{1}^{6} 15 ^{}
We can also apply the spread law to Önd s _{2} :
By substituting the value.
s
2
R
2
=
12
^{s}
^{3}
Y
1
Hence, 

3.2.6 
The sixth triangle: 
s 2
^{=}
4
5
3
4
1
s _{2} = _{6} ^{p} 5 +
1
2 ^{=} 3
We can construct the sixth triangle from one stick of R _{1} ; one stick of R _{2} and one stick of Y _{2} :
Figure 15: The sixth triangle
we know in this triangle (by comparing this triangle with the previous triangles which we previously solved them)
Q(A; C)
s _{2}
= Y _{2} = ^{3} _{4} ; Q(B; C) = R _{2} = ; Q(A; B) = R _{1} =
=
^{4}
5
Now, we can apply the spread law to Önd s _{1} .
s
1
R
2
= ^{s} ^{2} = ^{s} ^{3}
Y
2
R
1
By substituting the values in the spread law.
Hence,
_{s}
R
1
m
= ^{s} ^{2}
Y
m
s
1
^{=}
4
5
3
4
^{}
13
We have that
s 1 = 16
15
We can also apply the spread law to Önd s _{3} :
3.2.7 The seventh triangle:
we can construct the seventh triangle from one sticks of medium blue (B _{2} ) , one stick of medium red (R _{2} ) and one stick of small yellow (Y _{1} ) .
Figure 16: The seventh triangle
In this triangle we know the spreads s _{2} and the three quadrances B _{2} ;R _{2} and Y _{1} by comparing this triangle with the previous triangles.
Q(B; C) =
_{s} _{2}
_{=}
R _{2} = ; Q(A; C) = B _{2} = ; Q(A; B) = Y _{1} = ^{3}
4
16
15
14
Now, we want to Önd s _{2} by applying the spread law we will have:
We have that
Notice that
Thus,
3.2.8 The eighth triangle:
3 4
s _{3} =
48
60
= ^{4}
5
_{} =
s 3 = 4
5 ^{}
We can construct the eighth triangle from two sticks of Y _{2} and one stick of B _{1} :
15
Figure 17: The eighth triangle
In this triangle we have the two spreads (s _{1} , s _{2} ) and the three quadrances by comparing this triangle with the previous triangle.
3
Q(A; C) = Q(B; C) = Y _{2} = _{4} ; Q(A; B) = B _{1} = 1
_{s} 1
_{=}
16 ^{2}
^{=}
15
1
_{6} ^{p} 5 + ^{1} _{2} = ^{} _{3} = s _{2}
Now, by using the spread law, we can Önd s _{3}
Hence,
We have that
Notice that
we can substitute for and :
Thus,
16
3.2.9
The ninth triangle:
We can construct the ninth triangle from two stick of Y _{1} and one stick of B _{1} :
Figure 18: The ninth triangle
We know in this triangle that
3
Q(A; C) = Q(B; C) = Y _{1} = _{4} ; Q(A; B) = B _{1} = 1
We know the three quadrances. So, we can use the cross law to Önd one of the three spreads.
Hence,
We have that
Because the triangle is isosceles. Thus,
(B _{1} + Y _{1} + Y _{1} ) ^{2} = 4B _{1} Y _{1} (1 s _{1} )
1 +
3
4 ^{}
3
_{4} 2 = 4 (1) _{4} (1 s _{1} )
3
s 1 = _{2}
3
s 1 = s 2 = 2
3
Now, we can use the spread law to Önd s _{3}
s 3
= ^{s} ^{2}
B 
1 
Y 1 

Hence ; 

2 

s 
3 
3 

^{=} 

1 
3 

4 

We have that, 
s 3 = 8
9
17
3.2.10
The tenth triangle:
Figure 19: The tenth triangle
We know in this triangle the following,
Q(A; B) = Y _{2} = ^{3} _{4} ; Q(B; C) = Y _{1} = _{4} ; Q(A; C) = R _{1} = = ^{5} ^{+} p ^{5}
3
8
s _{1}
=
^{4}
+ 3 _{=} 16
15
3
_{s} 2 _{=}
64 ^{2}
45
= ^{4}
9
In this case we know two spreads and the the three quadrances. So, we can use the spread law to Önd the third spread s _{3} :
Thus ;
We have that,
we can substitute for
.
Hence ;
Notice that
s _{3} =
18
Thus,
s 3 = 16
15
3.2.11 The eleventh triangle:
Figure 20: The eleventh triangle
We know in this triangle that
Q(A; C) = Q(B; C) = Y _{1} = ^{3}
4
Q(A; B) = B _{2} = = ^{3} ^{+} p ^{5}
2
For this triangle we know the three quadrances. So, we can use the cross law to Önd s _{1} :
Thus,
We have that
We will call
Thus,
Because the triangle is isosceles Hence,
B _{2} +
3
4 ^{} 4 2
3
=
4B _{2} Y _{1} (1 s _{1} )
+
3
4 ^{} 3
_{4} 2 = 4( ) _{4} (1 s _{1} )
3
= _{3} _{} ^{} 3+ ^{p} 5
2
3
_{s} 1 _{=} 3
3
3
^{p} 5
2
3
^{=}
3 ^{p} 5
2
=
s 1 =
3
s 1 = s 2 =
3
Now we know the three quadrances and two spreads. So, We can use the spread law to Önd the third spread s _{3} :
s
3
^{s}
^{1}
=
B
m
Y
s
19
Hence ;
Notice that
Thus,
: 

3.2.12 
The twelfth triangle: 
s 3
3
3
^{=}
3
4
= ^{3} ^{+} _{p} ^{5}
2
s 3 = 4
9
Figure 21: The twelfth triangle
We know in this triangle the following
R
B
s
_{1}
_{2}
_{1}
=
=
=
s _{2} =
+ 1 ^{=} 4
1
5
We know three quadrances and two spreads in this case we can apply the spread law to Önd the third spread s _{3} :
Hence ;
We have that
Notice that
Thus,
s
3
B
2
= R ^{s} ^{1}
1
s _{3} =
s
3
^{=}
4
5
4
5
= 5 ^{4}
^{}
^{=} 1
s 3 =
4
5
20
3.2.13
The thirteenth triangle:
We can construct the thirteenth triangle from one stick of B _{3} ; one stick of R _{1} and one stick of Y _{3} :
Figure 22: The thirteenth triangle
when we compare this triangle with the previous triangles we would have the all three spreads which appear in the previous triangles and the three quadrances as well.
Q(A; C) 
= 
Y _{3} = ^{3} _{4} ^{2} 

Q(A:b) 
= 
B _{3} = 
^{2} 
Q(B; C) = R _{1} =
_{s}
_{1}
_{=}
s _{2} =
_{s} 3 _{=}
= _{3} _{} ^{} 3+ ^{p} 5
3 
1 
1 

2 
^{=} 

3 
3 
2 ^{} 
_{6} ^{p} 5 = ^{}^{} 3 

^{4} 5 

16 

15 
3.2.14 The fourteenth triangle:
We can construct the fourteenth triangle from one stick of B _{2} ; one stick of R _{1} and one stick of Y _{3} :
Figure 23: The fourteenth triangle
21
We know in this triangle the following:
_{s}
s
_{1}
_{2}
_{=}
=
Now, we know three quadrances and two spreads. So, we can use the spread law to Önd the third spread s _{3} :
Hence,
we have that
Notice that
Thus,
We have that
s _{3} =
s 3
s 3
Y b
s 3 = 4
5
3.2.15 The Öfteenth triangle:
We can construct the Öfteenth triangle from one stick of B _{1} ; two stick of R _{1} and one stick of B _{2} :
22
Figure 24: The Öfteenth triangle
when we compare this triangle with the previous triangles we would have the all three quadrances which appear in the previous triangles and the three spreads as well instead of s _{2} which is equal to 1. The three quadrances are:
Q(A; B) = B _{2} =
The three spreads are:
Q(A:C) = ^{2}
Q(B; C) = B _{1} = 1
s
s
s
_{1}
_{2}
_{3}
=
=
=
^{4} ^{}
5
1
^{4}
5
3.3 Some theorems that we can get from the triangles above.
Theorem 7 The possible spreads between two blue sticks is
; ; 1 and
3
4 ^{:}
Theorem 8 The possible spreads between two red sticks is
4
5 ^{:}
Theorem 9 The possible spreads between two yellow sticks is
:
4
9
and ^{8}
9
23
Theorem 10 The possible spreads between blue stick and red stick is
4
5
and ^{4} 5 ^{}
^{:}
Theorem 11 The possible spreads between blue stick and yellow stick is
_{;}
3
3
and
2
3 ^{:}
Theorem 12 The possible spreads between red stick and yellow stick is
16
and ^{1}^{6} ^{}
15 15 ^{:}
In brief, this a catalog of ZOME triangles which is made by using ZOME system.
24
Figure 25: A catalog of ZOME triangles
So far we have found no more than Öfteen triangles by using The Zome System.
25
4
Rational projective trigonometry
As rotation of earth a§ects our view of sky and the objects in it. Though the longitudinal angle becomes an important and unavoidable concept but for many spherical geometrical applications, there is no uniform motion around a Öxed axis that plays such a distinguished role. For this kind of ëstationaryíspherical geometry there is a rational version of the classical theory which again is simpler, more elegant and accurate. This theory is developed in the more natural setting of projective trigonometry. The projective plane inherits a rich metrical structure which extends to higher dimensions and arbitrary Öelds. The sphere has equation x ^{2} +y ^{2} +z ^{2} = 1 and center O = [0; 0; 0] : Any two nonantipodal points A and B lying on it determine a unique spherical line, or great circle arc, which is the intersection of the sphere with the plane OBA . Any two such spherical lines intersect at a pair of antipodal points. In nineteen century, an alternative of Önding the antipodal points on the sphere is consider the associated line through the origin O passing through the antipodal points. Such a line will be called a projective point . Similarly a plane through O will be called a projective line . Figure below shows a spherical triangle formed by three spherical points A , B and C and three great circle arcs, and on the right the corresponding projective triangle, consisting of three projective points a , b and c , and the three projective lines that they form.
Figure 25: Spherical and projective triangle h t t p : / / w il d e g g . c o m / p a p e r s / P r o j e c t i v e T r i g . p d f
26
4.1
Main deÖnitions and laws of Projective trigonometry
DeÖnition 13 A projective triangle a _{1} a _{2} a _{3} is a set of three noncollinear projective points.
Figure 27: Three views of a projective triangle h ttp ://w ildegg .com /papers/P ro jec tiveTr ig .pd f
DeÖnition 14 The projective quadrance q(a _{1} ;a _{2} ) between two projective points a _{1} and a _{2} is deÖned to be the spread between them.
DeÖnition 15 The projective spread S(L _{1} ;L _{2} ) between two projective lines L _{1} and L _{2} is deÖned to be the spread between them.
4.1.1 Theorem 1 (projective Thalesítheorem)
suppose L _{1} and L _{2} are distance projective lines intersection at the projective point a and with a projective spread of S . Choose a projective point b 6= a on one of the lines, say L _{1} ; and let c be the projective point which is the foot of the (or a ) perpendicular projective line N from b to L _{2} as in Ögure . If q (b; c) = q and q (a; b) = r then
S = ^{q}
r
27
Figure 28: Projective Thalesítheoremñspherical and projective views h t t p : / / w il d e g g . c o m / p a p e r s / P r o j e c t i v e T r i g . p d f
4.1.2 Theorem 2 (Projective triple quad formula)
If the three projective points a _{1} ;a _{2} and a _{3} are collinear, then
(q _{1} + q _{2} + q _{3} ) ^{2} = 2 ^{} q
2
1
+ q
2
2
+
q
2
3
^{} + 4q _{1} q _{2} q _{3} :
4.1.3 Theorem 3 (Dual projective triple quad formula)
If the three projective lines L _{1} ;L _{2} and L _{3} are concurrent, then
(S _{1} + S _{2} + S _{3} ) ^{2} = 2 ^{} S
2
1
+
S
2
2
+
S
2
3
^{} + 4S _{1} S _{2} S _{3} :
4.1.4 Theorem 4 (Projective Pythagorasítheorem)
Suppose that a _{1} a _{2} a _{3} is a projective triangle with projective quadrances q _{1} ;q _{2} and q _{3} ; and projective spreads S _{1} ;S _{2} and S _{3} : If S _{3} = 1 then
q _{3} = q _{1} + q _{2} q _{1} q _{2} :
28
4.1.5
Theorem 4 (Dual projective Pythagorasítheorem)
Suppose that a _{1} a _{2} a _{3} is a projective triangle with projective quadrances q _{1} ;q _{2} and q _{3} ; and projective spreads S _{1} ;S _{2} and S _{3} : If q _{3} = 1 then
S _{3} = S _{1} + S _{2} S _{1} S _{2} :
Figure 29: Pythagorasítheoremñspherical view
h t t p : / / w il d e g g . c o m / p a p e r s / P r o j e c t i v e T r i g . p d f
4.1.6 Theorem 6 (Projective spread law)
Suppose that a _{1} a _{2} a _{3} is a projective triangle with projective quadrances q _{1} ;q _{2} and q _{3} ; and projective spreads S _{1} ;S _{3} and S _{3} : Then
S 1
= ^{S} ^{2} = ^{S} ^{3} :
q
1
q
2
q
3
4.1.7 Theorem 7 (Projective cross law)
Suppose that a _{1} a _{2} a _{3} is a projective triangle with projective quadrances q _{1} ;q _{2} and q _{3} ; and projective spreads S _{1} ;S _{2} and S _{3} : Then
(S _{3} q _{1} q _{2} q _{1} q _{2} q _{3} + 2) ^{2} = 4 (1 q _{1} ) (1 q _{2} ) (1 q _{3} ) :
4.1.8 Theorem 8 (Dual projective cross law)
Suppose that a _{1} a _{2} a _{3} is a projective triangle with projective quadrances q _{1} ;q _{2} and q _{3} ; and projective spreads S _{1} ;S _{2} and S _{3} : Then
(S _{1} S _{2} q _{3} S _{1} S _{2} S _{3} + 2) ^{2} = 4 (1 S _{1} ) (1 S _{2} ) (1 S _{3} ) :
4.1.9 Theorem 9
The projective quadrea A = A (a _{1} ;a _{2} ;a _{3} ) of the projective points a _{1} = [x _{1} : y _{1} : z _{1} ] ;a _{2} = [x _{2} : y _{2} : z _{2} ] and a _{3} = [x _{3} : y _{3} : z _{3} ] i
_{A} _{=} (x _{1} y _{2} z _{3} x _{1} y _{3} z _{2} x _{2} y _{1} z _{3} + x _{2} z _{1} y _{3} + y _{1} x _{3} z _{2} x _{3} y _{2} z _{1} ) ^{2}
(x ^{2} + y
1
2
1
+ z
2
1
) (x _{2} ^{2} + y
2
2
+ z
2
2
2
) (x _{3} + y
2
3
+ z
2
3
)
29
4.1.10
Theorem 10 (Right projective triangle)
Suppose a right projective triangle has projective quadrances q _{1} ;q _{2} and q _{3} ; and projective spreads S _{1} ;S _{2} and S _{3} = 1:
Then any two of the Öve quantities fq _{1} ;q _{2} ;q _{3} ;S _{1} ;S _{2} g determine the other three, solely through the three basic equation
q _{3} = q _{1} + q _{2} q _{1} q _{2}
S _{1} = ^{q} ^{1}
q
2
S _{2} = ^{q} ^{2}
q
3
Figure 30: Right projective triangle
h t t p : / / w il d e g g . c o m / p a p e r s / P r o j e c t i v e T r i g . p d f
4.1.11 Theorem 11 (Projective isosceles triangle)
Suppose a projective isosceles triangle has projective quadrances q _{1} = q _{2} = q and q _{3} ; and projective spreads S _{1} = S _{2} = S and S _{3} : Then
_{q} 3 _{=} 4q (1 S) (1 q)
(1 S _{q} ) ^{2}
_{a}_{n}_{d}
30
_{S} 3 _{=} 4S (1 S) (1 q)
(1 S _{q} ) ^{2}
Figure 31: Projective isosceles triangle
h t t p : / / w il d e g g . c o m / p a p e r s / P r o j e c t i v e T r i g . p d f
4.1.12 Theorem 12 (Equilateral projective triangles)
Suppose that a projective triangle is equilateral with common projective quadrance q _{1} = q _{2} = q _{3} = q; and with common projective spread S _{1} = S _{2} = S _{3} = S: Then
(1 S _{q} ) ^{2} = 4 (1 S) (1 q) :
4.2 Tetrahedrons, consisting of ZOME triangles.
Using ZOME triangles we can construct many tetrahedrons based on the triangles that we have previously studied in subsection 3.2. This is made possible to achieve by projecting a line from each angle (ball) of the triangles previously built to a single point connected by another ball forming a tetrahedron and we are going to study some of these tetrahedrons to determine the projective spread and the projective quadrnace. In the following subsection 4 random tetrahedrons have been studied to determine the projective spread and the projective quadrance.
31
4.2.1
The Örst tetrahedron
Figure 32: The Örst tetrahedron
Figure 33: The Örst tetrahedron
32
Figure 34: The Örst tetrahedron consisting of four zome triangles
4.2.2 The main results of the Örst tetrahedron.
Projective spreads
S _{1} = ^{5}
6
S _{2} = ^{5}
6
S _{3} = ^{5}
6
S _{4} = ^{1}^{5}
16
S _{5} = ^{1}^{5}
16
S _{6} = ^{1}^{5}
16
Vertex 
Projective quadrances 

A 
1 
q 11 = ^{8} 9 ;q _{1}_{2} = _{9} ^{8} and q _{1}_{3} = ^{8} 9 
A 
2 
q 21 = _{3} ;q _{2}_{2} = _{3} and q _{2}_{3} = ^{3} 2 2 4 
A 
3 
q 31 = _{4} ;q _{3}_{2} = _{3} and q _{3}_{3} = ^{2} 3 2 3 
A 
4 
q 41 = _{3} ;q _{4}_{2} = _{3} and q _{4}_{3} = ^{3} 2 2 4 
There are 4 vertexes and each vertex has a projective triangle.
33
a) Projective triangle at vertex A _{1} :
Figure 35: Projective triangle at vertex A _{1}
Now, we know q _{1}_{1} ;q _{1}_{2} and q _{1}_{3} :
q 11 = q 12 = q 13 = ^{8}
9 ^{:}
So, we can use the projective cross law to Önd the three face spreads (Projective spreads).
Firstly , we want to compute the projective spread S _{4} by using the projective cross law. This will lead to
(S _{4} q _{1}_{2} q _{1}_{3} q _{1}_{1} q _{1}_{2} q _{1}_{3} + 2) ^{2}
=
4 (1 q _{1}_{1} ) (1 q _{1}_{2} ) (1 q _{1}_{3} )
Therefore, susbtituting the values in the law we get:
The solution is:
S _{4} ^{8} ^{8}
9
9 ^{} 9 8
^{8} ^{8}
9
_{9} + 2 2 = 4 1 ^{8} 1 ^{8}
9
9
4
_{6}_{5}_{6}_{1}
(32S _{4} 27) ^{2} =
^{4}
729
S _{4} =
15 3
16 ^{o}^{r}
4
1 _{8} 9
Secondly , we want to compute the projective spread S _{5} by using the projective cross law. This will lead to
(S _{5} q _{1}_{1} q _{1}_{3} q _{1}_{1} q _{1}_{2} q _{1}_{3} + 2) ^{2}
=
4 (1 q _{1}_{1} ) (1 q _{1}_{2} ) (1 q _{1}_{3} )
Therefore, susbtituting the values in the law we get:
S _{5} ^{8} ^{8}
9
9 ^{} 9 8
^{8} ^{8} _{9} + 2 2 = 4 1 ^{8} 1 ^{8}
9
9
9
4
_{6}_{5}_{6}_{1}
(32S _{5} 27) ^{2} =
Viel mehr als nur Dokumente.
Entdecken, was Scribd alles zu bieten hat, inklusive Bücher und Hörbücher von großen Verlagen.
Jederzeit kündbar.