>>713
出てくる三角形はすべて相似になっている。
この証明はとばす。
AD=xとすると
AD:CD=CD:DBとなり
x:12=12:(25-x)
ここからx=9,16を得る。
よってAD=16,DB=9

あとは三角比の問題なので、自分でやれ。