<< ώρπ. 10(βώεψν 13)―ΈΡ≈–ΤάΆ»≈ >>

2. A base of vectors for the plane

2.1 Draw, for example, two vectors of the first quadrant and mark u1, u2, v1 and v2 on the
Cartesian axis. Then calculate the area of the parallelogram from the areas of the
rectangles:

A = ( u1 + v1 ) ( u2 + v2 ) βà’ u1 u2 βà’ v1 v2 βà’ 2 v1 u2 = u1 v2 βà’ u2 v1

2.2 The area of a triangle is the half of the area of the parallelogram formed by any two
sides. Therefore:

A = ( 3 e1 + 5 e2 ) βà§ ( βà’2 e1 βà’ 3 e2 ) = ( βà’9 + 10 ) e12 = e12 β΅’ οΘ¦AοΘ¦ = 1

a b c = ( a1 e1 + a2 e2 ) ( b1 e1 + b2 e2 ) ( c1 e1 + c2 e2 )
2.3

= [ a1 b1 + a2 b2 + e12 ( a1 b2 βà’ a2 b1 ) ] ( c1 e1 + c2 e2 )

= e1 (a1 b1 c1 + a2 b2 c1 + a1 b2 c2 βà’ a2 b1 c2) + e2 (a1 b1 c2 + a2 b2 c2 βà’ a1 b2 c1 + a2 b1 c1)
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 209

= ( c1 e1 + c2 e2 ) [ b1 a1 + b2 a2 + e12 ( b1 a2 βà’ b2 a1 ) ] =

= ( c1 e1 + c2 e2 ) ( b1 e1 + b2 e2 ) ( a1 e1 + a2 e2 ) = c b a

u v = ( 2 e1 + 3 e2 ) ( βà’3 e1 + 4 e2 ) = 6 + 17 e12
2.4

u v = 325 Έ±(u, v) =1.2315=70¬Κ33'36"

2.5 For this base we have:

3
e1 ¬· e2 = | e1 | | e2 | cos œÄ/3 = 1 | e1 βà§ e2 | = | e1 | | e2 | | sin œÄ/3 | =

Applying the original definitions of the modulus of a vector one finds:

u = 52
u2 = ( 2 e1 + 3 e2 )2 = 4 e12 + 9 e22 + 12 e1 ¬· e2 = 4 + 36 + 12 = 52 β΅’

v = 49
v2 = (βà’3 e1 + 4 e2 )2 = 9 e12 + 16 e22 βà’ 24 e1 ¬· e2 = 9 + 64 βà’24 = 49 β΅’

u v = ( 2 e1 + 3 e2 ) (βà’3 e1 + 4 e2 ) = βà’6 e12 + 12 e22 + 8 e1 e2 βà’9 e2 e1 =

u v = 2548
= 42 βà’ e1 ¬· e2 + 17 e1 βà§ e2 = 41 + 17 e1 βà§ e2 β΅’

uβà§v
u¬·v 41 17 3
cos Έ± = sinΈ± = ¬±
= =
uv uv
2548 2548

Έ±(u, v) = 0.6228=35¬Κ 41' 5" oriented with the sense from e1 to e2 .

When e1 and e2 are not perpendicular, e1 e2 βâ† βà’ e2 e1 and e12 has not the meaning of a pure
area but the outer product e1 βà§ e2 with an area of 3 . Also observe that u v = u v .

2.6 In order to find the components of v for the new base {u1, u2}, we must resolve the
vector v into a linear combination of u1 and u2 .

v = c1 u1 + c2 u2

3 (βà’ 3) βà’ (βà’ 5) 5 u1 βà§ v 2 (βà’ 5) βà’ (βà’ 1) 3
v βà§ u2
c1 = = = βà’16 c2 = = =7
u1 βà§ u 2 βà’1 u1 βà§ u 2 βà’1

so in the new base v = (βà’16, 7).

3. The complex numbers

3.1 z t = ( 1 + 3 e12 ) ( βà’2 + 2 e12 ) = βà’2 βà’6 + ( 2 βà’6 ) e12 = βà’8 βà’4 e12
RAMON GONZALEZ CALVET
210

3.2 Every complex number z can be written as product of two vectors a and b, its modulus
being the product of the moduli of both vectors:
2 22
β΅’ |z|=|a||b| β΅’ οΘ¦zοΘ¦ = a b = a b b a = z z*
z=ab
4
3.3 The equation x βà’1 = 0 is solved by extraction of the fourth roots:

x2 = 1 β΅’ x1 = 1, x2 = βà’1
4
x =1
x2 = βà’1 β΅’ x3 = e12 , x4 = βà’e12

3.4 Passing to the polar form we have:

( ) ( )
n n
= βà’ 2 βà’œÄ / 4
2œÄ /4

= βà’ 2n = 2n
2n 2n
β΅’
βà’ n œÄ/4 βà’ n œÄ/4 +œÄ
nœÄ /4 n œÄ/4

Therefore the arguments must be equal except for k times 2œÄ:

nœÄ
nœÄ nœÄ
=βà’ +œÄ + 2 k œÄ β΅’ =œÄ + 2 k œÄ β΅’ n=2+4k
4 4 2

3 3 3
3.5 The three cubic roots of βÄ“3 + 3 e12 are 18 œÄ / 4 , 18 11 œÄ / 12 , 18 19 œÄ / 12 .

3.6 Using the formula of the equation of second degree we find: z1 = 2βà’3 e12, z2 = 1+e12.

3.7 We suppose that the complex analytic extension f has a real part a of the form:

a = sin x K(y) with K(0) = 1

Applying the first Cauchy-Riemann condition, we find the imaginary part b of f :

βà‚a βà‚b
b = cos x βà« K ( y ) dy
= cos x K ( y ) = β΅’
βà‚x βà‚y

Applying the second Cauchy-Riemann condition:

βà‚a βà‚b
= sin x βà« K ( y ) dy
= sin x K' ( y ) = βà’
βà‚y βà‚x

we arrive at a differential equation for K(y) whose solution is the hyperbolic cosine:

K' ( y ) = βà« K ( y ) dy οΘΦ
οΘΫ β΅’ K(y) = cosh y
K (0) = 1 οΘΨ

Hence the analytical extension of the sine is:
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 211

sin(x + e12 y) = sin x cosh y + e12 cos x sinh y

The analytical extensions of the trigonometric functions may be also obtained from the
exponential function. In the case of the cosine, we have:

exp( e12 z ) + exp( βà’ e12 z ) exp(βà’ y )(cos x + e12 sin x ) + exp( y )(cos x βà’ e12 sin x )
cos z = =
2 2

cos z = cos x cosh y βà’ e12 sin x sinh y

3.8 Let us calculate some derivatives at z = 0:

f (z ) = log(1 + exp(βà’ z )) f(0) = log 2

βà’ exp(βà’ z ) βà’1 1
f' (z ) = f' (0) = βà’
=
1 + exp(βà’ z ) exp(z ) + 1 2

