Ask Your Question

interception47's profile - activity

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