Nuprl Definition : geo-bisect-angle
geo-bisect-angle(e;a;b;c) == a ≠ b ∧ b ≠ c ∧ (∃d:Point. (d ≠ a ∧ d ≠ c ∧ abd ≅a dbc))
Definitions occuring in Statement :
geo-cong-angle: abc ≅a xyz,
geo-sep: a ≠ b,
geo-point: Point,
exists: ∃x:A. B[x],
and: P ∧ Q
Definitions occuring in definition :
exists: ∃x:A. B[x],
geo-point: Point,
and: P ∧ Q,
geo-sep: a ≠ b,
geo-cong-angle: abc ≅a xyz
FDL editor aliases :
geo-bisect-angle
geo-bisect-angle
Latex:
geo-bisect-angle(e;a;b;c) == a \mneq{} b \mwedge{} b \mneq{} c \mwedge{} (\mexists{}d:Point. (d \mneq{} a \mwedge{} d \mneq{} c \mwedge{} abd \00D0\msuba{} dbc))
Date html generated:
2017_10_02-PM-06_24_13
Last ObjectModification:
2017_08_05-PM-04_18_16
Theory : euclidean!plane!geometry
Home
Index