# On the Menelaus and Ceva 6-Figures in the Fibered Projective Planes

Authors: Ayşe Bayar; Süheyla Ekmekçi
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

The fibered versions of Menelaus and Ceva 6-figures in the fibered projective plane are given and the conditions to the fibered versions of Menelaus and Ceva 6-figures in the fibered projective plane with base plane, that is, projective plane, are determined.


---

## Body

## 1. Introduction

In 1965, Zadeh [1] introduced the concept of fuzzy set. Since then, research on the theory and applications of fuzzy sets has been growing steadily. Several basic geometric concepts have been considered by various authors in a fuzzy context [2–4]. An attempt to develop a kind of fuzzy projective geometry deduced from fuzzy vector space was made by Kuijken et al. [5]. This provided a link between the fuzzy versions of classical theories that are very closely related. In these papers, for the most suitable definition of fuzzy geometry, they encountered the following problem. There are two possibilities to fuzzify the points of geometry. Either one assigns a unique degree of membership to each of them or one assigns several degrees of membership to all of them. They explored the second possibility, and it turns out that the geometric structures involved are much richer and defined fibered projective planes and looked at fibered versions of theorems of Desargues and Pappus [6]. The role of the triangular norm in the theory of fibered projective planes and fibered harmonic conjugates and a fibered version of Reidemeister’s condition were given in [7]. The authors considered different triangular norms in the theory of fibered projective planes. When the minimum operator is used, this implies that if the underlying projective plane is finite, then a finite number of f-points generate a finite fibered projective plane. However, for other triangular norms, the fibered plane may be infinite. For instance, if we take a
∧
b
=
a
b, the ordinary product, then we see that, as soon as at least one membership degree α is different from 1, we obtain infinitely many membership degrees and therefore infinitely many f-points. Another observation to be made is that not all triangular norms are suitable here. For instance, if we take the Lukasiewicz norm, given by a
∧
b
=
max
⁡
{
0
,
a
+
b
-
1
}, then no point can have a membership degree different from 1. Hence a fibered projective plane with the Lukasiewicz triangular norm is equivalent to a crisp projective plane.Kaya and Çiftçi introduced the 6-figures of Menelaus and Ceva in Moufang projective planes in [8]. In 1992, in order to state the theorems of Menelaus and Ceva, Klamkin and Liu needed the notion of signed distance in projective plane ℙ
2
(
ℝ
). In 2008, Kelly [9] generalized the Klamkin and Liu [10] result to projective planes ℙ
2
(
𝔽
), where 𝔽 is the field of characteristic not equal to two. But, in an arbitrary field, distance is not defined. Thus he used the scalars that are associated with the cross-ratio to prove these theorems in projective planes ℙ
2
(
𝔽
).In this paper, since the definition of cross-ratio has not extended to fibered projective plane yet, we propose to contribute to fuzzy geometry by looking at the fibered version of Menelaus and Ceva 6-figures in the fibered projective plane which are given and the conditions to the fibered version of Menelaus and Ceva 6-figures in the fibered projective plane with base plane, that is, projective plane, are determined. We believe that such a concept will play an important role to establish a genuine fuzzy geometry.


## 2. Preliminaries

