Bonjour,
Ton raisonnement est bon jusque là :
x * x > 3(x - 6) * x
x² > 3x(x - 6)
x² - 3x(x - 6) > 0
x(x - 3x + 18) > 0
x ( -2x +18)> 0
2x(-x + 9) > 0
On va déterminer les solutions :
2x = 0 => x = 0
- x + 9 = 0 => x = 9
on sait que x > 6
x.........|6................9..........................+inf
2x.......|.........(+).............(+)......................
-x+9....|.........(+)....||.......(-)....................
Eq......|.........(+).....||.......(-)....................
Valeurs de x pour lesquelles l'aire de ABCD est > au triple de l'aire du triangle AED :
x ∈ ] 6 ; 9 [