exp(z ) 1
f'' (z ) = f'' (0) =
(exp(z ) + 1) 2
4

exp(z ) 2 exp(2 z )
f''' (z ) = f''' (0) = 0
βà’
(exp(z ) + 1) (exp(z ) + 1)3
2

exp(z ) 2 exp(2 z ) 6 exp(3z )
(0) = βà’ 1
4 exp( 2 z )
(z ) = βà’ βà’ + IV
IV
f
f
(exp(z ) + 1)2 (exp(z ) + 1)3 (exp(z ) + 1)3 (exp(z ) + 1)4 8

Hence the Taylor series is:

z z2 z4
f (z ) = log 2 βà’ + βà’ + ...
248

Observe that f (e12 œÄ ) = log(0) is divergent. This is the singularity nearest the origin.
Therefore the radius of convergence of the series is œÄ.

3.9 Separating fractions:

1 1 1
f (z ) = = βà’
z 2 + 2 z βà’ 8 6 (z βà’ 2 ) 6 (z + 4 )

and developing the second fraction:
RAMON GONZALEZ CALVET
212

1
1οΘ« οΘΕ
2 3
z βà’ 2 οΘ« z βà’ 2οΘΕ οΘ« z βà’ 2οΘΕ
1 1 6 οΘ¬1 βà’ οΘ· + ... οΘ·
= = = +οΘ¬ οΘ· βà’οΘ¬
z βà’2 6οΘ¬ οΘ·
z+4 6+ zβà’2 6 οΘ≠6οΘΗ οΘ≠6οΘΗ
οΘ≠ οΘΗ
1+
6
n (z βà’ 2 )
n
βàû
1
f (z ) = βà’ βà‘ (βà’ 1)
we find:
6( z βà’ 2 ) n = 0 6 n+2

This Lauren series is convergent in the annulus 0 <οΘ¦z βà’ 2οΘ¦< 6, which contains the
required annulus 1 <οΘ¦z βà’ 2οΘ¦< 4 .

3.10 Taking into account that (1 βà’ x) βà’1 = 1 + x + x2 + ... , the function defined by the series
is:
βàû
1 1 1
f (z ) = βà‘ n = βà’1=
n =1 4 ( z + 1) 4z +3
1
n
1βà’
4 (z + 1)

Now we see that at z = βà’3/4 the function has a pole. Therefore the radius of convergence
of this series (centred at z = βà’1) is οΘ¦βà’3/4 βà’( βà’1)οΘ¦=1/4.

3.11 From the successive derivatives of the sines calculated at z = 0, one obtains the
Taylor series for sin z:

z 2 n +1
βàû
z3 z5
βà’ ... = βà‘ (βà’ 1)
n
sin z = z βà’ +
(2 n + 1)!
3! 5 ! n =0

so the Lauren series for the given function is:

z 2 n βà’1
sin z βàû 1 z z3
= βà‘ (βà’ 1)
n
=βà’+ βà’ ...
(2 n + 1)! z 3! 5!
z2 n =0

Since the pole z = 0 is the unique singularity (see that the analytical extension of the real
sine in the exercise 3.7 has no singularities), the annulus of convergence is 0<οΘ¦zοΘ¦< βàû .

3.12 If f(z) is analytic then the derivative at each point is unique and we can write for two
different directions dz1 and dz2:

df1 = dz1 f'(z) df2 = dz2 f'(z)

According to the relationship between the complex and vectorial planes, we can multiply
by e1 at the left in order to turn the complex differentials into vectors:
e1 e1
df = da + db e12 βÜ’ df = da e1 + db e 2 dz = dx + dy e12 βÜ’ dz = dx e1 + dy e 2

Now let us calculate the geometric product of the vector differentials:

df1 df2 = dz1 f'(z) dz2 fβÄ™(z) = dz1 dz2 [fβÄ™(z)]* f'(z) =οΘ¦f'(z)οΘ¦2 dz1 dz2
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 213

SinceοΘ¦f'(z)οΘ¦2 is real, both geometric products have the same argument, Έ±(df1, df2) = Έ±(dz1,
dz2), and hence the transformation is conformal.

4. Transformations of vectors

4.1 If d is the direction vector of the reflection, the vector v' reflected of v with respect to
this direction is given by:

v' = d βà’1 v d

If v'' is obtained from v' by a rotation through an angle Έ±, and z is a unitary complex
number with argument Έ± /2 then:

Έ± Έ±
z = cos + e12 sin
v'' = z βà’1 v' z
2 2

Joining both equations:

v'' = z βà’1 d βà’1 v d z = c βà’1 v c

That is, one obtains a reflection with respect another direction with vector c = d z, the
product of the direction vector of the initial reflection and the complex number with half
argument.

4.2 Let w'' be the transformed vector of w by two consecutive reflections with respect
different directions u and v:

w'' = v βà’1 w' v = v βà’1 u βà’1 w u v

Then we can write:

w'' = z βà’1 w z z=uv z being a complex number

so that it is equivalent to a rotation with an angle equal to the double of that formed by
both direction vectors.

4.3 If the product of each transformed vector v' by the initial vector v is equal to a
complex number z2 (v' and v always form a constant angle) then:

v v' = z2

v' = v βà’1 z2 = z* v βà’1 z = z βà’1 | z | 2 v βà’1 z = | z | 2 ( z βà’1 v z ) βà’1

which represents an inversion with radius | z |2 followed by a rotation with an angle equal
to the double of the argument of z. As the algebra shows, both elemental transformations
commute.
RAMON GONZALEZ CALVET
214

5. Points and straight lines

5.1 If A, B, C and D are located following this order on the perimeter of the parallelogram,
then AB=DC:

β΅’ Bβà’A=Cβà’D β΅’ D=Cβà’B+A
AB = DC

D = (2, βà’5) βà’ (4, βà’3) + (2, 4) = (0, 2)

οΘ¦AB βà§ BCοΘ¦ = οΘ¦( 2 e1 βà’7 e2 ) βà§ ( βà’2 e1 βà’2 e2 )οΘ¦ = οΘ¦βà’18 e12οΘ¦ = 18
The area is:

5.2 The EulerβÄ™s theorem:

AD BC + BD CA + CD AB = ( D βà’A ) ( C βà’B ) + ( D βà’B ) ( A βà’C ) + ( D βà’C ) ( B βà’A )

=CAβà’AC+ABβà’BA+BCβà’CB=2(Cβà§A+Aβà§B+Bβà§C)=

= 2 ( B βà’ A ) βà§ ( C βà’ B ) = 2 AB βà§ BC

This product only vanishes if A, B and C are collinear. On the other hand we see that the
product is the oriented area of the triangle ABC.

5.3 a) The area of the triangle ABC is the outer product of two sides:

AB = B βà’ A = (4, 4) βà’ (2, 2) = 2 e1 + 2 e2 AC = C βà’ A = ( 4, 2) βà’ (2, 2) = 2 e1

