Enoncé D2901 (Diophante) La toile d’araignée (2ème épisode)
Dans le triangle ABC, les pieds des hauteurs issues des sommets A,B,C sont Ha,Hb etHc.
K etLsont respectivement les projections droites surABde Hb etHa et on définit de façon similaire les points homologues M etN sur BC et les points homologues O etP surAC.
Q1 : montrer que K,L,M,N,O etP sont co-cycliques.
Q2 : montrer que si 3 droites parmiCK, CL,AM,AN, BO etBP sont simultanément céviennes, les 3 autres le sont aussi.
Q3 : deux des sommets du triangle ABC étant fixes, déterminer le lieu du troisième sommet tel que les droites de la question Q2 restent céviennes.
Solution de Jean Moreau de Saint-Martin
Question 1
AK =AHbcosA=ABcos2A,AP =AHacosA=ACcos2A. Le triangle AP H est homothétique au triangle ABC dans le rapport cos2A. En par- ticulier (P O, P K) = (CA, CB) (angles orientés de droites non orientées, définis àkπ près).
De mêmeBL=BAcos2B,BM =BCcos2B, CN =CBcos2C,CO=CAcos2C.
Ensuite AL = ABsin2B = ACsinBsinC en vertu de la loi des sinus, AO = ACsin2C = ABsinBsinC. Il en résulte que le triangle ALO est semblable au triangle ABC à retournement près, et en particulier (LO, LA) = (CA, CB).
L’égalité (P O, P K) = (LO, LK) montre que les quatre points K, L, O, P sont cocycliques. Le même raisonnement vaut pourK, L, M, N. Si les deux cercles étaient distincts, leur axe radical serait la droiteKLetC, extérieur àKL, n’aurait pas la même puissance par rapport aux deux cercles.
Mais CM.CN =CB2sin2Bcos2C =CA2sin2Acos2C =CO.CP. C’est donc le même cercle qui contient les six points.
Question 2
Supposons (cf. figure) le concours deAM, BO, CL; on a par Céva
−1 = LB LA ·OA
OC ·M C
M B = (−cot2B)(−tan2C)(−tan2B).
Le concours deAN, BP, CK demande de même
−1 = KA KB ·N B
N C ·P C
P A = (−cot2A)(−tan2C)(−tan2A).
Ces conditions sont satisfaites simultanément par tanC=±1.
S’il s’agit du concours deAM, BO, CK, on a de même
−1 = KB KA ·OA
OC ·M C
M B = (−tan2A)(−tan2C)(−tan2B), et pourAN, BP, CL.
−1 = LA LB ·N B
N C ·P C
P A = (−tan2B)(−tan2C)(−tan2A).
Ces conditions sont satisfaites simultanément par tanAtanBtanC=±1.
Ces deux cas couvrent (moyennant permutation des sommets) les diverses façons de répartir les 6 droites en deux trios de céviennes.
Question 3
Fixant les sommets B et C, la question 2 conduit aux éléments suivants pour le lieu de A.
a/ deux cercles de diamètre BC√
2 passant par B etC, qui sont les arcs capables des anglesA=π/4 ou 3π/4.
b/ deux droites perpendiculaires passant par B et admettant BC pour bissectrice (angle B =π/4 ou 3π/4).
c/ deux droites perpendiculaires passant par C et admettant CB pour bissectrice (angle C=π/4 ou 3π/4).
d/ deux courbes réalisant la condition tanAtanBtanC = ±1. Pour en établir l’équation, je prends BC/2 comme unité de longueur, et des axes tels qu’on ait les coordonnées A(x, y),B(−1,0) etC(1,0).
Alors tanB=y/(x+ 1), tanC=y/(1−x), tanA= 2y/(x2+y2−1), d’où l’équation (x2−1)(x2+y2−1)±2y3= 0 ;
les deux courbes sont symétriques l’une de l’autre par rapport à BC.
Ce sont des quartiques circulaires à branches infinies paraboliques, passant par B etC; l’équation se résout enx=±
r
1−y2/2±qy4/4±2y3. La condition d/ peut aussi se formuler de façon symétrique en fonction des longueurs de côtés a, b, c.
b2+c2−a2 = 4ScotA avec l’aireS du triangle, d’où en posant s=a2+b2+c2 et (Héron) 4b2c2+ 4c2a2+ 4a2b2=s2+ 16S2, (s−2a2)(s−2b2)(s−2c2) =±64S3,
s(s2−2s2+s2+ 16S2)−8a2b2c2 =±64S3,
(16S2s−8a2b2c2)2−(16S2)3= 0, comme équation algébrique de degré 12, symétrique en les variables a, b, c.