arată/ascunde dreapta a

arată/ascunde dreapta b

arată/ascunde dreapta c

arată/ascunde paralelele la a, b, c

arată/ascunde triunghiurile

arată/ascunde punctele M, P

Ipoteză:                                Concluzie:
▶ a, b, c incluse în plan           ▶ d⊥c
▶ a∦b∦c∦a
▶ d perpendiculară pe a și b

arată/ascunde unghiurile

arată/ascunde triunghiurile I

arată/ascunde triunghiurile II

arată/ascunde unghiul drept

a = (-1.8597207267988383, -51.42071361449122, 1.7763568394002505E-15)
A_1 = (-1.1629252102442234, -44.59989517741964)
a_1 = Line(A_1, a)
b = (9.121729640248475, -44.59782113595477)
C_1 = (-1.1322201927664386, -44.59479363994011)
b_1 = Line(C_1, b)
E = (8.447351684096809, -44.70991886883603)
c = (10.659209767173035, -49.096914630336286)
c_1 = Line(E, c)
O = (2.452739620825411, -47.95996153703068)
d_1 = Line(O, a_1)
e = Line(O, b_1)
f = Line(O, c_1)
A = Point(d_1)
B = Point(e)
g = OrthogonalLine(O, xOyPlane)
h = Segment(O, A)
i = Segment(O, B)
j = Segment(A, B)
C = Intersect(f, j)
k = Segment(O, C)
OMșiOP = 5.5 (slider from 1 to 7, step 0.1)
m = Sphere(O, OMșiOP)
P, M = Intersect(g, m)
poly1, p, m_1, g_1 = Polygon(M, A, P)
poly2, h_1, m_2, p_1 = Polygon(M, P, B)
poly3, p_2, m_3, i_1 = Polygon(M, C, P)
n = true
q = true
r = true
s = false
o = false
t = false
d_2 = Point(g)
α = Angle(M, A, B)
β = Angle(P, A, B)
l = false
poly4, b_2, m_4, a_2 = Polygon(M, A, B)
poly5, b_3, a_3, p_3 = Polygon(A, P, B)
u = false
poly6, c_2, m_5, a_4 = Polygon(M, A, C)
poly7, c_3, a_5, p_4 = Polygon(A, P, C)
v = false
γ = Angle(k, g)
w = false
d = Point(g)