AB βà§ AC = ( 2 e1 + 2 e2 ) βà§ 2 e1 = 4 e2 βà§ e1

AB βà§ AC = 4 e 2 βà§ e1 = 4 e 2 e1 sin 60 o = 4 3

b) The distance from A to B is the length of the vector AB, etc:

AB2 = ( 2 e1 + 2 e2 )2 = 4 e12 + 4 e22 + 8 e1 ¬· e2 = 4 + 16 + 16 cos œÄ/3 = 28

AC2 = ( 2 e1 )2 = 4 BC2 = (βà’2 e2 )2 = 4 e22 = 16

28
d( A, B ) = οΘΚ ABοΘΚ = d( B, C ) =οΘΚ BCοΘΚ = 4 d( C, A) = οΘΚ CAοΘΚ = 2

5.4 A side of the trapezoid is a vectorial sum of the other three sides:

AD = AB + BC + CD

AD2 = (AB +BC +CD )2 = AB2 +BC2 +CD2 +2 AB ¬· BC + 2 AB ¬· CD + 2 BC ¬· CD

= AB2 + BC2 + CD2 + 2 AB ¬· BC βà’ 2οΘ¦ABοΘ¦οΘ¦CDοΘ¦+ 2 BC ¬· CD

where the fact that AB and CD be vectors with the same direction and contrary sense has
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 215

been taken into account. Arranging terms:

AD2 βà’ AB2 βà’ BC2 βà’ CD2 + 2 οΘ¦ABοΘ¦οΘ¦CDοΘ¦ = 2 AB ¬· BC + 2 BC ¬· CD

AD2 βà’ AB2 βà’ BC2 βà’ CD2 + 2 οΘ¦ABοΘ¦οΘ¦CDοΘ¦ = 2 BC ¬· ( AB + CD )

Without loss of generality we will suppose that οΘ¦ABοΘ¦>οΘ¦CDοΘ¦:

οΘ¦AB + CDοΘ¦ = οΘ¦ABοΘ¦βà’οΘ¦CDοΘ¦

Since the angle ABC is the supplement of the angle formed by the vectors AB and BC, we
have:

AD2 βà’AB2 βà’BC2 βà’CD2 + 2 οΘ¦ABοΘ¦οΘ¦CDοΘ¦ = βà’2 οΘ¦BCοΘ¦ ( οΘ¦ABοΘ¦βà’οΘ¦CDοΘ¦ ) cos ABC

whence we obtain the angle ABC:

βà’ AD 2 + AB 2 + BC 2 + CD 2 βà’ 2 AB CD
cos ABC =
( )
AB βà’ CD
2 BC

The trapezoid can only exist for the range βà’1< cos ABC <1, that is:

2 οΘ¦BCοΘ¦ ( οΘ¦ABοΘ¦βà’οΘ¦CDοΘ¦ ) > βà’AD2 + AB2 + BC2 + CD2 βà’2 οΘ¦ABοΘ¦οΘ¦CDοΘ¦ >

> βà’2 οΘ¦BCοΘ¦ (οΘ¦ABοΘ¦βà’οΘ¦CDοΘ¦)

R=(1βà’pβà’q)O+pP+qQ β΅’ RP = ( 1 βà’ p βà’ q ) OP + q QP
5.5

β΅’ RP βà§ PQ = ( 1 βà’ p βà’ q ) OP βà§ PQ

whence it follows that: Area RPQ = ( 1 βà’ p βà’ q ) Area OPQ

5.6 The direction vector of the straight line r is AB:

AB = B βà’ A = (5, 4) βà’ (2, 3) = 3 e1 + e2 AC = C βà’ A = (1, 6) βà’ (2, 3) = βà’ e1 + 3 e2

The distance from the point C to the line r is:

(βà’ e1 + 3 e 2 ) βà§ (3 e1 + e 2 )
AC βà§ AB
d (C , r ) = = = 10
AB 10

The angle between the vectors AB and AC is deduced by means of the sine and cosine:

AB β΄… AC AB βà§ AC
cos Έ± = e12 sinΈ± =
=0 = e12
AB AC AB AC

Therefore, Έ± = œÄ/2. The angle between two lines is always comprised from βà’œÄ/2 to œÄ/2
RAMON GONZALEZ CALVET
216

because a rotation of 2œÄ around the intersection point does not alter the lines. When the
angle exceeds these boundaries, you may add or subtract œÄ.

5.7 a) Three points D, E, F are aligned if they are linearly dependent, that is, if the
determinant of the coordinates vanishes.

D = (1 βà’ xD βà’ yD ) O + xD P + yD Q

E = (1 βà’ xE βà’ yE ) O + xE P + yE Q

F = (1 βà’ xF βà’ yF ) O + xF P + yF Q

1 βà’ xD βà’ yD xD yD
1 βà’ xE βà’ yE yE = 0
xE
1 βà’ xF βà’ yF xF yF

where the barycentric coordinate system is given by the origin O and points P, Q (for
example the Cartesian system is determined by O = (0, 0), P = (1, 0) and Q = (0, 1)). The
transformed points D', E' and F' have the same coordinates expressed for the base O', P'
and Q'. Then the determinant is exactly the same, so that it vanishes and the transformed
points are aligned. Therefore any straight line is transformed into another straight line.
b) Let O', P' and Q' be the transformed points of O, P and Q by the given affinity:

O' = (o1 , o 2 ) P' = ( p1 , p 2 ) Q' = (q1 , q 2 )

and consider any point R with coordinates ( x, y ):

R = ( x, y ) = ( 1 βà’ x βà’ y ) O + x P + y Q

Then R', the transformed point of R, is:

R' = ( 1 βà’ x βà’ y ) O' + x P' + y Q' = ( 1 βà’ x βà’ y ) ( o1 , o2 ) + x ( p1 , p2 ) + y ( q1 , q2 ) =

= ( x ( p1 βà’ o1 ) + y (q1 βà’ o1 ) + o1 , x ( p2 βà’ o2 ) + y ( q2 - o2 ) + o2 ) = ( x', y' )

where we see that the coordinates x' and y' of R' are linear functions of the coordinates of
R:
x' = x ( p1 βà’ o1 ) + y ( q1 βà’ o1 ) + o1

y' = x ( p2 βà’ o2 ) + y ( q2 - o2 ) + o2

In matrix form:

οΘ« x' οΘΕ οΘ« p1 βà’ o1 q1 βà’ o1 οΘΕ οΘ« x οΘΕ οΘ« o1 οΘΕ
οΘ¬ οΘ·=οΘ¬ οΘ·οΘ¬ οΘ· + οΘ¬ οΘ·
οΘ¬ y' οΘ· οΘ¬ p βà’ o q2 βà’ o2 οΘ· οΘ¬ y οΘ· οΘ¬ o2 οΘ·
οΘ≠ οΘΗοΘ≠2 οΘΗοΘ≠ οΘΗ οΘ≠ οΘΗ
2