We first recall some basic notions from fuzzy set theory and fibered geometry. We denote by∧ a triangular norm on the (real) unit interval [
0,1
], that is, a symmetric and associative binary operator satisfying (
a
∧
b
)
≤
(
c
∧
d
) whenever a
≤
c and b
≤
d, and a
∧
1
=
a, for all a
,
b
,
c
,
d
∈
[
0,1
].Definition 1 (see [6]).
Let𝒫
=
(
P
,
B
,
∘
) be any projective plane with point set P and line set B; that is, P and B are two disjoint sets endowed with a symmetric relation ∘ (called theincidence relation) such that the graph (
P
∪
B
,
∘
) is a bipartite graph with classes P and B and such that two distinct points p, q in 𝒫 are incident with exactly one line; every two distinct lines L, M are incident with exactly one point, and every line is incident with at least three points. A set S ofcollinear points is a subset of P, each member of which is incident with a common line L. Dually, one defines a set ofconcurrentlines. We now define fibered points and fibered lines, which are briefly called f-points and f-lines.Definition 2 (see [6]).
Suppose thata
∈
P and α
∈
]
0,1
]. Then an f-point (
a
,
α
) is the following fuzzy set on the point set P of 𝒫:
(1)
(
a
,
α
)
:
P
⟶
[
0,1
]
:
{
a
⟶
α
,
x
⟶
0
if
x
∈
P
∖
{
a
}
.
Dually, one defines in the same way the f-line (
L
,
β
) for L
∈
B and β
∈
]
0,1
]. The real number α above is called the membership degree of the f-point (
a
,
α
), while the point a is called the base point of it, the same for f-lines.Definition 3 (see [6]).
The twof-lines (
L
,
α
) and (
M
,
β
), with α
∧
β
>
0, intersect in the unique f-point (
L
∩
M
,
α
∧
β
). Dually, the f-points (
a
,
λ
) and (
b
,
μ
), with λ
∧
μ
>
0, span the unique f-line (
〈
a
,
b
〉
,
λ
∧
μ
).Definition 4 (see [6]).
A (nontrivial) fibered projective planeℱ
𝒫 consists of a set F
P of f-points of 𝒫 and a set F
B of f-lines of 𝒫 such that every point and every line of 𝒫 are the base point and base line of at least one f-point and f-line, respectively (with at least one membership degree different from 1), and such that ℱ
𝒫
=
(
F
P
,
F
B
) is closed undertaking intersections of f-lines and spans of f-points. Finally, a set of f-points are called collinear if each pair of them span the same f-line. Dually, a set of f-lines are called concurrent if each pair of them intersects in the same f-point.Theorem 5 (see [6]).
Suppose that one has a fibered projective planeℱ
𝒫 with base plane 𝒫, that is, Desarguesian. Choose the three f-points (
a
1
,
α
1
)
,
(
a
2
,
α
2
), and (
a
3
,
α
3
) in ℱ
𝒫 with noncollinear base points, and the three other f-points (
b
1
,
β
1
), (
b
2
,
β
2
), and (
b
3
,
β
3
) with noncollinear base points, such that the lines 〈
a
i
,
b
i
〉, for i
∈
{
1,2
,
3
}, are concurrent in a point p of 𝒫, with a
i
≠
b
i
≠
p
≠
a
i. Then the three f-lines (
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
) and (
〈
b
i
,
b
j
〉
,
β
i
∧
β
j
) (for i
≠
j and i
,
j
∈
{
1,2
,
3
}) intersect in three collinear f-points.


## 3. Fibered Version of Menelaus and Ceva 6-Figures

