如图，用4个全等的直角三角形拼成正方形，古人用它证明了勾股定理，这个图被称为“弦图”.若“弦图”中大正方形面积为20，tana=2，则小正方形的面积为.