Because every linear (and non degenerate) mapping of coordinates can be written in this
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 217

regular matrix form, now we see that it is always an affinity.

c) Let us consider any three non aligned points A, B, C and their coordinates:

A = ( 1 βà’ x A βà’ y A ) O + x A P + y AQ

B = ( 1 βà’ x B βà’ y B ) O + x B P + y BQ

C = ( 1 βà’ xC βà’ y C ) O + xC P + yC Q

In matrix form:

οΘ« A οΘΕ οΘ«1 βà’ x A βà’ y A y A οΘΕ οΘ«O οΘΕ
xA
οΘ¬οΘ·οΘ¬ οΘ·οΘ¬ οΘ·
οΘ¬ B οΘ· = οΘ¬1 βà’ x B βà’ y B xB yB οΘ· οΘ¬ P οΘ·
οΘ¬ C οΘ· οΘ¬1 βà’ x βà’ y yC οΘ· οΘ¬ Q οΘ·
xC
οΘ≠οΘΗοΘ≠ οΘΗοΘ≠ οΘΗ
C C

A certain point D is expressed with coordinates whether for { O, P, Q } or { A, B, C }:

D = (1 βà’ b βà’ c ) A + b B + c C = (1 βà’ x D βà’ y D ) O + x D P + y D Q

In matrix form:

οΘ«O οΘΕ οΘ« AοΘΕ
οΘ¬οΘ· οΘ¬οΘ·
D = (1 βà’ xD βà’ yD y D )οΘ¬ P οΘ· = ( 1 βà’ b βà’ c b c)οΘ¬ B οΘ·
xD
οΘ¬Q οΘ· οΘ¬C οΘ·
οΘ≠οΘΗ οΘ≠οΘΗ

οΘ«1 βà’ x A βà’ y A yA οΘΕ
xA
οΘ¬ οΘ·
(1 βà’ xD βà’ yD y D ) = ( 1 βà’ b βà’ c b c ) οΘ¬1 βà’ x B βà’ y B
xD xB yB οΘ·
οΘ¬1 βà’ x βà’ y yC οΘ·
xC
οΘ≠ οΘΗ
C C

which leads to the following system of equations:

οΘ± x D = ( 1 βà’ b βà’ c) x A + b x B + c xC
οΘ≤
οΘ≥ y D = ( 1 βà’ b βà’ c) y A + b y B + c yC

An affinity does not change the coordinates x, y of A, B, C and D, but only the point base -
{O', P', Q'} instead of {O, P, Q}-. Therefore the solution of the system of equations for b
and c is the same. Then we can write:

D' = ( 1 βà’ b βà’ c ) A' + b B' + c C'

d) If the points D, E, F and G are the consecutive vertices in a parallelogram then:

DE = GF β΅’ G = D βà’ E + F
RAMON GONZALEZ CALVET
218

The affinity preserves the coordinates expressed in any base {D, E, F}. Then the
transformed points form also a parallelogram:

G' = D' βà’ E' + F' β΅’ D'E' = G'F'

e) For any three aligned points D, E, F the single ratio r is:

DE DF βà’1 = r β΅’ β΅’ E=(1βà’r)D+rF
DE = r DF

The ratio r is a coordinate within the straight line DF and it is not changed by the affinity:
βà’1
E' = ( 1 βà’ r ) D' + r F' β΅’ D'E' D'F' =r

5.8 This exercise is the dual of the problem 2. Then I have copied and pasted it changing
the words for a correct understanding.
a) Three lines D, E, F are concurrent if they are linearly dependent, that is, if the
determinant of the dual coordinates vanishes:

D = (1 βà’ xD βà’ yD ) O + xD P + yD Q

E = (1 βà’ xE βà’ yE ) O + xE P + yE Q

F = (1 βà’ xF βà’ yF ) O + xF P + yF Q

1 βà’ xD βà’ yD xD yD
1 βà’ xE βà’ yE yE = 0
xE
1 βà’ xF βà’ yF xF yF

where the dual coordinate system is given by the lines O, P and Q. For example, the
Cartesian system is determined by O = [0, 0] (line βà’x βà’y +1=0), P = [1, 0] (line x = 0) and
Q = [0, 1] (line y = 0). The transformed lines D', E' and F' have the same coordinates
expressed for the base O', P' and Q'. Then the determinant also vanishes and the
transformed lines are concurrent. Therefore any pencil of lines is transformed into another
pencil of lines.
b) Let O', P' and Q' be the transformed lines of O, P and Q by the given transformation:

O' = [o1 , o 2 ] P' = [ p1 , p 2 ] Q' = [q1 , q 2 ]

and consider any line R with dual coordinates [x, y]:

R = [x, y] = ( 1 βà’ x βà’ y ) O + x P + y Q

Then R', the transformed line of R, is:

R' = ( 1 βà’ x βà’ y ) O' + x P' + y Q' = ( 1 βà’ x βà’ y ) [ o1 , o2 ] + x [ p1 , p2 ] + y [ q1 , q2 ] =

= [ x ( p1 βà’ o1 ) + y (q1 βà’ o1 ) + o1 , x ( p2 βà’ o2 ) + y ( q2 βà’ o2 ) + o2 ] = [ x', y' ]
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 219

where we see that the coordinates x' and y' of R' are linear functions of the coordinates of
R:

x' = x ( p1 βà’ o1 ) + y ( q1 βà’ o1 ) + o1

y' = x ( p2 βà’ o2 ) + y ( q2 - o2 ) + o2

In matrix form:

οΘ® x ' οΘΙ οΘ® p1 βà’ o1 q1 βà’ o1 οΘΙ οΘ® x οΘΙ οΘ® o1 οΘΙ
οΘ· y 'οΘΚ = οΘ· p βà’ o οΘ· y οΘΚ + οΘ·o οΘΚ
q2 βà’ o2 οΘΚ
οΘ°οΘ» οΘ°2 οΘ° οΘ» οΘ° 2οΘ»
οΘ»
2

Because any linear mapping (non degenerate) of dual coordinates can be written in this
regular matrix form, now we see that it is always an affinity.

c) Let us consider any three non concurrent lines A, B, C and their coordinates:

A = ( 1 βà’ x A βà’ y A ) O + x A P + y AQ

B = ( 1 βà’ x B βà’ y B ) O + x B P + y BQ

C = ( 1 βà’ xC βà’ y C ) O + xC P + yC Q

In matrix form:

οΘ® AοΘΙ οΘ®1 βà’ x A βà’ y A y A οΘΙ οΘ®O οΘΙ
xA
οΘ· B οΘΚ = οΘ·1 βà’ x βà’ y y B οΘΚ οΘ·PοΘΚ
xB
οΘ·οΘΚ οΘ· οΘΚοΘ· οΘΚ
B B

οΘ·C οΘΚ οΘ·1 βà’ x C βà’ y C y C οΘΚ οΘ·Q οΘΚ
xC
οΘ°οΘ» οΘ° οΘ»οΘ° οΘ»

