a1=Ángulo(Pizquierda) a2=Ángulo(Pderecha) x² + y² ≤ r1² ∧ x² + y² ≥ r2² ∧ (x < 0 ∨ y > tg(a2) x) ∧ (x > 0 ∨ y > tg(a1) x)
zona1: PrimerMiembro(elipse1) ≤ SegundoMiembro(elipse1)
∧ PrimerMiembro(elipse2) ≥ SegundoMiembro(elipse2)
zona2: PrimerMiembro(elipse2) ≤ SegundoMiembro(elipse2)
∧ PrimerMiembro(elipse1) ≥ SegundoMiembro(elipse1)
intersección: PrimerMiembro(elipse2) ≤ SegundoMiembro(elipse2)
∧ PrimerMiembro(elipse1) ≤ SegundoMiembro(elipse1)
intersección2: PrimerMiembro(elipse2) ≤ SegundoMiembro(elipse2)
∧ PrimerMiembro(elipse1) ≤ SegundoMiembro(elipse1)
∧ PrimerMiembro(recta1) - SegundoMiembro(recta1) < 0
(*) Método basado en las observaciones de Juan Vicente Sánchez.
s = Spline({A, B, C, D, E, F, G}, 3)
s2 = Spline({H, I, J, K, L, M, H})
P1
, sobre la figura.P2=P1
.relleno = LugarGeométrico(P2, P1)
.Pol
, con un agujero central, definido como circ
, se puede crear con los comandos
contorno = {Pol, circ}
P1 = Punto(contorno)
P2=P1
relleno = LugarGeométrico(P2, P1)
partes
en que dividimos cada semicírculo, y la cantidad n
de grupos de sectores.Ec1
y Ec2
que servirán para generar la figura a partir de rotaciones (podemos ocultarlas o hacerlas visibles pulsando en el círculo de la vista algebraica, junto su nombre).
Se han generado utilizando desigualdades.Bordes
mediante arcos y segmentos, de manera idependiente.partes = 4
A = Punto(EjeX)
B = Punto(Semirrecta(A + (0.3, 0), A + (2, 0)))
n = 3
ang = π / partes
PA = Secuencia(A + t B, t, 0, n - 1)
PB = Secuencia(B + t B, t, 0, n - 1)
r: Recta((0, 0), (1; ang))
Ec1 = Zip((x(P1))² ≤ x² + y² ≤ (x(P2))² ∧ y > 0 ∧ PrimerMiembro(r) ≤ 0, P1, PA, P2, PB)
Ec2 = Zip((x(P1))² ≤ x² + y² ≤ (x(P2))² ∧ y > 0 ∧ PrimerMiembro(r) ≤ 0, P2, PA, P1, Añade((0, 0), PB))
Parte1 = Secuencia(Rota(Ec1, ang * 2t), t, 0, partes)
Parte2 = Secuencia(Rota(Ec2, ang * 2t), t, 0, partes)
Parte3 = Secuencia(Rota(Ec2, ang + ang * 2t), t, 0, partes)
Parte4 = Secuencia(Rota(Ec1, ang + ang * 2t), t, 0, partes)
Bordes = Zip(Circunferencia((0, 0), P), P, Encadena({PA, PB}))
Bordes2 = Secuencia(Rota(Segmento((0, 0), n B), ang t), t, 0, 2partes)