2024-04-18 20:07:52 +0200 | received badge | ● Famous Question (source) |
2024-04-18 20:07:52 +0200 | received badge | ● Notable Question (source) |
2024-04-18 20:07:52 +0200 | received badge | ● Popular Question (source) |
2016-05-07 14:45:10 +0200 | received badge | ● Editor (source) |
2016-05-06 23:14:49 +0200 | asked a question | Intercept theorem in sage Hi, I'm working on Grobner bases and Buchberger algorithm and begginning in Sage. I would like to find a way to prove that if we have $B, C, D$ three points, then the point $C$ is in the circle of diameter $BD$ if and only if the triangle $BCD$ is an $C$-shaped right-angled triangle. I'm thinking about using the Intercept theorem but I would like to prove it using Sage. Thank you |