A certain line D is expressed with dual coordinates whether for {O, P, Q } or {A, B, C }:

D = ( 1 βà’ b βà’ c) A + b B + c C = ( 1 βà’ x D βà’ y D ) O + x D P + y D Q

In matrix form:

οΘ®O οΘΙ οΘ® AοΘΙ
y D ] οΘ· P οΘΚ = [1 βà’ b βà’ c b c ] οΘ· B οΘΚ
D = [1 βà’ x D βà’ y D xD
οΘ·οΘΚ οΘ·οΘΚ
οΘ·Q οΘΚ οΘ·C οΘΚ
οΘ°οΘ» οΘ°οΘ»

οΘ®1 βà’ x A βà’ y A yAοΘΙ
xA
y D ] = [1 βà’ b βà’ c b c ] οΘ·1 βà’ x B βà’ y B yB οΘΚ
[1 βà’ x D βà’ y D xD xB
οΘ· οΘΚ
οΘ·1 βà’ x C βà’ y C yC οΘΚ
xC
οΘ° οΘ»
RAMON GONZALEZ CALVET
220

which leads to the following system of equations:

οΘ± x D = (1 βà’ b βà’ c ) x A + b x B + c x C
οΘ≤
οΘ≥ y D = (1 βà’ b βà’ c ) y A + b y B + c y C

An affinity does not change the
Figure 16.1
coordinates x, y of A, B, C and D,
but only the lines base -{O', P', Q'}
instead of {O, P, Q}-. Therefore the
solution of the system of equations
for b and c is the same. Then we can
write:

D' = (1 βà’ b βà’ c ) A' + b B' + c C'

d) The affinity maps parallel points
into parallel points (points aligned
with the point (1/3, 1/3), point at the
infinity in the dual plane). If the
lines D, E, F and G are the
consecutive vertices in a dual
parallelogram (figure 16.1) then:

DE = GF β΅’ G = D βà’ E + F

Where DE is the dual vector of the intersection point of the lines D and E, and GF the
dual vector of the intersection point of G and F. Obviously, the points EF and DG are also
parallel because from the former equality it follows:

EF = DG

The affinity preserves the coordinates expressed in any base {D, E, F}. Then the
transformed lines form also a dual parallelogram:

G' = D' βà’ E' + F' β΅’ D'E' = G'F'

e) For any three concurrent lines D, E, F the single dual ratio r is:

DE DF βà’1 = r β΅’ β΅’ E=(1βà’r)D+rF
DE = r DF

The ratio r is a coordinate within the pencil of lines DF and it is not changed by the
affinity:
βà’1
E' = ( 1 βà’ r ) D' + r F' β΅’ D'E' D'F' =r

f) Let us consider four concurrent lines A, B, C and D with the following dual coordinates
expressed in the lines base {O, P, Q}:

A = [xA , yA] B = [xB , yB] C = [xC , yC] D = [xD , yD]
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 221

Then the direction vector of the line A is:

v A = ( 1 βà’ x A βà’ y A ) vO + x A v P + y A vQ

But the direction vectors of the base fulfils:

vO + v P + vQ = 0

Then:
v A = ( βà’1 + 2 x A + y A ) v P + ( βà’ 1 + x A + 2 y A ) v Q

And analogously:

v B = (βà’ 1 + 2 x B + y B ) v P + (βà’ 1 + x B + 2 y B ) v Q

v C = (βà’ 1 + 2 x C + y C ) v P + (βà’ 1 + x C + 2 y C ) v Q

v D = (βà’ 1 + 2 x D + y D ) v P + (βà’ 1 + x D + 2 y D ) v Q

The outer product is:

v A βà§ v C = ( x C βà’ x A βà’ ( y C βà’ y A ) + 3 ( x A y C βà’ x C y A )) v P βà§ v Q

Then the cross ratio only depends on the dual coordinates but not on the direction of the
base vectors (see chapter 10):

v A βà§ vC v B βà§ v D
( ABCD ) = =
v A βà§ v D v B βà§ vC

( x C βà’ x A βà’ ( y C βà’ y A ) + 3 ( x A y C βà’ x C y A )) ( x D βà’ x B βà’ ( y D βà’ y B ) + 3 ( x B y D βà’ x D y B ))
=
( x D βà’ x A βà’ ( y D βà’ y A ) + 3 ( x A y D βà’ x D y A )) ( x C βà’ x B βà’ ( y C βà’ y B ) + 3 (x B y C βà’ x C y B ))

Hence it remains invariant under an affinity. Each outer product can be written as an outer
product of dual vectors obtained by subtraction of the coordinates of each line and the
infinite line:

οΘ® 1οΘΙ οΘ® 1οΘΙ
1 1
v A βà§ v C = 3 οΘ· x A βà’ , y A βà’ οΘΚ βà§ οΘ· x C βà’ , y C βà’ οΘΚ = 3 LA βà§ LC
3 3οΘ» οΘ° 3 3οΘ»
οΘ°

where LA = A βà’ L is the dual vector going from the line L at the infinity to the line A, etc.
Then we can write this useful formula for the cross ratio of four lines:
RAMON GONZALEZ CALVET
222

( ABCD ) = LA βà§ LC LB βà§ LD
LA βà§ LD LB βà§ LC

This exercise links with the section Projective cross ratio in the chapter 10.

5.9 To obtain the dual coordinates of the first line, solve the identity:

x βÄ“ y βÄ“ 1 βâΓ a' ( βÄ“ x βÄ“ y + 1) + b' x + c' y β΅’ a' = βà’1 c' = βà’2
b' = 0

1 2
a= b=0 c=
β΅’ β΅’ [0, 2/3]
3 3

For the second line:

x βÄ“ y + 3 βâΓ a' ( βÄ“ x βÄ“ y + 1) + b' x + c' y β΅’ a' = 3 b' = 4 c' = 2

3 4 2
a= b= c=
β΅’ β΅’ [4/9, 2/9]
9
9 9

Both lines are aligned in the dual plane with the line at the infinity (whose dual
coordinates are [1/3, 1/3]) since the determinant of the coordinates vanishes:

1/ 3 0 2/3
2/9 4/9 2/9 = 0
1/ 3 1/ 3 1/ 3

Therefore they are parallel (this is also trivial from the general equations).

5.10 The point (2, 1) is the intersection of the lines x βÄ“ 2 = 0 and y βÄ“ 1 = 0, whose dual
coordinates are:

β΅’
xβÄ“2=0 [1/5, 2/5]

β΅’
yβÄ“1=0 [1/2, 0]

The difference of dual coordinates gives a dual direction vector for the point:

v = [1/2, 0] βÄ“ [1/5, 2/5] = [3/10, βÄ“4/10]

and hence we obtain the dual continuous and general equations for the point:

b βà’ 1/ 2 c
= 4 b + 3c = 2
β΅”
βà’4
3

