请问能否用SQL或PLSQL证明如下定理

显示全部楼层 · 2012-5-21 10:19:41

圆O中的弦PQ的中点M，过点M任作两弦AB，CD，弦AD与BC分别交PQ于X，Y，则M为XY之中点。

千问 · 2012-5-21 10:19:41

看来sql只能计算，而不能做证明题

千问 · 2012-5-21 10:19:41

如果可用穷尽法证明，则有可能用上SQL或PLSQL.

千问 · 2012-5-21 10:19:41

呵呵,看来数据库的定义得改改了,以前的定义太狭窄了

千问 · 2012-5-21 10:19:41

又要创造一个万能工具啊

千问 · 2012-5-21 10:19:41

就是证明ad bc的截距和为0

千问 · 2012-5-21 10:19:41

几何证明题

千问 · 2012-5-21 10:19:41

mark

千问 · 2012-5-21 10:19:41

只记得过直径的内接三角形一个定点为直角
忘记了,弦切角的定义：顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角。
弦切角定理就是弦切角等于它所夹的弧所对的圆周角，一半弧所对的圆心角
弦切角定理的推论：如果两个弦切角所夹的弧相等，那么这两个弦切角也相等。