ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 06 May 2016 11:48:30 -0500Intercept theorem in sagehttps://ask.sagemath.org/question/33330/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
interception47Fri, 06 May 2016 11:48:30 -0500https://ask.sagemath.org/question/33330/