рассмотрим треугольники abc и a1b1c1, у которых ав = a1b1, ас = a1c1 ∠ а = ∠ а1 (см. рис.2). докажем, что δ abc = δ a1b1c1.
так как ∠ а = ∠ а1, то треугольник abc можно наложить на треугольник а1в1с1 так, что вершина а совместится с вершиной а1, а стороны ав и ас наложатся соответственно на лучи а1в1 и a1c1. поскольку ав = a1b1, ас = а1с1, то сторона ав совместится со стороной а1в1 а сторона ас — со стороной а1c1; в частности, совместятся точки в и в1, с и c1. следовательно, совместятся стороны вс и в1с1. итак, треугольники abc и а1в1с1 полностью совместятся, значит, они равны.
ас=ав=x
по теореме Пифагора вс^2=ac^2+aв^2
вс=√(х^2+x^2)=x√2
20=x√2
x=20/√2
x=10√2
ac=ав=10√2