Diff for "GeometryProblem"

Differences between revisions 1 and 2

that square root problem

At the BAPL 09 banquet Johnny Ball demonstrated a geometric method to determine a square root. A couple of us couldn't quite believe it at the time. Devon came up with a verbal description next morning.

This is what I make of it.

In the diagram:

BC=1                   ⍝ by construction
AD=DC                  ⍝ by construction
AD=DE                  ⍝ by construction
Prove:
BE=AB*0.5              ⍝ BE is the square root of AB
Proof:
(BE*2) = (DE*2)-DB*2   ⍝ Pythagorus
       = (DE+DB)×DE-DB ⍝ difference of 2 squares
       =   AB   ×  1
.'. BE = AB*0.5
QED

Does anyone know if it's in Euclid?@SIG

CategoryBapla09

-  ⇤ ← Revision 1 as of 2009-06-10 12:04:19 → 
  Size: 728
  Editor: anonymous
  Comment: new page
+   ← Revision 2 as of 2009-06-10 12:04:49 → ⇥
  Size: 729
  Editor: anonymous
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-At the BAPL 09 banqet Johnny Ball demonstrated a geometric method to determine a square root. A couple of us couldn't quite believe it at the time. Devon came up with a verbal description next morning.
+At the BAPL 09 banquet Johnny Ball demonstrated a geometric method to determine a square root. A couple of us couldn't quite believe it at the time. Devon came up with a verbal description next morning.