The point (βÄ“3, βÄ“1) is the intersection of the lines x + 3 = 0 and y + 1 = 0, whose dual
coordinates are:
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 223

β΅’
x+3=0 [4/10, 3/10]

β΅’
y+1=0 [1/4, 2/4]

The difference of dual coordinates gives a dual direction vector for the point:

w = [1/4, 2/4] βÄ“ [4/10, 3/10] = [βÄ“3/20, 4/20]

and hence we obtain the dual continuous and general equations for the point:

b βà’ 1/ 4 c βà’ 2 / 4
8b + 6c = 5
= β΅”
βà’3 4

Note that both dual direction vectors v and w are proportional and the points are parallel in
a dual sense. Hence the points are aligned with the centroid (1/3, 1/3) of the coordinate
system.

6. Angles and elemental trigonometry

6.1 Let a, b and c be the sides of a triangle taken anticlockwise. Then:

c2 = ( a + b )2 = a2 + b2 + 2 a ¬· b
a+b+c=0 β΅’ c=βà’aβà’b β΅’

c2 = a2 + b2 + 2 οΘ¦aοΘ¦ οΘ¦bοΘ¦ cos(œÄ βà’ Έ≥ ) = a2 + b2 βà’ 2 οΘ¦aοΘ¦οΘ¦bοΘ¦ cos Έ≥ (law of
cosines)

The area s of a triangle is the half of the outer product of any pair of sides:

2s=aβà§b=bβà§c=cβà§a

οΘ¦aοΘ¦οΘ¦bοΘ¦ sin(œÄ βà’ Έ≥ ) e12 = οΘ¦bοΘ¦οΘ¦cοΘ¦ sin(œÄ βà’ Έ±) e12 = οΘ¦cοΘ¦οΘ¦aοΘ¦ sin(œÄ βà’ Έ≤ ) e12

sinΈ≥ sinΈ± sinΈ≤
= = (law of sines)
c a b

From here one quickly obtains:

a+b aβà’b
sinΈ± + sinΈ≤ sinΈ± βà’ sinΈ≤
= =
sinΈ± sinΈ≤
a b

By dividing both equations and introducing the identities for the addition and subtraction
of sines we arrive at:
RAMON GONZALEZ CALVET
224

Έ±+Έ≤ Έ± βà’Έ≤
2 sin
cos
a + b sinΈ± + sinΈ≤ 2 2
= =
Έ±+Έ≤ Έ± βà’Έ≤
a βà’ b sinΈ± βà’ sinΈ≤
2 cos sin
2 2

Έ±+Έ≤
tg
a+b 2
= (law of tangents)
Έ±βà’Έ≤
aβà’b
tg
2

6.2 Let us substitute the first cosine by the half angle identity and convert the addition of
the two last cosines into a product:
Έ≤ βà’ 2Έ≥ + Έ±
Έ±βà’Έ≤ Έ≤ βà’Έ±
cos(Έ± βà’ Έ≤ ) + cos(Έ≤ βà’ Έ≥ ) + cos(Έ≥ βà’ Έ± ) = 2 cos 2 βà’ 1 + cos cos
2 2 2

Let us extract common factor and convert the addition of cosines into a product:

Έ±βà’Έ≤ Έ±βà’Έ≤ Έ± βà’ 2Έ≥ + Έ≤
οΘ« οΘΕ
= 2 cos + cos οΘ· βà’1
οΘ¬ cos
2 2 2
οΘ≠ οΘΗ

Έ±βà’Έ≤ Έ± βà’Έ≥ Έ≥ βà’Έ≤
= 2 cos βà’1
cos cos
2 2 2

Έ±βà’Έ≤ Έ≤ βà’Έ≥ Έ≥ βà’Έ±
= 2 cos βà’1
cos cos
2 2 2

The identity for the sines is proved in a similar way.

6.3 Using the De MoivreβÄ™s identity:

cos 4Έ± + e12 sin 4Έ± βâΓ (cos Έ± + e12 sin Έ± )
4

After developing the right hand side we find:

sin 4Έ± βâΓ 4 cos3Έ± sinΈ± βà’ 4 cosΈ± sin3Έ± cos 4Έ± βâΓ cos4Έ± βà’ 6 cos2Έ± sin2Έ± + sin4Έ±

4 tg Έ± βà’ 4 tg 3 Έ±
And dividing both identities: tg 4Έ± =
1 βà’ 6 tg 2 Έ± + tg 4 Έ±

6.4 Let Έ±, Έ≤ and Έ≥ be the angles of the triangle PAB with vertices A, B and P respectively.
The angle Έ≥ embracing the arc AB is constant for any point P on the arc AB. By the law of
sines we have:

PA PB PC
= =
sinΈ± sinΈ≤ sinΈ≥
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 225

The sum of both chords is:

sinΈ± + sinΈ≤
PA + PB = PC
sinΈ≥

Converting the sum of sines into a product we find:

Έ±+Έ≤ Έ±βà’Έ≤ œÄ βà’Έ≥ Έ±βà’Έ≤
2 sin cos 2 sin cos
2 2 = PC 2 2
PA + PB = PC
sinΈ≥ sinΈ≥

Since Έ≥ is constant, the maximum is attained for cos(Έ± /2 βà’ Έ≤ /2)=1, that is, when the
triangle PAB is isosceles and P is the midpoint of the arc AB.

6.5 From the sine theorem we have:

Έ±+Έ≤ Έ±βà’Έ≤ Έ±βà’Έ≤
2 sin cos cos
a+b sinΈ± + sinΈ≤ 2 2= 2
= =
Έ≥ Έ≥ Έ≥
sinΈ≥
c
2 sin cos sin
2 2 2

Following the same way, we also have:

Έ±+Έ≤ Έ±βà’Έ≤ Έ±+Έ≤
2 cos sin sin
aβà’b sinΈ± βà’ sinΈ≤ 2 2= 2
= =
Έ≥ Έ≥ Έ≥
sinΈ≥
c
2 sin cos cos
2 2 2

6.6 Take a as the base of the triangle and draw the altitude. It divides a in two segments
which are the projections of the sides b and c on a:

a = b cos Έ≥ + c sinΈ≤ and so forth.

6.7 From the double angle identities we have:

Έ± Έ± Έ± Έ±
cos Έ± βâΓ cos 2 βà’ sin 2 βâΓ 1 βà’ 2 sin 2 βâΓ 2 cos 2 βà’ 1
2 2 2 2

From the last two expressions the half-angle identities follow:

Έ± 1 βà’ cos Έ± Έ± 1 + cos Έ±
βâΓ¬± βâΓ¬±
sin cos
2 2 2 2

Making the quotient:
RAMON GONZALEZ CALVET
226

1 βà’ cos Έ± 1 βà’ cos Έ± sinΈ±
tg Έ± βâΓ ¬± βâΓ βâΓ
1 + cos Έ± sinΈ± 1 + cosΈ±

