założenia:
|< CAB| = 90
|< CDA| = 90
rysunek
teza:
|AC| = (|DB| + |CD|)*|DB|
dowód:
z tw. Pitagorasa:
(|CD| + |DB|)² = |CA|² + |AB|²
|CA|² = |DA|² + |CD|²
|AB|² = |DA|² + |DB|²
od drugiego równania odejmujemy stronami pierwsze:
|CA|² - |AB|² = |CD|² - |DB|²
a teraz odejmiemy stronami to co otrzymaliśmy od pierwszego równania:
(|CD| + |DB|)² = |CA|² + |AB|²
|CD|² - |DB|² = |CA|² - |AB|²
(|CD| + |DB|)² - |CD|² + |DB|² = 2|AB|²
|CD|² + |DB|² + 2|CD|*|DB| - |CD|² + |DB|² = 2|AB|²
2|DB|² + 2|CD|*|DB| = 2|AB|²
|DB|² + |CD|*|DB| = |AB|²
|DB|*(|DB| + |CD|) = |AB|²
|AB|² = |DB|*(|DB| + |CD|) co było do udowonienia
