ผมลองคิดแบบ ม.ปลายก่อนนะครับ
อัดตรีโกณ ยังไม่ได้ลองหาวิธีแบบ ม.ต้น ง่าย ๆ
เนื่องจาก $\frac{DB}{DC} = \frac{DB}{DA} \cdot \frac{DA}{DC}$
โดยกฎของไซน์ จึงได้ว่า $\frac{12}{25} = \sin \theta \cdot \frac{\cos 3\theta}{\sin 2\theta}$
สมการนี้แก้ง่ายมากเลยครับ ได้ $\frac{24}{25} = \frac{\sin 4\theta - \sin 2\theta}{\sin 2\theta}$
แก้ได้ $\cos 2\theta = \frac{49}{50}$
ดังนั้น $\sin \theta = \frac{1}{10}$
ก็จะหา $AB$ ได้ก็จบครับ