Skip to main content
Don Hatch's user avatar
Don Hatch's user avatar
Don Hatch's user avatar
Don Hatch
  • Member for 11 years, 3 months
  • Last seen more than a week ago
  • Alameda, CA
revised
Efficiently determine if convex hull contains the unit ball
clarify that "polynomial" is intended to mean "polynomial in both n and d", as the OP had to clarify several times in comments
Loading…
comment
The Area of Spherical Polygons
@JeffE Agreed, certainly. Nit: I think maybe you've got the formula negated-- as the internal angles $\gamma_{i}$ increase, the area should increase, rather than decrease, right? Equivalently, the area is $2\pi$ minus the sum of the "turning angles" $\pi-\gamma_{i}$. That makes it easier to generalize from a polygon to any closed curve on the sphere: the summation turns into an integral.
awarded
comment
Construction of an optimal electron cage
@RobertIsrael see my previous comment (sorry, clumsy here-- I don't know how to cc multiple people at once, or from an answer)
comment
Construction of an optimal electron cage
@GerhardPaseman I posted an answer showing the equipotential surface at the origin, which, I think, confirms your conjecture that escape is possible through only the hexagonal faces.
answered
Loading…
revised
Incenter-of-mass of a polygon
tweak wording slightly for clarity
Loading…
comment
Incenter-of-mass of a polygon
@GerryMyerson by "side-triple" I mean a subset of the set of n sides, of cardinality 3. If there are n sides, then there are (n choose 3) side triples, so a quadrilateral has (4 choose 3) = 4 of them, and a pentagon has (5 choose 3) = 10 of them. But if you pick a particular triangulation of the dual to work with, that means you're selecting a particular n-2 of those (2 of them for a quad, 3 of them for a pentagon).
revised
Loading…
revised
Loading…
answered
Loading…
revised
How to find a closest integer point to the intersection of two lines?
Previous edit introduced the misleading/confusing phrase "quadrant of the plane". Reverting that part to earlier clear phrasing.
Loading…
comment
Incenter-of-mass of a polygon
I figured it out. Given P, let Q be the cyclic polygon whose vertices are the outward unit normals of the sides of P. Then the weights are proportional to the triangle areas in an arbitrary triangulation of Q, weighting the incenters of the corresponding side-triples of P. The result is magically independent of the triangulation chosen. I'll write up an answer with pictures soon, and maybe a proof of triangulation-independence.
revised
Incenter-of-mass of a polygon
further clarify the ansatz
Loading…
revised
Incenter-of-mass of a polygon
minor clarification
Loading…
asked
Loading…
comment
Listing applications of the SVD
Regarding "Finding the nearest orthogonal matrix to a given matrix", aka orthogonal Procrustes problem or Wahba's problem or rigid point set registration (all minor variations on the same problem), the textbook solution is, indeed, to compute the SVD $M = U \Sigma V^T$, and throw away $\Sigma$, producing the answer $U V^T$, the orthogonal matrix closest to $M$. (Assume $M$ has positive determinant, to sidestep a mess.) But I noticed that, in the 2 dimensional case, SVD isn't needed at all. If $M = [[a,b],[c,d]]$, then the answer is simply $[[a+d,b-c],[c-b,a+d]] / \sqrt{(a+d)^2+(b-c)^2}$.
comment
Reductio ad absurdum or the contrapositive?
Regarding the "inspired decision to divide into the two cases B and ¬B", I'm not sure the resulting proof can be called a direct proof, since it would be using the law of excluded middle. In particular, that's not permitted in intuitionist logic, is it?