Questions on the use of algebraic techniques to prove geometric theorems.

learn more… | top users | synonyms (1)

9
votes
0answers
201 views

Mathematical properties of two dimensional projection of three dimensional rotated object

Please be gentle as I do not have any degree in maths. By using a compass/straighedge method to construct Metatron's cube, a regular dodecahedron can be inferred from intersecting points. I'm looking ...
7
votes
0answers
141 views

Knight's metric: ellipse and parabola.

Knight's metric is a metric on $\mathbb{Z}^2$ as the minimum number of moves a chess knight would take to travel from $x$ to $y\in\mathbb{Z}^2$. What does a parabola (or an ellipse) became with this ...
6
votes
0answers
51 views

Is this solution legal?

Let $M(1,-1)$ be a point in a plane. Find its distance from a line given by $x+2y-4=0$. Later on I found a formula: $$d=\frac{\left | Ax_{0}+Bx_{0}+C \right | }{\sqrt{A^2+B^2}}$$ But I did it ...
5
votes
0answers
43 views

Upper bound on the distance of orthogonal matrices

Dear math stackexchange users, I have a question on orthogonal matrices: suppose I have a matrix $X\in\mathbb{R}^{n\times n}$ and I consider the orbit of the orthogonal group $O(n)$ acting from the ...
5
votes
0answers
204 views

Are there eigenvectors, eigenvalues, and characteristic functions for non-linear vector fields?

An eigenvector is a vector in the preimage of the transformation whose direction is not changed when the transformation is applied. It seems like the concept of eigenvectors and eigenvalues would ...
4
votes
0answers
65 views

Is there an algebraic description of the ring of analytic functions on the real projective line?

Apologies for the long question. Let $X=\mathbf P^1(\mathbf R) \subseteq \mathbf P^1(\mathbf C)$ be the real projective line. Let $\mathcal O_X$ be the sheaf of real-analytic complex-valued functions ...
4
votes
0answers
107 views

Tangent developable of helix.

Let $T$ be union of tangent lines to helix $C=(\cos x, \sin x,x)$. 1) I want to prove that $T - C$ is a smooth manifold and find equation for $T$. 2) I want to find how many times a line can ...
4
votes
0answers
65 views

Soft: Why does the existence of a singularity cause problems for deRham cohmology?

I've heard that if a variety has a singularity then the deRham theory has "problems". What exactly are these? Im guessing there is some sort of issue with the defintion of a differential form, but ...
4
votes
0answers
99 views

Points at Integer Distances in 3-space

With the restriction no three points in a line, no four points on a circle, there is a 7 point configuration of points on the plane such that all pairs of points are at integer distances. [1] For ...
3
votes
0answers
39 views

How to transform (rotate) this hyperbola?

Given this hyperbola $x_1^2-x_2^2=1$, how do I transform it into $y_1y_2=1$? When I factor the first equation I get $(x_1+x_2)(x_1-x_2)=1$, so I thought $y_1=(x_1+x_2)$ and $y_2=(x_1-x_2)$. ...
3
votes
0answers
23 views

On the solutions of a system of inequalities avoiding Helly's theorem

Let $a_1,b_1,\cdots,a_4,b_4\in\mathbb{R},r_1,\cdots,r_4\in(0,+\infty)$. Show that, if $\not\exists (x,y)\in\mathbb{R}^2$ such that $$ \begin{cases} (x-a_1)^2+(y-b_1)^2\le r_1\\ ...
3
votes
0answers
41 views

Trigonometrical functions and complex numbers

(This question will at first appear too broad. However, the overall philosophy will be explained below in a way that asks specific questions, which I hope will be conducive to this being a reasonable ...
3
votes
0answers
30 views

How to calculate a reduced volume?

Let's say we have an irregular 3D shape with volume=V ( we know V but we don't know its equation= F). Now I want to calculate another 3D shape which is exactly the same shape but one size smaller, ...
3
votes
0answers
132 views

Calculate the flux of $\underline{v}$ across the boundary of the sector.