7. Similarities and single ratio

7.1 First at all draw the triangle and see that the homologous vertices are:

P = ( 0, 0 ) P' = ( 4, 2 )
Q = ( 2, 0 ) Q' = ( 2, 0 )
R = ( 0, 1 ) R' = ( 5, 1 )

QR = βà’2 e1 + e2 RP = βà’e2
PQ = 2 e1

P'Q' = βà’2 e1 + 2 e2 R'P' = βà’e1 + e2
Q'R' = 3 e1 + e2

r = P'Q' PQ βà’1 = Q'R' QR βà’1 = R'P' RP βà’1 = βà’1 βà’ e12 = 2 5œÄ / 4

2 and the angle between the directions of homologous sides is
The size ratio is οΘ¦rοΘ¦ =
5œÄ/4.

7.2 Let ABC be a right triangle being C the right angle. The altitude CD cutting the base
AB in D splits ABC in two right angle triangles: ADC and BDC. In order to simplify I
introduce the following notation:

DB = c βà’ x
AB = c BC = a CA = b AD = x

The triangles CBA and DCA are oppositely similar because the angle CAD is common and
the other one is a right angle. Hence:

b x βà’1 = ( c b βà’1 )* = b βà’1 c b2 = c x
β΅’

The triangles DBC and CBA are also oppositely similar, because the angle DBC is
common and the other one is a right angle. Hence:

a ( c βà’ x ) βà’1 = ( c a βà’1 )* = a βà’1 c a2 = c ( c βà’ x )
β΅’

Summing both results the Pythagorean theorem is obtained:

a2 + b2 = c ( c βà’ x ) + c x = c2

7.3 First at all we must see that the triangles ABM and BCM are oppositely similar. Firstly,
they share the angle BMC. Secondly, the angles MBC and BAM are equal because they
embrace the same arc BC. In fact, the limiting case of the angle BAC when A moves to B
is the angle MBA. Finally the angle BCM is equal to the angle ABM because the sum of
the angles of a triangle is œÄ. The opposite similarity implies:

MA AB βà’1 = BC βà’1 MB MA = BC βà’1 MB AB
β΅’
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 227

MB AB βà’1 = BC βà’1 MC MC βà’1 = AB MB βà’1 BC βà’1
β΅’

Multiplying both expressions we obtain:

MA MC βà’1 = BC βà’1 MB AB2 MB βà’1 BC βà’1 = AB2 BC-2

7.4 Let Q be the intersection point of the segments PA and BC. The triangle PQC is
directly similar to the triangle PBA and oppositely similar to the triangle BQA:

BA PA βà’1 = QC PC βà’1 β΅’ QC = BA PA βà’1 PC β΅’ οΘ¦QCοΘ¦ = οΘ¦BAοΘ¦ οΘ¦PAοΘ¦βà’1 οΘ¦PCοΘ¦

BQ BA βà’1 = PA βà’1 PB β΅’ BQ = PA βà’1 PB BA β΅’ βà’1
οΘ¦BQοΘ¦ = οΘ¦PAοΘ¦ οΘ¦PBοΘ¦ οΘ¦BAοΘ¦

Summing both expressions: οΘ¦BCοΘ¦ = οΘ¦BQοΘ¦ + οΘ¦QCοΘ¦ = οΘ¦BAοΘ¦ ( οΘ¦PBοΘ¦ + οΘ¦PCοΘ¦ ) οΘ¦PAοΘ¦ βà’1

The three sides of the triangle are equal; therefore: οΘ¦PAοΘ¦ = οΘ¦PBοΘ¦ + οΘ¦PCοΘ¦

7.5 Let us firstly calculate the homothety ratio k, which is the quotient of homologous
sides and the similarity ratio of both triangles:

AB βà’1 A'B' = k

Secondly we calculate the centre of the homothety by isolation from:

OA' = OA k

OA' βà’ OA = OA ( 1 βà’ k )

AA' ( 1 βà’ k ) βà’1 = OA

Since the segment AA' is known, this equation allows us to calculate the centre O :

O = A βà’ AA' ( 1 βà’ k ) βà’1 = A βà’ AA' ( 1 βà’ AB βà’1 A'B' ) βà’1

7.6 Draw the line passing through P and the centre
Figure 16.2
of the circle. This extended diameter cuts the circle
in the points R and R'. See that the angles R'RQ and
QQ'R' are supplementary because they intercept
opposite arcs of the circle. Then the angles PRQ
and R'Q'P are equal. Therefore the triangle QRP
and R'Q'P are oppositely similar and we have:

PR βà’1 PQ = PR' PQ' βà’1 β΅’ PQ PQ' = PR PR'

Since PR and PR' are determined by P and the
circle, the product PQ PQ' (the power of P) is constant independently of the line PQQ'.

7.7 The bisector d of the angle ab divides the triangle abc in two triangles, which are
RAMON GONZALEZ CALVET
228

obviously not similar! However we may apply the law of sines to both triangles to find:

n b
m a
= =
sin ad sin dm sin db sin nd

The angles nd and dm are supplementary and sin nd = sin dm. On the other hand, the
angles ad and db are equal because of the angle bisector. Therefore it follows that:

m n
=
a b

8. Properties of the triangles

8.1 Let A, B and C be the vertices of the given triangle with anticlockwise position. Let S,
T and U be the vertices of the three equilateral triangles drawn over the sides AB, BC and
CA respectively. Let P, Q and R be the centres of the triangles ABS, BCT and CAU
respectively. The side CU is obtained from AC through a rotation of 2œÄ/3:

2œÄ 2œÄ
t = 12œÄ / 3 = cos + e12 sin
CU = AC t with
3 3

CR is 2/3 of the altitude of the equilateral triangles ACU ; therefore is 1/3 of the
diagonal of the parallelogram formed by CA and CU:

CA + CU CA ( 1 βà’ t )
CR = =
3 3

The same argument applies to the other equilateral triangles:

BC ( 1 βà’ t ) AB ( 1 βà’ t )
BQ = AP =
3 3

From where P, Q and R as functions of A, B and C are obtained:

AB ( 1 βà’ t ) BC ( 1 βà’ t ) CA ( 1 βà’ t )
P = A+ Q=B+ R=C +
3 3 3

Let us calculate the vector PQ:

( C βà’ B βà’ B + A)( 1 βà’ t )
PQ = Q βà’ P = B βà’ A +
3
A+ B +C
G=
Introducing the centroid:
3

PQ = AB + BG ( 1 βà’ t ) = AG βÄ“ BG t

Analogously:
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 229

QR = BG βÄ“ CG t RP = CG βÄ“ AG z

Now we apply a rotation of 2œÄ/3 to PQ in order to obtain QR:

PQ t = ( AG βÄ“ BG t ) t = AG t βÄ“ BG t2

Since t is a third root of the unity (1 + t + t2 = 0) then:

PQ t = AG t + BG + BG t = AG t + BG t + CG t + BG βà’ CG t

