Математикадан 45-ші халықаралық олимпиада, 2004 жыл, Афины
Комментарий/решение:
Примените барицентрические координаты к △PBDсP=(1,0,0),B=(0,1,0)иD=(0,0,1). Определить BD,b=DPиc=PB.Поскольку A и C изогонально сопряжены относительно △PBD, мы положим A = (au:bv:cw) и C =(au:bv:cw). Для краткости определим M=au+bv+cw и N=avw+bwu+cuv.
Теперь мы вычисляем каждое условие.
Утверждение:Четырехугольник ABCD вписанный тогда и только тогда, когда N2=u2M2. Доказательство.:Мы знаем, что окружность, проходящая через B и D, является множеством точек с
a2yz+b2zx+c2xyx(x+y+z)
равен некоторой константе. Следовательно, четырехугольник ABCD вписанный тогда и только тогда, когда abc·Nau·M=abc•uvw•Mavw•N, что переставляется в N2=u2M2. Утверждение — PA=PC будет верно только когда N2=u2M2. Доказательство. Имеем вектор смещения →PA=1M(bv+cw,−bv,−cw). Следовательно, M2·|PA|2=−a2(bv)(cw)+b2(cw)(bv+cw)+c2(bv)(bv+cw)=bc(−a2vw+(bw+cv)(bv+cw)).
Аналогичным образом (заменив u, v, w на их обратные значения) имеем
Nuvw·|PC|2=(vw)−2·bc(−a2vw+(bv+cw)(bw+cv))
⇐⇒ N2·|PC|2=u2bc(−a2vw+(bw+cv)(bv+cw)) Они равны тогда и только тогда, когда N2=u2M2, как и хотелось.
1) Пусть ABCD вписанный в ω, тогда докажем что AP=CP.
Доказательство: Пусть E∈BP∩ω, F∈DP∩ω тогда ACDE равнобедренная трапеция, где AC || ED, аналогично AFBC трапеция, где FB || AC
значит FBED -трапеция, если O - центр ω то OP⊥AC откуда AP=CP.
2) Пусть AP=CP и верно условие из задачи, докажем что ABCD вписанный.
Доказательство: Пусть N середина AC, тогда PN⊥AC возьмем произвольную точку B, проведем биссектрису l угла ∠ABC и M∈PN∩l тогда если O центр окружности описанный около ABC подсчетом углом можно показать что ABCM вписанный в ω1.
Проведем прямую BP и пусть E∈BP∩ω1 тогда из ∠PBC=∠DBA выходит ED || AC и D∈ω1.
Покажем теперь что такая точка D единственна, пусть существует точка D′∈BD такая что ∠PD′C=∠BD′A так как ∠PBC=∠D′BA, тогда опишем окружность ω2 около AD′C и пусть X∈OP∩BD и H, T∈XE∩ω2 где D′H || AC и K∈D′P∩ω2 тогда ∠CD′B=∠THA(это и есть и пусть AC>DE тогда так если D′ будет находится выше DE тогда K очевидно ниже T и наоборот, значит ∠KD′A=∠KHA≠∠THA откуда D=D′, значит D′∈ω1.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.