For $a\in(0,1)$, calculate without use of the divergence theorem the flux of $\underline{v}(x,y) = g(y/x)(-1/x,1/y)$ across the boundary of the sector $ S_a := \{(x,y)\in \Omega : 1\leqslant x^2+y^2 ...
3
votes
0answers
39 views

Applications of the quartic curve $x^2y^2-1=0$?

The quartic curve $x^2y^2-1=0$ is equivalent to the union of the hyperbolas $xy-1=0$ and $xy+1=0$, i.e., it's a rectangular hypobola superimposed with a copy of itself rotated by 90 degrees. Does this ...
3
votes
0answers
80 views

Clarification of the Jacobian

Well, that was cool if not tedious but I understand the Jacobian and its application to changing coordinate systems. $${J_{POLAR}= \rho}$$ $$ {J_{cyl}= \rho}$$ and $${J_{sphere}=\rho^2\sin\phi}$$ ...
3
votes
0answers
782 views

Turning radius of a vehicle

What's the minimum turning radius of a vehicle, rectangular in shape, with length l units and width w units? One key point to consider, would be that, the inclination of the front wheels can be ...
3
votes
0answers
81 views

Algebraic Geometry studied via Filters

Is there any research relating varieties with filters instead of radical ideals? For example, Suppose we have a variety V in C^n, now consider the fixed filter consisting of all algebraic sets ...
3
votes
0answers
77 views

packing for the polytope

Let $X=(X, \|\cdot\|)$ be some normed space. Let $C=[-1,1]^n$ and $H$ be a plane with equation $\sum_{i=1}^nr_i=s, 1\le s\le n.$ (Here $r_i$ are such that $Proba(r_i=1)=Proba(r_i=-1)=1/2$). The ...
3
votes
0answers
139 views

Illustrations of a line and a curve intersecting for complex field

Are there nice illustrations on the Net of say $y=a·x+b$ and $y=x^2$ intersecting where x and y are complex? I'm thinking of the amplitude of y being depicted as height above the complex plane with ...
2
votes
0answers
36 views

Find the equations of the lines tangent to the circle $x^2+y^2=r^2$ that pass through the point $(a,0)$?

Find the equations of the lines tangent to the circle $x^2+y^2=r^2$ that pass through the point $(a,0)$. My book explains that the equation of this line is $y=m(x-a)$ and then we make the ...
2
votes
0answers
49 views

Is the following a conic section

All vectors are in $\mathbb{R}^3$ and only $\mathbf{r} = \left[ x; y; z \right]$ is unknown. My question is does the following system define a conic section in the $x-y$ plane and, if so, how can I ...
2
votes
0answers
13 views

Finding the transformation matrix of a projective transformation in RP^2

So I want to understand how to find the matrix that represents the projective transformation that sends 4 given points to 4 given images, I know that 4 points are necessary to determine it but I can't ...
2
votes
0answers
55 views

Analytic-geometrical properties of dodecahedron

Consider the following projection of a dodecahedron: An equilateral triangle can be projected to make points $A, B, C, D, E, F$ intersect with it's edges. What would be the mathematical proof (if ...
2
votes
0answers
38 views

About parametric equation of a line in $3$-space

$a.$ Given coordinates $(x, y, z )$ with origin $(0,0,0)$, parameterize the line through the points $(4,5,6)$ and $(1,2,3).$ $b.$ Take components of your answer to Part $(a)$ to give three ...
2
votes
0answers
79 views

how to find angle between two added up vectors in cartesian space

I would like to find the angle between two vectors (theta) -> v1 From i to i+1 v1=(xi1-xi , yi1-y1) and v2 from i+1 to i+2 v2=(xi2-xi1, yi2-yi1), which are shown as in the figure (but v1 and v2 can be ...
2
votes
0answers
74 views

A variational strategy for finding a family of curves?

In a recent question, I asked for examples of families of distinct smooth curves with fixed area and perimeter (which for this question I will dub as doubly-isometric). That wording allows $C^1$ ...
2
votes
0answers
28 views

finite morphism (algebraic) vs finite morphism (analytic)

Let $X$ and $Y$ be two algebraic varieties (reduced schemes of finite type) over $\mathbb{C}$. Let $f : X \to Y$ be a morphism of schemes. Let $X^{an}$, $Y^{an}$ and $f^{an}$ the corresponding ...
2
votes
0answers
68 views

Locus of centre of circle in Lambert theorem

A beautiful theorem, when three tangents to a parabola form a triangle,the focus of the parabola lies on the circumcircle of the triangle. But what is the locus of the centre of the circumcircle of ...
2
votes
0answers
33 views

Is there a Focal Point/Area/Line of a Parabola for not perpendicular Lines

I'm not sure if this is mathematical enough for this forum, since it's my first post, but please don't be too harsh! So my question is: If the incoming lines of a Parabola come in perpendicular to ...
2
votes
0answers
62 views

Cauchy-Schwarz on a Euclidian Space

I was thinking about this proof of the cauchy-schwarz inequality, I wanna show that $$|\langle u,v\rangle|\leq|u||v|$$. We know that, $$|\langle u,v\rangle| = ||u||v|\cos{\theta}|$$ where $\theta$ ...
2
votes
0answers
207 views

Computing Euler Angles from Direction Cosines Vector

My problem simply as the following: Suppose we measured the orientation of a plane object with respect to a reference fame. (where the reference frame parallel to plane frame). The unit normal vector ...
2
votes
0answers
157 views

A sphere packing problem

Suppose there is a large sphere of radius $R$. We want to pack it with smaller spheres. The volume of the smaller spheres change depending on where they are situated in the larger sphere. A smaller ...
2
votes
0answers
55 views

points possible on a circle

Let $A, B, C, D$ and $E$ be five points marked in clockwise order, on the unit circle in the plane (with centre at origin). Let $\alpha$ and $\beta$ be real numbers and set $f(p)=\alpha x+\beta y$ ...
2
votes
0answers
35 views

Finding the point of concurrence of a family of straight lines

If $6a^2-3b^2-c^2+7ab-ac+4bc=0$, then the family of lines $ax+by+c=0$ is concurrent at $(-2,-3)$ $(3,-1)$ $(2,3)$ $(-3,1)$ Multiple answers are possible. I am not able to group terms of the ...
2
votes
0answers
118 views

Find $k$ such that the intersection of $x+ky=1$ and $y^2 - x^2 - z^2 = 1$ is an ellipse or a hyperbola

Find the values of $k$ such that the intersection of the plane $x+ky=1$ with the two-sheeted elliptic hyperboloid $y^2 - x^2 - z^2 = 1$ is (a) an ellipse and (b) a hyperbola. My attempt is the ...
2
votes
0answers
436 views

Proof of coarea formula

I want to prove the coarea formula $\operatorname{Vol}(M) = \int_M d\operatorname{Vol}_M = \int_{-\infty}^\infty \frac{1}{|\nabla f|} \operatorname{area }(f^{-1}(t)) dt$ where $f: M \rightarrow ...
2
votes
0answers
619 views

Equations of branches of a mind map

Sorry for the long question, but it's not so simple to explain. Consider a mind map like this: I want to draw branches in a cartesian coordinate system. I'd like to find two equations which ...
2
votes
0answers
44 views

elipsoid surface intersection in $\mathbb{R}^3$

Is there an explicit parametric solution describing the curve result of the intersection of two elipsoid surfaces with abitrary position and orientation in $\mathbb{R}^3$?
2
votes
0answers
45 views

degeneracy loci of dimension $2$

Let $X$ be a smooth complex projective variety of dimension $n \ge 4$ and let $F$ and $E$ be two (holomorphic) vector bundles of rank $f$ and $e$ over $X$. Given a morphism $\varphi: F \to E$ of ...
2
votes
0answers
484 views

projection of a sphere onto a plane

Consider you have a sphere centered at the origin.The sphere has a diameter of $\frac{1}{2} \sqrt{\frac{3}{2}}$. This means that the inscribed cube has an edge of 1. Take any point from the plane ...
1
vote
0answers
39 views

A better way to answer this question

So my team and i were asked this question a few years ago on a small Math-A-Thon on my hometown. It went something like this: "We need to transport a neon tube (or any tube, who cares) of 92cm ...
1
vote
0answers
27 views

Question about the coordinates in a new origin on the plane.

I'm reading a book on analytic geometry, specifically on a chapter on change of coordinates. It says that having the origin $O$, one point $P$ and a new origin $O'$, the vector that describes the ...
1
vote
0answers
18 views

Why $\|X-F\|=e|(X-F)\cdot N -d|$ should be written as $\|X-F\|=e|(X-F)\cdot N +d|$?

I'm reading Apostol's Calculus. $\quad $ And I've tried to do the following exercise: $\quad \quad \quad \quad $ I am a little confused: I have the portuguese version of the book, and it ...
1
vote
0answers
24 views

Solving euclidean geometry problems with analytical geometry

Can anyone recommend a good resource about applications of analytical geometry in doing elementary geometry problems like ones on IMO?
1
vote
0answers
22 views

Faster Alternative than Calculating Euclidian Distance to determine which Coordinate has Max Distance from a fixed coordinate (eg (0,0))

I am developing a program that needs me to determine which coordinate in a 2-d figure has maximum distance from a fixed coordinate. Let me demonstrate: 3 points: (1,3), (2,2), (5,0) ; Fixed point: ...
1
vote
0answers
27 views

Intercepted at the Coordinate Axes

A line passes through point $(2,2)$. Find the equation of the line if the length of the line segment intercepted by the coordinate axes of the square root of $5$. The correct answer among the choices ...
1
vote
0answers
19 views

$ABCD$ has area $9$. $M$ is in the middle of $AB$ and the edge $BF$ of length $2$ forms an angle of $60º$, Calculate $[CM,CB,BF]$.

$ABCD$ has area $9$. $M$ is in the middle of $AB$ and the edge $BF$ of length $2$ forms an angle of $60º$. Calculate $[CM,CB,BF]$, knowing that $\mathbb{V}^3$ is oriented by a positive basis. ...
1
vote
0answers
18 views

Analytic structures on $S^1$|

I am currently studying Haefliger's paper "Homotopy and Integrablity". During the last chapter, he applies his theory of $\Gamma$-structures to analytic codimension $1$ foliations. Throughout the ...
1
vote
0answers
22 views

Intersection of symmetric lines.

So I have to determine if these 2 symmetric lines intersect. I converted them to parametric: $$\begin{align} -6+2t&=10+4s\\ -4+3t&=4-2s\\ -1+2t&=-1-4s \end{align}$$ Now, I know I have ...