Hallo ie,
es geht auch ohne Probieren nach "Schema F" :
 Für A≥0 ist  √A  die nichtnegative Lösung der Gleichung  x2 = A
[   √A = B  ⇔  A≥0 und B≥0  und  B2 = A  ] 
√(2+√3) = 1/2 * (√2 + √6)  ? 
2+√3  und  1/2 * (√2 + √6)  sind offensichtlich ≥ 0   und es gilt:  
[ 1/2 * (√2 + √6) ]2  = 1/4 * (2 + 2*√2*√6 + 6) = 1/4 * (8 + 2*√12) 
   = 1/4 * ( 8 + 2 * √(3*4) ) = 1/4 * (8 + 2*2*√3) = 1/4 *(8 + 4*√3)
   = 2 + √3
Gruß Wolfgang