Behauptung: √ (5 √ 2 -7) = 1 / √ ( 5 √ 2 + 7 )
Beweis:
√ (5 √ 2 -7) = 1 / √ ( 5 √ 2 + 7 )
<=> √ (5 √ 2 -7) * √ ( 5 √ 2 + 7 ) = 1
<=> √ [ (5 √ 2 -7) * ( 5 √ 2 + 7 ) ] = 1
[Der Wert einer Wurzel ist genau dann gleich 1 wenn der Wert ihres Radikanden gleich 1 ist, also:]
<=> ( 5 √ 2 - 7 ) * ( 5 √ 2 + 7 ) = 1
[Linke Seite mit dritter binomischer Formel ausmultiplizieren:]
<=> 25 * 2 - 49 = 1
<=> 50 - 49 = 1
<=> 1 = 1
Das ist eine wahre Aussage, also ist aufgrund der Äquivalenzumformungen auch √ (5 √ 2 -7) = 1 / √ ( 5 √ 2 + 7 ) eine wahre Aussage.