The Alexandrian Greek mathematician Menelaus and the seventeenth-century Italian mathematician Ceva are invariably mentioned together. Menelaus’ theorem, which involves a test for the collinearity of three points, and Ceva’s theorem, which involves a test for the concurrency of three lines, are frequently called the twin theorem. These theorems should have been discovered together, and it is not insignificant that such a long period separates Menelaus and Ceva. During the 1500 years that separate the two there was little development in mathematics. About the year A.D. 100, Menelaus of Alexandria extended a then well-known lemma to spherical triangles in his Sphaerica, the high point of Greek trigonometry. It is this lemma for the plane that today bears the name of Menelaus. Of the Ceva brothers, the lesser known Tommaso wrote on the cycloid while Giovanni resurrected the forgotten Menelaus’ theorem and published it in 1678 along with the twin theorem now known as Ceva’s theorem.We now recall some observations regarding the triangular norm and the Menelaus and Ceva 6-figures.In [7], the following theorems give an answer to the question, when does a finite fibered projective plane exist given a particular triangular norm?Theorem 6 (see [7]).
Let𝒫 be a finite crisp projective plane and ∧ a triangular norm. Then there exists some finite nontrivial fibered projective plane ℱ
𝒫 with base plane 𝒫 if and only if there exists an idempotent element α
∈
]
0,1
]; that is, α
∧
α
=
α.Theorem 7 (see [7]).
Let𝒫 be an arbitrary crisp projective plane and ∧ a triangular norm. Then there exists some nontrivial fibered projective plane ℱ
𝒫 with base plane 𝒫 if and only if one of the following holds:(i)
there exists an idempotent elementα
∈
]
0,1
[;
(ii)
there exists an elementα
∈
[
0,1
[, with the property that β
∧
β
′
>
α, for all β
,
β
′
∈
]
α
,
1
].In [7], the definition and theorems related to f-harmonic conjugate in a fibered projective plane whose base plane satisfies Fano’s axiom are given.Definition 8 (see [7]).
Suppose that one has a fibered projective planeℱ
𝒫 with base projective plane 𝒫. Choose the four f-points (
a
1
,
α
1
), (
a
2
,
α
2
), (
a
3
,
α
3
), and (
a
4
,
α
4
) in ℱ
𝒫, none of the three base points of which are collinear. These f-points are called f-vertices. The configuration that consists of these four f-points, the six f-lines (
A
{
i
,
j
}
,
β
{
i
,
j
}
)
=
:
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
), for i
≠
j, i
,
j
∈
{
1,2
,
3,4
} (which we call f-sides), and the three f-points (
A
{
i
,
j
}
∧
A
{
k
,
l
}
,
α
1
∧
α
2
∧
α
3
∧
α
4
), with {
i
,
j
,
k
,
l
}
=
{
1,2
,
3,4
} (the f-diagonal points), is called an f-complete quadrangle.Theorem 9 (see [7]).
Suppose that one has a fibered projective planeℱ
𝒫 with base plane 𝒫. Let a, b, and c be three collinear points in 𝒫 and let (
a
,
α
), (
b
,
β
), (
c
,
γ
) be three f-points of ℱ
𝒫. Suppose that the point d on 〈
a
,
b
〉 obtained by intersecting 〈
a
,
b
〉 with the join of the two diagonal points different from c in any complete quadrangle, wherea
,
b are vertices and c is a diagonal point, is independent of the chosen quadrangle. Then the f-point (
d
,
δ
) obtained by intersecting (
〈
a
,
b
〉
,
α
∧
β
) with the f-join of the two f-diagonal points different from (
c
,
γ
) in any f-complete quadrangle, where (
a
,
α
), (
b
,
β
) are f-vertices and (
c
,
γ
) is an f-diagonal point, is independent of chosen f-complete quadrangle.Thef-point (
d
,
δ
) of previous theorem, if it exists, is called the fourth f
-conjugate to ((
a
,
α
), (
b
,
β
), (
c
,
γ
)).Theorem 10 (see [7]).
Given a triangular norm∧, then ∧ is the minimum operator if and only if, in any fibered projective plane ℱ
𝒫,  for every quadruple ((
a
,
α
), (
b
,
β
), (
c
,
γ
), (
d
,
δ
)) of f-points with collinear base points, the f-point (
d
,
δ
) is the fourth f-conjugate to ((
a
,
α
), (
b
,
β
), (
c
,
γ
)) whenever (
c
,
γ
) is the fourth f-conjugate to ((
a
,
α
), (
b
,
β
), (
d
,
δ
)).The original definitions of Menelaus and Ceva 6-figures are given in [11].Definition 11 (see [8]).
Let𝒫 be a projective plane. A 6-figure in 𝒫 is a sequence of six distinct points (
a
1
a
2
a
3
,
b
1
b
2
b
3
) such that a
1
a
2
a
3 constitutes a nondegenerate triangle with b
1
∈
〈
a
2
,
a
3
〉, b
2
∈
〈
a
1
,
a
3
〉, b
3
∈
〈
a
1
,
a
2
〉. The points a
1, a
2, a
3, b
1, b
2, b
3 are called vertices of this 6-figure. Such a configuration is said to be a Menelaus 6-figure or a Ceva 6-figure if b
1, b
2, and b
3 are collinear or if 〈
a
1
,
b
1
〉, 〈
a
2
,
b
2
〉, 〈
a
3
,
b
3
〉 are concurrent, respectively.We now consider some classical configurations and theorems and extend them to fibered projective planes, for satisfying one of the conditions (i) and (ii) in Theorem7, suitably.Definition 12.
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
), i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and the other three f-points (
b
k
,
β
k
), k
∈
{
1,2
,
3
}, with (
b
k
,
β
k
)
∈
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. If the f-points (
b
k
,
β
k
) are f-collinear, the configuration that consists of these six f-points is called an f-Menelaus 6-figure. It is called f-Menelaus line spanned with f-points (
b
k
,
β
k
) for k
=
{
1,2
,
3
}.Theorem 13.
Suppose that one has a fibered projective planeℱ
𝒫 with base plane 𝒫. Let a
1, a
2, a
3 be three noncollinear points in 𝒫 and let (
a
1
,
α
1
), (
a
2
,
α
2
), (
a
3
,
α
3
) be three f-points of ℱ
𝒫. Suppose that the point b
3 on 〈
a
1
,
a
2
〉 is obtained by intersecting 〈
a
1
,
a
2
〉 with the join of two chosen points b
1 and b
2 where b
1 on 〈
a
2
,
a
3
〉 and b
2 on 〈
a
1
,
a
3
〉. Then the f-point (
b
3
,
β
3
) obtained by intersecting (
〈
a
1
,
a
2
〉
,
α
1
∧
α
2
) with the f-join of the two f-points (
b
1
,
β
1
) and (
b
2
,
β
2
), where (
b
1
,
β
1
), (
a
2
,
α
2
), (
a
3
,
α
3
) and (
b
2
,
β
2
), (
a
1
,
α
1
), (
a
3
,
α
3
) are f-collinear, is independent of the chosen f-points (
b
1
,
β
1
) and (
b
2
,
β
2
).Proof.
Since the threef-points (
a
1
,
α
1
), (
a
3
,
α
3
), (
b
2
,
β
2
) and the three f-points (
a
2
,
α
2
), (
a
3
,
α
3
), (
b
1
,
β
1
) are f-collinear, α
1
∧
α
3
=
α
1
∧
β
2
=
α
3
∧
β
2 and α
2
∧
α
3
=
α
2
∧
β
1
=
α
3
∧
β
1. One calculates that β
3
=
α
1
∧
α
2
∧
α
3
2, and hence the f-point (
b
3
,
β
3
) is independent of the choice of the f-points (
b
1
,
β
1
) and (
b
2
,
β
2
).Theorem 14.
Suppose that one has a fibered projective planeℱ
𝒫 with base plane 𝒫. Choose the three f-points (
a
1
,
α
1
), (
a
2
,
α
2
), and (
a
3
,
α
3
) in ℱ
𝒫, neither of the three base points of which is collinear. Let the f-point (
b
3
,
β
3
) be obtained by intersecting (
〈
a
1
,
a
2
〉
,
α
1
∧
α
2
) with the f-join of the two f-points (
b
1
,
β
1
) and (
b
2
,
β
2
), where (
b
1
,
β
1
), (
a
2
,
α
2
), (
a
3
,
α
3
) and (
b
2
,
β
2
), (
a
1
,
α
1
), (
a
3
,
α
3
) are f-collinear. Then the configuration that consists of the six f-points (
a
i
,
α
i
), (
b
i
,
β
i
), i
∈
{
1,2
,
3
}, is an f-Menelaus 6-figure.Proof.
Since the threef-points (
b
1
,
β
1
), (
b
2
,
β
2
), and (
b
3
,
β
3
) are f-collinear, from Definition 12, the configuration that consists of the six f-points (
a
i
,
α
i
), (
b
i
,
β
i
), i
∈
{
1,2
,
3
}, is an f-Menelaus 6-figure.Theorem 15.
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
), i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and with (
b
j
,
β
j
)
∈
(
〈
a
i
,
a
k
〉
,
α
i
∧
α
k
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. If b
1, b
2, and b
3 in 𝒫 are collinear, then the three f-points (
b
j
,
β
j
), j
∈
{
1,2
,
3
}, are f-collinear if and only if α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2.Proof.
A configuration is picked such that threef-points (
a
1
,
α
1
), (
a
2
,
α
2
), and (
a
3
,
α
3
) and (
b
j
,
β
j
)
∈
(
〈
a
i
,
a
k
〉
,
α
i
∧
α
k
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. Suppose the three f-points (
b
j
,
β
j
), j
∈
{
1,2
,
3
}, are f-collinear. Since three f-points (
b
j
,
β
j
) are f-collinear and the three f-points (
a
i
,
α
i
), (
a
j
,
α
j
), and (
b
k
,
β
k
), for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}, are f-collinear β
i
∧
β
j
=
β
i
∧
β
k and α
i
∧
α
j
=
α
i
∧
β
k
=
α
j
∧
β
k. Then clearly α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2.
Conversely, ifα
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
3 are satisfied, β
1
∧
β
2
=
β
1
∧
β
3
=
β
2
∧
β
3. Then three f-points (
b
1
,
β
1
), (
b
2
,
β
2
), and (
b
3
,
β
3
) are f-collinear.The Fibered Menelaus Condition (FMC). Let ℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
), i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and the other three f-points (
b
k
,
β
k
), k
∈
{
1,2
,
3
}, with (
b
k
,
β
k
)
∈
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
) fori
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. The configuration that consists of these six f-points is Menelaus 6-figure if and only if α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2.Theorem 16.
Let∧ be a triangular norm. Let ℱ
𝒫 be any nontrivial fibered projective plane with base plane 𝒫 and triangular norm ∧. Then there is at least triangular norm ∧ such that ℱ
𝒫 satisfies FMC.Proof.
When the minimum operator for∧ is used, it implies that α
1, α
2, and α
3 are idempotent elements in Theorem 15. So FMC is satisfied. Clearly, using the operator defined by a
∧
b
=
1
/
2 for all a
,
b
≥
1
/
2, and a
∧
b
=
min
⁡
{
a
,
b
}, otherwise, is a triangular norm, then also FMC is satisfied.Pappus’ theorem is an important theorem in geometry. Firstly, Kuijken and Van Maldeghem gave the fibered version of Pappus’ theorem using the minimum operator for∧, [6].It is known that Pappus’ theorem can be proved by using the Menelaus theorem. Now, we give the fibered version of Pappus’ theorem by using thef-Menelaus 6-figure.Theorem 17.
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. The fibered version of the Pappus configuration is obtained by using five f-Menelaus configurations.Proof.
We choose two triples off-points (
a
i
,
α
i
), (
b
i
,
β
i
), and (
c
i
,
γ
i
) with collinear base points for i
=
1,2, and such that neither of the three of the base points a
1, b
1, a
2, b
2 is collinear. Then three intersection f-points are (
a
,
α
)
=
(
〈
a
2
,
b
1
〉
,
α
2
∧
β
1
)
∩
(
〈
a
1
,
c
2
〉
,
α
1
∧
γ
2
), (
b
,
β
)
=
(
〈
a
2
,
b
1
〉
,
α
2
∧
β
1
)
∩
(
〈
b
2
,
c
1
〉
,
β
2
∧
γ
1
), and (
c
,
γ
)
=
(
〈
b
2
,
c
1
〉
,
β
2
∧
γ
1
)
∩
(
〈
a
1
,
c
2
〉
,
α
1
∧
γ
2
). Let (
m
1
,
μ
1
)
=
(
〈
b
,
c
〉
,
β
∧
γ
)
∩
(
〈
b
1
,
c
2
〉
,
β
1
∧
γ
2
), (
m
2
,
μ
2
)
=
(
〈
a
,
c
〉
,
α
∧
γ
)
∩
(
〈
a
2
,
c
1
〉
,
α
2
∧
γ
1
), and (
m
3
,
μ
3
)
=
(
〈
a
,
b
〉
,
α
∧
β
)
∩
(
〈
a
1
,
b
2
〉
,
α
1
∧
β
2
). If the triples of f-collinear points {
(
m
1
,
μ
1
)
,
(
c
2
,
γ
2
)
,
(
b
1
,
β
1
)
}, {
(
m
2
,
μ
2
)
,
(
a
2
,
α
2
)
,
(
c
1
,
γ
1
)
}, {
(
m
3
,
μ
3
)
,
(
b
2
,
β
2
)
,
(
a
1
,
α
1
)
}, {
(
a
1
,
α
1
)
,
(
c
1
,
γ
1
)
,
(
b
1
,
β
1
)
}, and {
(
b
2
,
β
2
)
,
(
a
2
,
α
2
)
,
(
c
2
,
γ
2
)
} are f-Menelaus 6-figure with the three f-points (
a
,
α
), (
b
,
β
), (
c
,
γ
), then μ
1
∧
γ
2
=
μ
1
∧
β
1
=
γ
2
∧
β
1, μ
2
∧
α
2
=
μ
2
∧
γ
1
=
α
2
∧
γ
1, μ
3
∧
β
2
=
μ
3
∧
α
1
=
α
1
∧
β
2, α
1
∧
γ
1
=
α
1
∧
β
1
=
β
1
∧
γ
1, and α
2
∧
γ
2
=
α
2
∧
β
2
=
β
2
∧
γ
2. It is easily seen that μ
1
∧
μ
2
=
μ
1
∧
μ
3
=
μ
2
∧
μ
3. The triple of f-points {
(
m
1
,
μ
1
)
,
(
m
2
,
μ
2
)
,
(
m
3
,
μ
3
)
} is f-Menelaus 6-figure with the three f-points (
a
,
α
), (
b
,
β
), (
c
,
γ
).Definition 18.
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
), i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and the other three f-points (
b
k
,
β
k
), k
∈
{
1,2
,
3
}, with (
b
k
,
β
k
)
∈
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. If the f-lines (
〈
a
i
,
b
i
〉
,
α
i
∧
β
i
), i
=
1,2
,
3, are f-concurrent, the configuration that consists of these six f-points is called an f-Ceva 6-figure. The intersection point of the f-lines (
〈
a
i
,
b
i
〉
,
α
i
∧
β
i
), i
=
1,2
,
3, is called f-Ceva point.Theorem 19.
Suppose that one has a fibered projective planeℱ
𝒫 with base plane 𝒫. Let a
1, a
2, a
3 be three noncollinear points in 𝒫 and let (
a
1
,
α
1
), (
a
2
,
α
2
), (
a
3
,
α
3
) be three f-points of ℱ
𝒫. Let points b
1 and b
2 be chosen such that b
1 on 〈
a
2
,
a
3
〉 and b
2 on 〈
a
1
,
a
3
〉. Suppose that the point b
3 on 〈
a
1
,
a
2
〉 is obtained by intersecting 〈
a
1
,
a
2
〉 with the join (
〈
a
1
,
b
1
〉
∩
〈
a
2
,
b
2
〉
) and a
3. Then the f-point (
b
3
,
β
3
) obtained by intersecting (
〈
a
1
,
a
2
〉
,
α
1
∧
α
2
) with the f-join of the two f-points (
〈
a
1
,
b
1
〉
,
α
1
∧
β
1
)
∩
(
〈
a
2
,
b
2
〉
,
α
2
∧
β
2
) and (
a
3
,
α
3
), where (
b
1
,
β
1
), (
a
2
,
α
2
), (
a
3
,
α
3
) and (
b
2
,
β
2
), (
a
1
,
α
1
), (
a
3
,
α
3
) are f-collinear, is independent of the chosen f-points (
b
1
,
β
1
) and (
b
2
,
β
2
).Proof.
Since threef-points (
a
1
,
α
1
), (
a
3
,
α
3
),(
b
2
,
β
2
) and three f-points (
a
2
,
α
2
), (
a
3
,
α
3
), (
b
1
,
β
1
) are f-collinear, α
1
∧
α
3
=
α
1
∧
β
2
=
α
3
∧
β
2 and α
2
∧
α
3
=
α
2
∧
β
1
=
α
3
∧
β
1. One calculates that β
3
=
α
1
∧
α
2
∧
α
3
2, and hence the f-point (
b
3
,
β
3
) is independent of the chosen f-points (
b
1
,
β
1
) and (
b
2
,
β
2
).Theorem 20.
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
)
,
i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and with (
b
j
,
β
j
)
∈
(
〈
a
i
,
a
k
〉
,
α
i
∧
α
k
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. If the lines 〈
a
1
,
b
1
〉
,
〈
a
2
,
b
2
〉, and 〈
a
3
,
b
3
〉 in 𝒫 are concurrent, then three f-lines (
〈
a
i
,
b
i
〉
,
α
i
∧
β
i
),  for i
∈
{
1,2
,
3
}, are f-concurrent if and only if α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2.Proof.
A configuration is picked such that threef-points (
a
1
,
α
1
), (
a
2
,
α
2
), and (
a
3
,
α
3
) and (
b
j
,
β
j
)
∈
(
〈
a
i
,
a
k
〉
,
α
i
∧
α
k
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. Suppose that three f-lines (
〈
a
i
,
b
i
〉
,
α
i
∧
β
i
), for i
∈
{
1,2
,
3
}, are f-concurrent. Then three membership degrees in f-concurrent point α
i
∧
α
j
∧
β
i
∧
β
j, i
≠
j, {
i
,
j
}
=
{
1,2
,
3
}, are equal. Since three f-points (
b
j
,
β
j
)
∈
(
〈
a
i
,
a
k
〉
,
α
i
∧
α
k
), α
i
∧
α
j
=
α
i
∧
β
k
=
α
j
∧
β
k for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}, are valid, one can easily get α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2.
Conversely, by usingf-points (
b
j
,
β
j
), (
a
i
,
α
i
), and (
a
k
,
α
k
) that are collinear for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}, in α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2, it is shown that the three values α
i
∧
α
j
∧
β
i
∧
β
j, i
≠
j, {
i
,
j
}
=
{
1,2
,
3
}, are equal.Corollary 21 (the fibered Ceva condition (FCC)).
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
), i
∈
{
1,2
,
3
} in ℱ
𝒫 with noncollinear base points and the other three f-points (
b
k
,
β
k
), k
∈
{
1,2
,
3
}
with (
b
k
,
β
k
)
∈
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
)fori
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}. The configuration that consists of these six f-points is Ceva 6-figure if and only if α
1
2
∧
α
2
∧
α
3
=
α
1
∧
α
2
2
∧
α
3
=
α
1
∧
α
2
∧
α
3
2.The following theorem shows thatf-Ceva 6-figures can be obtained as a corollary of f-Menelaus 6-figures.Theorem 22.
Letℱ
𝒫 be a fibered projective plane with base plane 𝒫. Choose three f-points (
a
i
,
α
i
), i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and the other three f-points (
b
k
,
β
k
), k
∈
{
1,2
,
3
}, with (
b
k
,
β
k
)
∈
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}; the three lines 〈
a
i
,
b
i
〉 are concurrent in 𝒫. If the configuration that consists of these six f-points is f-Menelaus 6-figure, it is f-Ceva 6-figure.Proof.
Let the configuration picked, such that the threef-points (
a
1
,
α
1
), (
a
2
,
α
2
), and (
a
3
,
α
3
) and (
b
j
,
β
j
)
∈
(
〈
a
i
,
a
k
〉
,
α
i
∧
α
k
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}, be Menelaus 6-figure. Three membership degrees in f-intersection point of three f-lines (
〈
a
i
,
b
i
〉
,
α
i
∧
β
i
) are α
i
∧
α
j
∧
β
i
∧
β
j, i
≠
j, {
i
,
j
}
=
{
1,2
,
3
}. It is easily seen that these are equal. So three f-lines (
〈
a
i
,
b
i
〉
,
α
i
∧
β
i
) for i
∈
{
1,2
,
3
} are f-concurrent.The reverse of this theorem is not true inℱ
𝒫.Fano projective plane, denoted byP
G
(
2,2
), consists of seven points and seven lines. Fano projective plane is only example that is both Menelaus 6-figure and Ceva 6-figure. Even if the base plane 𝒫
of ℱ
𝒫 is Fano plane, the reverse of the process is not always valid in ℱ
𝒫.Theorem 23.
Let∧ be a triangular norm. Let ℱ
𝒫 be any nontrivial fibered projective plane with base plane 𝒫, that is, Fano plane. Let three f-points be (
a
i
,
α
i
), i
∈
{
1,2
,
3
}, in ℱ
𝒫 with noncollinear base points and the other three f-points (
b
k
,
β
k
), k
∈
{
1,2
,
3
}, with (
b
k
,
β
k
)
∈
(
〈
a
i
,
a
j
〉
,
α
i
∧
α
j
) for i
≠
j
≠
k, {
i
,
j
,
k
}
=
{
1,2
,
3
}; the three lines 〈
a
i
,
b
i
〉 are concurrent in 𝒫. If the configuration that consists of these six f-points is f-Ceva 6-figure, it cannot be f-Menelaus 6-figure.Proof.
The configuration is picked such thatf-points (
a
1
,
0.5
), (
a
2
,
0.5
), (
a
3
,
0.5
) and (
b
1
,
0.6
), (
b
2
,
0.7
), (
b
3
,
0.8
) is f-Ceva 6-figure in ℱ
𝒫. But, using the minimum operator for ∧, it is easily seen that the f-points (
b
1
,
0.6
), (
b
2
,
0.7
), and (
b
3
,
0.8
) are not f-collinear.


## 4. Conclusion

In this paper, the fibered versions of Menelaus and Ceva 6-figures in the fibered projective plane are defined. Although the conditions of the fibered versions of Menelaus and Ceva 6-figures are similar, the fibered versions of some of their properties in base projective plane cannot hold in fibered projective plane.f
-Ceva 6-figure is obtained from f-Menelaus 6-figure automatically. Fano projective plane is both Menelaus 6-figure and Ceva 6-figure. But f-Menelaus 6-figure cannot be obtained from f-Ceva 6-figure in fibered projective plane with Fano plane. We have seen that the triangular norms have important role in the fiber versions of theorems related to theory.



---

*Source: 803173-2014-03-31.xml*