example 4
... Other names for PQ are QP and line n. Other names for plane R are plane SVT and plane PTV. ...
... Other names for PQ are QP and line n. Other names for plane R are plane SVT and plane PTV. ...
Formal Geometry Semester 1 Instructional Materials
... A. Isosceles Triangle Symmetry Theorem- If the line contains the bisector of the vertex angle of an isosceles triangle, then it is a symmetry line for the triangle. B. Isosceles Triangle Coincidence Theorem- If the bisector of the vertex angle of an isosceles triangle is also the perpendicular bisec ...
... A. Isosceles Triangle Symmetry Theorem- If the line contains the bisector of the vertex angle of an isosceles triangle, then it is a symmetry line for the triangle. B. Isosceles Triangle Coincidence Theorem- If the bisector of the vertex angle of an isosceles triangle is also the perpendicular bisec ...
ON THE IRREDUCIBILITY OF SECANT CONES, AND
... linear normality which will imply a version of Zak’s theorem on linear normality and hence allow us to remove the nonprojectibility hypothesis from the above corollary. Proposition 4. Let X ⊂ PN be an irreducible variety and M ⊆ PN a generic linear subspace and set Y = X ∩ M . Assume that Y is nonsi ...
... linear normality which will imply a version of Zak’s theorem on linear normality and hence allow us to remove the nonprojectibility hypothesis from the above corollary. Proposition 4. Let X ⊂ PN be an irreducible variety and M ⊆ PN a generic linear subspace and set Y = X ∩ M . Assume that Y is nonsi ...