= 3 GG + BG βÄ“ CG t = BG βÄ“ CG t = QR

Through the same way we find:

QR t = RP RP t = PQ

Therefore P, Q and R form an equilateral triangle with centre in G, the centroid of the
triangle ABC:

P + Q + R A + B + C AB + BC + CA
(1 βà’ t ) = G
= +
3 3 3

8.2 The substitution of the centroid G of the triangle ABC gives:

(A + B + C )
2 2
A+ B + CοΘΙ
οΘ®
= 3 P 2 βà’ 2 P ¬· (A + B + C ) +
3 PG = 3 οΘ· P βà’
2
οΘΚ
3 3
οΘ° οΘ»
A2 + B 2 + C 2 + 2 A ¬· B + 2 B ¬· C + 2 C ¬· A
= 3 P βà’ 2 P ¬· (A + B + C ) +
2

3
2 (βà’ A βà’ B 2 βà’ C 2 + A ¬· B + B ¬· C + C ¬· A)
[ ]
2
= ( A βà’ P ) + (B βà’ P ) + (C βà’ P ) +
2 2 2

3
(B βà’ A) + (C βà’ B ) + ( A βà’ C )
2 2 2
= PA 2 + PB 2 + PC 2 βà’
3
AB + BC + CA 2
2 2
= PA + PB + PC βà’
2 2 2

3

8.3 a) Let us calculate the area of the triangle GBC:

GB βà§ BC = [ βà’ a A + ( 1 βà’ b ) B βà’ c C ] βà§ BC = [ βà’ a A + ( a + c ) B βà’ c C ] βà§ BC =

GB βà§ BC
a=
= ( a AB + c CB ) βà§ BC = a AB βà§ BC β΅’
AB βà§ BC

The proof is analogous for the triangles GCA and GAB.

b) Let us develop PG2 following the same way as in the exercise 8.2:
RAMON GONZALEZ CALVET
230

PG2 = [P βà’ ( a A + b B + c C ) ]2 = P2 βà’ 2 P ¬· ( a A + b B + c C ) + ( a A + b B + c C )2

= ( a + b + c ) P2 βà’ 2 a P ¬· A βà’ 2 b P ¬· B βà’ 2 c P ¬· C + a2 A2 + b2 B2 + c2 C 2 +

+2abA¬·B+2bcB¬·C+2caC¬·A

= a (A βà’ P )2 + b ( B βà’ P )2 + c ( C βà’ P )2 + a ( a βà’ 1 ) A2 + b ( b βà’ 1) B2

+ c ( c βà’ 1 ) C2 + 2 a b A ¬· B + 2 b c B ¬· C + 2 c a C ¬· A

= a PA2 + b PB2 + c PC2 βà’ a ( b + c ) A2 βà’ b ( c + a ) B2 βà’ c ( a + b ) C 2

+2abA¬·B+2bcB¬·C+2caC¬·A

= a PA2 + b PB2 + c PC2 βà’ a b ( B βà’ A )2 βà’ b c ( C βà’ B )2 βà’ c a ( A βà’ C )2

= a PA2 + b PB2 + c PC2 βà’ a b AB2 βà’ b c BC2 βà’ c a CA2

The LeibnizβÄ™s theorem is a particular case of the ApolloniusβÄ™ lost theorem for a = b = c =
1/3.

8.4 Let us consider the vertices A, B, C and D ordered clockwise on the perimeter. Since
AP is AB turned œÄ/3, BQ is BC turned œÄ/3, etc, we have:

z = cos œÄ/3 + e12 sin œÄ/3

AP = AB z BQ = BC z CR = CD z DS = DA z

PR ¬· QS = ( PA + AC + CR ) ¬· ( QB + BD + DS )

= [ ( CD βà’ AB ) z + AC ] ¬· [ ( DA βà’ BC ) z + BD ]

= [ ( βà’AC + BD ) z + AC ] ¬· [ ( βà’AC βà’ BD ) z + BD ] =

= [ ( βà’AC + BD ) z ] ¬· [ ( βà’AC βà’ BD ) z ] + [ (βà’AC + BD ) z ] ¬· BD

+ AC ¬· [ ( βà’AC βà’ BD ) z + BD ]

The inner product of two vectors turned the same angle is equal to that of these
vectors before the rotation. We use this fact for the first product. Also we must develop
the other products in geometric products and permute vectors and the complex number z:
z + z*
PR ¬· QS = ( βà’AC + BD ) ¬· ( βà’AC βà’ BD ) + ( βà’AC BD βà’ BD AC βà’ AC2 + BD2 )
2
AC 2 βà’ BD 2
+ AC ¬· BD =
2

Therefore οΘ¦ACοΘ¦ = οΘ¦BDοΘ¦ β΅” PR ¬· QS = 0. The statement b) is proved through an
analogous way.
TREATISE OF PLANE GEOMETRY THROUGH GEOMETRIC ALGEBRA 231

8.5 The median is the segment going from a vertex to the midpoint of the opposite side:
2 2
οΘ«B+C AB 2 AC 2 AB ¬· AC
οΘΕ οΘ« AB AC οΘΕ
m =οΘ¬ βà’ AοΘ· = οΘ¬ + οΘ·= + +
2
A
οΘ≠2 οΘ≠2 2οΘΗ 4 4 2
οΘΗ

AB 2 AC 2 2 AB ¬· AC βà’ AB 2 βà’ AC 2 AB 2 AC 2 BC 2
= + + = + βà’
2 2 4 2 2 4

8.6 If E is the intersection point of the bisector of B with the line parallel to the bisector of
A, then the following equality holds:

οΘ« BA BC οΘΕ οΘ« AB AC οΘΕ
E =B+bοΘ¬ οΘ·=C +aοΘ¬ οΘ·
+ +
οΘ¬ BA οΘ· οΘ¬ AB AC οΘ·
BC οΘΗ
οΘ≠ οΘ≠ οΘΗ

where a, b are real. Arranging terms we obtain a vectorial equality:

οΘ« AB AC οΘΕ οΘ« BA BC οΘΕ
βà’ aοΘ¬ οΘ·+bοΘ¬ οΘ· = BC
+ +
οΘ¬ AB οΘ· οΘ¬ BA BC οΘ·
AC οΘΗ
οΘ≠ οΘ≠ οΘΗ

The linear decomposition yields after simplification:

BC CA
a=βà’
AB + BC + CA

In the same way, if D is the intersection of the bisector of A with the line parallel to the
bisector of B we have:

οΘ« AB AC οΘΕ οΘ« BA BC οΘΕ
D = A+cοΘ¬ οΘ·=C +d οΘ¬ οΘ·
+ +
οΘ¬ AB AC οΘ· οΘ¬ BA BC οΘ·
οΘ≠ οΘΗ οΘ≠ οΘΗ

 << ώρπ. 10(βώεψν 13)―ΈΡ≈–ΤάΆ»≈ >>