No label defined (Q3973345)

[For the entire collection see Zbl 0721.00009.] The aim of this paper is to prove geometric properties of a figure by selecting good irreducible components of the variety defined by the hypotheses and in reducing the conclusion on these sets. Instead of dealing directly with polynomials, the author looks for geometric objects and limits himself to relations of collinearity. Extending the exterior algebra of \(E\) to its symmetric algebra allows a transformation of two conditions on a vector to a single one. It is shown that an irreducible component of the corresponding variety, called generic component, plays a special part for the geometric configurations. This leads to an algorithm which reduces an element of the ``formal'' space to zero if and only if the corresponding geometric property is true on the generic component.