Skip to main content
Tweeted twitter.com/StackMma/status/1339042712444674049
Improved formatting
Source Link
m_goldberg
  • 108.1k
  • 16
  • 104
  • 259

I tried the code below (I sort of translated it from written notation), where I hoped that [Intersection] would give me the intersection of line ac with the altitude from b:

scene1 = 
  GeometricScene[{a, b, c, d}, 
    {Triangle[{a, b, c}], 
    d \[Element] {Line[{a, c}] \[Intersection] 
       TriangleConstruct[{a, b, c}, "Altitude"]}, 
      TriangleConstruct[{a, c, b}, "Altitude"]}];
RandomInstance[scene1, 3]

It did not work. How do I then define the intersection of two lines as a point?

I tried the code below (I sort of translated it from written notation), where I hoped that [Intersection] would give me the intersection of line ac with the altitude from b:

scene1 = GeometricScene[{a, b, c, d}, {Triangle[{a, b, c}], 
    d \[Element] {Line[{a, c}] \[Intersection] 
       TriangleConstruct[{a, b, c}, "Altitude"]}, 
    TriangleConstruct[{a, c, b}, "Altitude"]}];
RandomInstance[scene1, 3]

It did not work. How do I then define the intersection of two lines as a point?

I tried the code below (I sort of translated it from written notation), where I hoped that [Intersection] would give me the intersection of line ac with the altitude from b:

scene1 = 
  GeometricScene[{a, b, c, d}, 
    {Triangle[{a, b, c}], 
    d  {Line[{a, c}]  
      TriangleConstruct[{a, b, c}, "Altitude"]}, 
      TriangleConstruct[{a, c, b}, "Altitude"]}];
RandomInstance[scene1, 3]

It did not work. How do I then define the intersection of two lines as a point?

Source Link
Cheng
  • 197
  • 4

How to define the intersection of two lines as a point

I tried the code below (I sort of translated it from written notation), where I hoped that [Intersection] would give me the intersection of line ac with the altitude from b:

scene1 = GeometricScene[{a, b, c, d}, {Triangle[{a, b, c}], 
    d \[Element] {Line[{a, c}] \[Intersection] 
       TriangleConstruct[{a, b, c}, "Altitude"]}, 
    TriangleConstruct[{a, c, b}, "Altitude"]}];
RandomInstance[scene1, 3]

It did not work. How do I then define the intersection of two lines as a point?