Planul triunghiului MOA

d perpendiculară pe α

a⊥b (O∈a, a⊂α)

c⊥b ?

IPOTEZĂ

CONCLUZIE

DEMONSTRAȚIE

d⊥α ⇒ d⊥a  și   d⊥b

b⊥d și b⊥a  ⇒ b⊥(MOA)

și

Prin urmare:

b⊥c

b⊂α

IPOTEZĂ

CONCLUZIE

DEMONSTRAȚIE

A = (1.7373340246179323, -1.404173950305326)
O = (0.42746370119644883, 0.6022714778666902)
a_1 = Line(A, O)
b_1 = OrthogonalLine(O, xOyPlane)
c_1 = OrthogonalLine(A, a_1)
B = (1.0354448106850578, -2.273443020540057)
d_1 = Plane(B, A, O)
M = Point(b_1)
c_3 = Segment(M, A)
D = Point(c_1)
f = Segment(M, D)
α_1 = Angle(M, A, D)
d_2 = Segment(M, O)
a_3 = Segment(O, A)
E = Point(c_1)
β = Angle(O, A, E, space)
γ = Angle(M, D, A)
F = Point(c_1)
G = Point(c_1)
b_2 = Segment(F, G)
δ = Angle(O, A, D, space)
poly1, o, c_2, a_2 = Polygon(M, A, O)
e = Plane(O, A, M)
g = false
α = PointIn(d_1)
h = false
i = false
j = false
k = false
l = false
b = Point(b_2)
a = Point(a_3)
c = Point(c_3)
d = Point(b_1)
m = false
n = false
p = false
q = false