Questions tagged [envelope]

In geometry, an envelope of a continuous family of differentiable curves is a curve that touches each member of that family at some point, and these points of tangency together form the whole envelope. Therefore it is the limiting curve of the intersection of contiguous members of the initial family.

Let $F(x, y, t)=0$ be a family of implicitly defined curves parametrized by variable $t.$ Any two members of this family, in general, intersect at some points. These intersections points are determined by the solution to the pair $$F(x, y, t)=0, \qquad F(x, y, t^*)=0,$$ where $t, t^*$ are the corresponding values of the parameter. As $t^*\to t$ the limiting points on the curve $F(x, y, t)=0$ are known as characteristic points. The locus of all characteristic points, in general, form another curve known as the "envelope of the initial family of curves". Envelope can be obtained by eliminating $t$ from the pair $$F=0,\qquad \dfrac{\partial F}{\partial t}=0.$$

An enlightening example is given in here with a nice animation. One can think of it as instantaneous positions of a slipping ladder. If the length of the ladder is $a,$ then $$F(x, y, \theta)=\dfrac{x}{\cos\theta}+\dfrac{y}{\sin\theta}-a=0$$ describe all members of this family of lines, where $\theta\in(0, \pi/2).$

80 questions
11
votes
0 answers

Is there a function that is the envelope of the sum of ceilings of reciprocal functions

TL;DR: Given a sum of ceilings of reciprocal functions $$y_1 = T = \sum^{n-1}_i \Big\lceil \frac{p_i}{k} \Big\rceil$$ is there a corresponding form for a function that envelopes the $T$ on the left? Or in other words, is there a form for the…
9
votes
2 answers

Why is enveloping algebra called enveloping algebra?

What does the enveloping algebra of $\mathfrak{g}$ have to do with envelopes? If $\mathfrak{g}$ is a Lie algebra, we take tensor algebra on $\mathfrak{g}$ and make quotient through ideal of T, so we put elements of $\mathfrak{g}$ into some…
7
votes
3 answers

The area between parabolic lines inside a square

The following square has edges of size $1$ and I'm trying to find the area of the blue region trapped between the parabolic curves created by the straight lines (number of lines is technically infinite). I assume that the simplest way to go about…
6
votes
4 answers

Envelope of lines giving a conic section

This problem originates from another question, which was closed for lack of context. I found a solution but some details are still missing, as explained below. Given an angle and a point $P$ inside it, consider all chords $$ such that $\angle…
6
votes
1 answer

Prove that the locus is tangent to the circle

$O,A$ and $B$ are arbitrary points on the plane. Point $C$ moves on the circle with center $O$ and radius $OB$. Construct a circle with center $C$ and externally tangent to the circle with center $A$ and radius $AB$. Let the tangency point be…
hbghlyj
  • 5,361
6
votes
0 answers

Graph Envelope Constraint puzzles from The Witness game.

The computer game "The Witness" contains various puzzles based on a finite square grid graph arranged in the usual way. A path must be found from a given point on the edge to another. Each square can contain a symbol that describes additional…
5
votes
2 answers

Conceptually Understanding the Mathematical Definition for an Envelope of Family of Curves

Assuming we have a one-parameter, two-dimensional, family of curves, given by $f(x, y, p) = 0$, there are two requirements for the envelope (see https://en.wikipedia.org/wiki/Envelope_(mathematics)#) of that family (assuming it…
5
votes
2 answers

circle envelope tangent in another circle

As the picture shows, One big circle ,$(0,0)$ ,radius=R, there is a small circle in it, $(m,0)$ ,radius=r . G is on the big circle. From G ,we can do two tangent lines about the small circle. Get the points of intersection E and F. line EF has a…
AsukaMinato
  • 1,007
4
votes
2 answers

Envelope of the function $f(x)=\frac{\sin(x)}{\sin(x/N)}$

Given a positive integer $N$, let us consider the function $$ f(x)= \frac{\sin(x)}{\sin(x/N)} $$ in the interval $0
boaz
  • 5,551
4
votes
3 answers

Envelope of family of ellipses tangent to x-axis and y-axis

I wanted to find the ellipse of the largest area that can pass through a hallway that makes a 90 degrees turn.The vertex of this hallway is at (c , d). In order to do that, I tried to find the envelope of the equation of family of ellipses by using…
Haroon
  • 43
4
votes
0 answers

Find the envelope of ellipses defined by a difficult function

The problem sounds easy, that is, if I would have had an easy function $\phi(k_p, k_i, \omega)$ that defines these ellipses. This function, $\phi$ depends on which transfer system $G(s)$ I am trying to design a controller for. For example if I take…
3
votes
1 answer

Help me prove convexity for this envelope

Let $Q \subset \mathbb{E} \times \mathbb{R}$ be a set, where $\mathbb{E}$ represents the Euclidean space. I have the following: We know that $E_Q(x)=\inf\{r:(x,r) \in Q\}$ by definition. Furthermore, $f$ is convex if for all $x \in \mathbb{E}$, $y…
3
votes
1 answer

In a triangle ABC : 2 externaly tangent circles, also tangent to BC with centers on line segments AB and AC : envelope of their lines of centers?

The figure here gives an illustration of the configuration described in the title in 4 cases ; consider especialy the fourth one, materialized by red circles, red center points, and a red line segment connecting them. Fig. 1 : Circles on the left…
Jean Marie
  • 88,997
3
votes
0 answers

"Paradox" on the equations of envelope of a family of curves

So I was computing the envelope of the family of lines $x \cos{C} + y \sin{C} = p$, where $p$ is a constant and $C$ is the parameter that defines the family. According to the normal procedure, we would differentiate the equation with respect to $C$…
ImHackingXD
  • 1,119
3
votes
3 answers

Finding a Closed Form for a Grade School Art Project

Hello Math StackExchange! When I was in grade school, our math class did an art project where we drew many straight lines to make what appears to be a curve on the outside (pictures attached). I've been curious about the resulting curve for at least…
1
2 3 4 5 6