How to arrive at an equation of a Roman surface from three points (a triangle)

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite












I have three points (for example, A( 1, 1, 0 ) B( 2, 1, 0 ) C( 1.5, 0, 0 ), origin at O( 0, 0, 1000 ) ), with which I am creating what I believe is a Roman surface ($x^2y^2 + y^2z^2 + z^2x^2 - r^2xyz = 0$). This surface has some useful properties in that it intersects itself in three lines that then intersect at its triple point at the origin of its radius. For my purposes I am imagining using a very large radius, because the surface will appear flat for points that are close together.



I believe that it is possible to describe a triangle with the pinch points of the intersecting surface as drawn in the illustration. Please excuse the crude lines, I was trying to describe the curvature of the surface as it obviously overlaps a lot ><.



Illustration of points on the surface



Additional, incorrect illustration



If I can derive an equation of a Roman surface that pinches at the three points, then it is trivial to prove if other points are within the surface. I'm not sure how to solve the equation due to its relative complexity. Intuitively, it seems something like a 3D analog of the Steiner circumellipse, which connects three points along a single "surface".



If I am incorrect in my assumptions about the Roman surface, is there another topology that might be useful here? The goal is to describe a surface that includes all three edges of the triangle. Thank you for your help, I'm quite out of my league.







share|cite|improve this question





















  • For those who'd never heard of "Roman surface" before, and figured this was a typo for "Riemann surface"... as I did... see the Wiki page, for example... :)
    – paul garrett
    Jul 24 at 23:44














up vote
2
down vote

favorite












I have three points (for example, A( 1, 1, 0 ) B( 2, 1, 0 ) C( 1.5, 0, 0 ), origin at O( 0, 0, 1000 ) ), with which I am creating what I believe is a Roman surface ($x^2y^2 + y^2z^2 + z^2x^2 - r^2xyz = 0$). This surface has some useful properties in that it intersects itself in three lines that then intersect at its triple point at the origin of its radius. For my purposes I am imagining using a very large radius, because the surface will appear flat for points that are close together.



I believe that it is possible to describe a triangle with the pinch points of the intersecting surface as drawn in the illustration. Please excuse the crude lines, I was trying to describe the curvature of the surface as it obviously overlaps a lot ><.



Illustration of points on the surface



Additional, incorrect illustration



If I can derive an equation of a Roman surface that pinches at the three points, then it is trivial to prove if other points are within the surface. I'm not sure how to solve the equation due to its relative complexity. Intuitively, it seems something like a 3D analog of the Steiner circumellipse, which connects three points along a single "surface".



If I am incorrect in my assumptions about the Roman surface, is there another topology that might be useful here? The goal is to describe a surface that includes all three edges of the triangle. Thank you for your help, I'm quite out of my league.







share|cite|improve this question





















  • For those who'd never heard of "Roman surface" before, and figured this was a typo for "Riemann surface"... as I did... see the Wiki page, for example... :)
    – paul garrett
    Jul 24 at 23:44












up vote
2
down vote

favorite









up vote
2
down vote

favorite











I have three points (for example, A( 1, 1, 0 ) B( 2, 1, 0 ) C( 1.5, 0, 0 ), origin at O( 0, 0, 1000 ) ), with which I am creating what I believe is a Roman surface ($x^2y^2 + y^2z^2 + z^2x^2 - r^2xyz = 0$). This surface has some useful properties in that it intersects itself in three lines that then intersect at its triple point at the origin of its radius. For my purposes I am imagining using a very large radius, because the surface will appear flat for points that are close together.



I believe that it is possible to describe a triangle with the pinch points of the intersecting surface as drawn in the illustration. Please excuse the crude lines, I was trying to describe the curvature of the surface as it obviously overlaps a lot ><.



Illustration of points on the surface



Additional, incorrect illustration



If I can derive an equation of a Roman surface that pinches at the three points, then it is trivial to prove if other points are within the surface. I'm not sure how to solve the equation due to its relative complexity. Intuitively, it seems something like a 3D analog of the Steiner circumellipse, which connects three points along a single "surface".



If I am incorrect in my assumptions about the Roman surface, is there another topology that might be useful here? The goal is to describe a surface that includes all three edges of the triangle. Thank you for your help, I'm quite out of my league.







share|cite|improve this question













I have three points (for example, A( 1, 1, 0 ) B( 2, 1, 0 ) C( 1.5, 0, 0 ), origin at O( 0, 0, 1000 ) ), with which I am creating what I believe is a Roman surface ($x^2y^2 + y^2z^2 + z^2x^2 - r^2xyz = 0$). This surface has some useful properties in that it intersects itself in three lines that then intersect at its triple point at the origin of its radius. For my purposes I am imagining using a very large radius, because the surface will appear flat for points that are close together.



I believe that it is possible to describe a triangle with the pinch points of the intersecting surface as drawn in the illustration. Please excuse the crude lines, I was trying to describe the curvature of the surface as it obviously overlaps a lot ><.



Illustration of points on the surface



Additional, incorrect illustration



If I can derive an equation of a Roman surface that pinches at the three points, then it is trivial to prove if other points are within the surface. I'm not sure how to solve the equation due to its relative complexity. Intuitively, it seems something like a 3D analog of the Steiner circumellipse, which connects three points along a single "surface".



If I am incorrect in my assumptions about the Roman surface, is there another topology that might be useful here? The goal is to describe a surface that includes all three edges of the triangle. Thank you for your help, I'm quite out of my league.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 25 at 3:16
























asked Jul 24 at 23:32









Gavin

112




112











  • For those who'd never heard of "Roman surface" before, and figured this was a typo for "Riemann surface"... as I did... see the Wiki page, for example... :)
    – paul garrett
    Jul 24 at 23:44
















  • For those who'd never heard of "Roman surface" before, and figured this was a typo for "Riemann surface"... as I did... see the Wiki page, for example... :)
    – paul garrett
    Jul 24 at 23:44















For those who'd never heard of "Roman surface" before, and figured this was a typo for "Riemann surface"... as I did... see the Wiki page, for example... :)
– paul garrett
Jul 24 at 23:44




For those who'd never heard of "Roman surface" before, and figured this was a typo for "Riemann surface"... as I did... see the Wiki page, for example... :)
– paul garrett
Jul 24 at 23:44















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2861862%2fhow-to-arrive-at-an-equation-of-a-roman-surface-from-three-points-a-triangle%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2861862%2fhow-to-arrive-at-an-equation-of-a-roman-surface-from-three-points-a-triangle%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?