Changes between Version 1 and Version 2 of WO4_Varignon_1687

Timestamp:

Jan 28, 2009, 4:27:16 PM (15 years ago)

Author:

Klaus Thoden

Comment:

--

WO4_Varignon_1687

@@ -27 +27 @@
 
 === Findings ===
+Check thoroughly, if [http://libcoll.mpiwg-berlin.mpg.de/libcoll_zogilib?fn=/permanent/library/TP04WPNS/pageimg&pn=62&ws=1&wx=0.155&wy=0.2043&ww=0.775&wh=0.1414&mk=0.3109/0.2846 this formula] is ok:
 
+{{{
+<tb>
+que{ # {_x._ R :: _a. b._ \\ R. _y_ :: _d. c._} # Donc {_x. y_ :: _ad. bc._ \\ & \\ _x. x_ + _y_ :: _ad. ad_ + _bc._ # }Donc
+# {_z._ R :: _e. f._ \\ R. _x_ :: _b. a._} # Donc _z. x_ :: _eb. fa._
+</tb>
+}}}
 === Recommendation ===