선분 AB의 중점을 O, 선분 AD와 선분 OC가 만나는 점을 M이라 하자.
△AOC≡△DOC이므로 ∠ACO=∠DCO이다.
CM이 ∠ACD의 이등분선이고 △ACD가 AC=CD인 이등변삼각형이므로 AM=DM, ∠AMC=90∘이다.

∠ADB=90∘이고 △AMO∽△ADB, BD=8이므로 OM=4이다.
직각삼각형 AMC에서 AM2=AC2−CM2, 직각삼각형 AMO에서 AM2=AO2−OM2이므로 AC2−CM2=AO2−OM2이다.
그러므로 (a−1)2−(a−4)2=a2−42,
a2−6a−1=0에서 a>4이므로 a=3+10이다. a2−6a−1=0의 양변을 a로 나누면 a−a1=6이다.
따라서
a3−a31=(a−a1)3+3(a−a1)=63+3×6=234
이다.