[1161] Lpont | 2022-10-29 08:10:24 |
 Kikerülhető a vektoros megoldás általad említett problémája elemi úton, ha észrevesszük, hogy az AA1, BB1, CC1 szakaszok a párhuzamos szelők tételének megfordítása miatt rendre párhuzamosak és kétszeres hosszúságúak, mint az ABC háromszög C-ből, A-ból és B-ből induló súlyvonalai.
Az pedig jól ismert, hogy a háromszög súlyvonalaiból szerkeszthető háromszög.
|
Előzmény: [1160] Róbert Gida, 2022-10-29 00:06:43 |
|
|
|
[1158] Johnny 10 | 2022-10-27 16:22:26 |
 A B5255. feladatnál tudja valaki, minek tudható be az 1 pontos dolgozatok szinte irreálisan magas száma (60)?
|
|
[1157] nadorp | 2022-10-14 20:12:40 |
 Az A.832 feladat központi megoldása szerintem apró hibát tartalmaz. A kérdéses rész a következő:
Legyen tn annak a valószínűsége, hogy van élő családtag az (n+1)-dik generációban. Ekkor tn=1−hn, ahol hn annak a valószínűsége, hogy 0 gyerek születik az n-edik generációban, ami az n-edik generációhoz tartozó f(n)(x) polinom konstans tagja, azaz hn=f(n)(0)
Én úgy gondolom, hogy f(n)(0) annak a valószínűsége, hogy 0 egyed van az n-dik generációban. Tehát annak a valószínűsége, hogy 0 gyerek születik az n-edik generációban: hn=f(n+1)(0).
Innen persze már jó a bizonyítás, mert hn+1=f(n+2)(0)=f(hn) továbbra is teljesül.
Ha valamit elnéztem, akkor elnézést kérek.
|
|
[1156] Johnny 10 | 2022-05-14 12:45:43 |
 Illetve végül mégis engedte egy részben...
|
|
[1155] Johnny 10 | 2022-05-14 12:44:50 |
 Már volt szó a fórumon az A.774. feladatról, most szeretnék én is megosztani egy érdekes megoldást, mely nem teljesen a hagyományos geometriai megoldási módszereken alapszik. A méret korlátja miatt két részben teszem fel.
Megoldásvázlat. (Az állítás egyébként csak hegyesszögű háromszögekre igaz.) Legyen az XYZ háromszög beírt körének középpontja O, a D pont merőleges vetületei az AB, AC és BC egyeneseken rendre T1, T2, illetve T3. Legyen továbbá az ABC háromszög magasságpontja M.
Nagyítsuk az X,Y,Z,O,T1,T2,T3 pontokat kétszeresére D-ből, tetszőleges pont képét egy vesszővel jelöljük. Ekkor X′, Y′ és Z′ az ABC háromszög köréírt körére fognak esni (egy körön lévő pont tükröképei egy átmérőre), míg a T1T2T3 Simson-egyenes jól ismert módon az M ponton átmenő T′1T′2T′3 egyenesbe megy át, mely a D pont oldalakra vett tengelyes tükörképeit tartalmazza. Azt kell belátni, hogy O′ ezen rajta van.
Vegyük észre, hogy az X′Y′Z′ háromszög szögei állandóak, ahogy D mozog a körülírt körön, ugyanis irányított körívekkel számolva ^DX′=2^DA, ^DY′=2ˆ, illetve ^DZ′=2^DC, azaz ^X′Y′=^DY′−^DX′=2(^DB−^DA), ^Y′Z′=2(^DC−^DB), illetve ^Z′X′=2(^DA−^DC), azaz pozitív körüljárási irányban a három pont ugyanolyan helyzetben követi egymást, és akkor az általuk kifeszített háromszög is minden helyzetben egybevágó. Mivel a köréírt köre állandó, ezért ha D egyenletes, egységnyi sebességgel mozog a körön, akkor X′Y′Z′ is egységnyi sebességgel forog a köréírt kör középpontja körül. Speciálisan ekkor a háromszög beírt körének középpontja, azaz O is egységnyi sebességgel fog forogni.
Nézzük most a T′1T′2T′3 egyenest. Ez megegyezik a T′1M egyenessel (amennyiben ez a két pont nem esik egybe). T′1 az ABM körön mozog, hiszen jól ismert, hogy ez az ABC kör tengelyes tükörképe az AB egyenesre, ráadásul, ha D egységnyi sebességgel mozog, akkor nyilván a tükörkép is egységnyi sebességgel fog mozogni az ABM körön. A kerületi és középponti szögek tétele alapján ekkor a T′1T′2T′3 egyenes 12 sebességgel forog M körül. Akár folytonossággal, akár számítással igazolhatjuk, hogy ha T′1 és M egybeesnek, akkor egyenesünk éppen az ABM körhöz M-ben húzott érintő, azaz ebben a helyzetben is igaz, hogy a T′1T′2T′3 egyenes fele akkora szöget fordult, mint a D pont (a mozgatás kezdete óta).
Azt kell belátnunk, hogy O mindig rajta van a T′1T′2T′3 egyenesen. Vegyük észre, hogy ez biztosan igaz, ha M rajta van azon a körön, amelyen O mozog, ugyanis ekkor fenti megállapításaink szerint O egyszeres sebességgel mozog, míg a T′1T′2T′3 egyenes fele sebességgel forog a kör egy pontja körül, és ekkor a kerületi és középponti szögek tétele szerint O mindig rajta lesz az M körül forgó egyenesen.
Ha D éppen egybeesik az ABC háromszög A csúcsával, akkor X′, T′1 és T′2 is egybeesnek az A ponttal, azaz a T′1T′2T′3 egyenes éppen az A-ból BC-re állított merőleges (hiszen az AT′3 egyenes a tükrözés miatt merőleges BC-re). Másrészt némi szögszámolással (felhasználva, hogy BY′=BX′≡BA és CZ′=CX′≡CA, hiszen Y′, illetve Z′ a D≡X pont BO-ra, illetve CO-ra vonatkozó tükörképei) könnyen belátható, hogy amennyiben ABC hegyesszögű, akkor az A-ból induló magasság, mely a T′1T′2T′3 egyenes jelen helyzetben, felezi az Y′X′Z′ szöget, mégpedig belső szögfelező (azért nem írom ezt le részletesebben, mert a teljesség igényével itt több különböző esetet kell megvizsgálni a pontok elhelyezkedése szerint, irányított szögekkel csak részben kerülhető el a diszkusszió, azt be kell látni, hogy a kapott szögfelező belső szögfelező, ld. például a tompaszögűek esetén nem az). Így a T′1T′2T′3 egyenesen ebben az esetben rajta van O. Hasonlóképp O akkor is rajta van a T′1T′2T′3 egyenesen, ha D a háromszög B csúcsával esik egybe. Belátjuk, hogy ez csak úgy lehet, hogy M rajta van az O által befutott körön.
Ugyanis mozgatásunknál megállapítottak alapján O a két helyzet között kétszer akkora szöget tett meg, mint amennyit a T′1T′2T′3 egyenes M körül elfordult. Így ha mindkétszer (jelöljük ezeket a helyeket O1-gyel és O2-vel) rajta van az egyenesen, akkor irányított szögekkel ∠(MO1,MO2) éppen kétszer akkora, mint az O lehetséges helyzetei által alkotott körön vett ^O1O2 irányított ívhez tartozó kerületi szög. Így a kerületi és középponti szögek tételének megfordítása miatt M rajta van az O által befutott körön, és a fentiek szerint ebből már adódik az állítás.
Végül pedig visszakicsinyítve a pontokat azt kapjuk, hogy T1T2T3O is kollineáris, és ezt akartuk belátni.
U.i.: Tompaszögű háromszög esetén módosítani kell kicsit az állításon: ekkor a tompaszöggel szemközti hozzáírt kör középponta van rajta a D-hez tartozó Simson-egyenesen.
|
|
[1154] marcius8 | 2022-05-03 17:04:00 |
 B. 5233. feladat: Ekkor mennyi lehet a hatszög két (szemközti, szomszédos) oldalára írt szám korrelációs együtthatója?
B. 5233. Egy szabályos hatszög csúcsaira véletlenszerű sorrendben felírjuk az 1,2,…,6 számokat. Ezután a hatszög minden oldalára ráírjuk a két végpontján szereplő számok különbségének abszolútértékét. Határozzuk meg az oldalakra írt hat szám összegének várható értékét.
|
|
[1153] Róbert Gida | 2022-04-13 18:05:27 |
 Lejárt A822. feladatnál a közölt megoldáshoz képest a változók felét lehet megspórolni, és sokkal jobban is látható a bizonyítás:
Feltehetö p=an,q=bn,r=cn ekkor a+b+c=0 és a∗b∗c=n3 azaz: a∗b∗(a+b)=−n3
legyen lnko(a,b)=g, ekkor a=g∗u,b=g∗v és itt már lnko(u,v)=1, itt a,b értékét beírva kapjuk:
g3∗u∗v∗(u+v)=−n3
azaz u∗v∗(u+v)=d3 ahol d=−ng-nek egésznek kell lennie. Triviálisan u,v,u+v páronként relatív prím.
Így a szorzat minden tagja köbszám: u=x3,v=y3,u+v=z3 és így: x3+y3=z3 valamely x,y,z nemnulla egészekre ami a Fermat egyenlet spec esete, nincs megoldása.
|
|
[1152] Róbert Gida | 2022-01-16 22:21:26 |
 Lejárt A812. megoldása pongyola, hiányzik a bizonyításból, hogy teljes indukciót alkalmazunk, például az n+k összegre.
|
|
[1151] marcius8 | 2021-12-19 21:55:00 |
 Eredeti megfogalmazásomban a következőképpen nézett ki az előbb felvetett probléma, amelyet Kós Géza Tanár Úr átfogalmazott, és a KöMaL-pontversenybe került be: (érdekes matek feladatok, [3668])
Egy játékot találtam ki. Mivel egy játékkal akkor foglalkoznak sokan, ha szabályai egyszerűek, ugyanakkor nem könnyen végigjátszható, ezért a következő játékot találtam ki:
A magyar kártyacsomag összetétele: A magyar kártyacsomag 32 lapot tartalmaz. Minden lapnak van színe és értéke. A színek lehetnek: „piros” (tavasz), „tök” (nyár), „zöld” (ősz), „makk” (tél). Az értékek lehetnek: „VII”, „VIII”, „IX”, „X”, „alsó”, „felső”, „király”, „ász”. A kártyacsomagban minden lehetséges szín-érték párosítás előfordul.
A nyolc sorból és négy oszlopból álló táblázatban elhelyezett magyar kártyacsomag lapjai akkor vannak rendezett sorrendben, ha a következő feltételek teljesülnek:
• A táblázat minden oszlopában található négy lap színének sorrendje felülről lefelé haladva: „piros” (tavasz), „tök” (nyár), „zöld” (ősz), „makk” (tél).
• A táblázat minden sorában található nyolc lap értékének sorrendje balról jobbra haladva: „VII”, „VIII”, „IX”, „X”, „alsó”, „felső”, „király”, „ász”.
A játék szabálya: A kártyacsomag lapjai véletlenszerű sorrendben egy négy sorból és nyolc oszlopból álló táblázatban vannak elhelyezve. A játék során egyszerre mindig két lapot lehet megcserélni. Két lapot csak akkor lehet megcserélni, ha a két lap ugyanabban a sorban vagy ugyanabban az oszlopban van, továbbá (és) ha a két lap színe vagy értéke ugyanaz. A játék célja, hogy a kártyalapok sorrendje rendezett legyen.
Az érdekes az hogy a véletlenszerűen összekevert állapotból majdnem mindig abba az állapotba jutok, hogy a rendezett állapothoz képest a "makk ász" és a "tök király" fel van cserélve. Sajnos, nem tudok rájönni, hogy ez az én ügyetlenségem (gyanítom, hogy igen), de ugyanakkor nem hiszem hogy ennek törvényszerűen így kell lenni. Arra kérek bárkit, hogy ha ezt a jelenséget meg tudja indokolni, vagy meg tudja oldani (tehát ha a rendezett állapothoz képest csak a "makk ász" és a "tök király" van felcserélve, akkor ez az állapot rendezhető vagy sem), írjon a marcius.08@freemail.hu címre.
|
Előzmény: [1150] marcius8, 2021-12-19 16:06:09 |
|
[1150] marcius8 | 2021-12-19 16:06:09 |
 A következő feladat megoldását keresem. Annak idején ezt a problémát én vetettem fel a fórumban, de akkor sem tudtam a megoldását, egy passziánsz játékot terveztem számítógépre, Kós Géza Tanár Úr tette be a kömal-pontversenybe. Ha valaki el tudná küldeni ennek a feladatnak a megoldását, nagyon megköszönöm. A feladatot kicsit átfogalmaztam annyiban, hogy más betűjeleket használok, illetve egy kérdést hozzátettem.
A. 585. (2013 március) Adottak az i0≥2, j0≥2 egész számok. Az (i,j) számpárokat, ahol 1≤i≤i0, 1≤j≤j0 egészek, ráírtuk egy-egy kártyára úgy, hogy mindegyik pár pontosan egy kártyán szerepeljen. Ezután a következő játékot játsszuk: Az i0∗j0 darab kártyát elhelyezzük egy i0×j0-ás táblázatban úgy, hogy minden i-re és j-re az (i,j) kártya az i-edik sorban és a j-edik oszlopban legyen, tekintsük ezt az elrendezést természetesnek. Az (i1,j1) és (i2,j2) kártyákat felcserélhetjük, ha ugyanabban a sorban vagy ugyanabban az oszlopban vannak, és i1=i2 vagy j1=j2.
Elérhetjük-e ilyen lépésekkel, hogy pontosan két kártya helyet cseréljen, a többi kártya pedig visszakerüljön a kiinduló helyére? És mi annak a szükséges és elégséges feltétele, hogy egy i0×j0-ás táblázatban tetszőlegen elhelyezett kártyákat a megengedett felcserélésekkel természetes sorrendbe lehet rendezni?
|
|
[1149] Tashi | 2021-11-11 11:59:17 |
 I post my solution to the problem A. 774 because it shows that the problem is one of the few applications of the Japanese theorem.
Let I be the projection of the point D on the line AC. Let J, K and L, respectively be the incenters of the triangles ΔXDY, ΔXYZ and ΔDYZ, respectively. From DX⊥AO,DY⊥BO,DZ⊥CO it follows that
D,O,X,Y,Z lies on the circle of diameter DO
Let P be the projection of D on the line BC, A=∡BAC and similarly we define B and C, let θ=∡DAC. From (1) it follows that ∡XDI=∡OAC=∡OCA=∡ZDI⇒
∡XDI=∡ZDI
From (1) it follows that ∡DXZ=180∘−∡DOZ=∡DOC=2∡CAD=∡DXI, which implies ∡DXI=∡ZXI. From this and (2) it follows that
I is the incenter of the triangle XDZ
From (1) it follows that
∡XDJ=12∡XDY=12(180∘−∡XOY)=12∡AOB=C.
But from ∡ADI=90∘−θ it follows that ∡ADX=90∘−θ−(90∘−B)=B−θ. From this and ∡ADJ=∡ADX+∡XDJ it follows that
∡ADJ=B−θ+∡XDJ=B+C−θ=180∘−A−θ
From (3) it follows that
∡XUD=90∘+12∡XZD=90∘+12∡XYD=∡XJD,
which implies that the quadrilateral XIJD is cyclic. From this and (1) it follows that the points X,I,J,A,D are concyclic, which implies ∡AIJ=180∘−∡ADJ. From this and (4) it follows that ∡AIJ=A+θ=∡BAD. From this and (1) it follows that
∡PIC=∡PDC=90∘−∡DCP=90∘−(180∘−∡BAD)=∡BAD−90∘
=∡AIJ−90∘=∡AIJ−∡DIA=∡DIJ,
which implies
∡PIJ=∡PIC+∡CIJ=∡DIJ+∡CIJ=∡CID=90∘
From (1), (3) and the Japanese theorem in DXYZ it follows that IJKL is rectangle, which implies ∡KIJ=90∘. From this and (5) it follows that K∈PI, which is the P-Simson line in ΔABC. Thus, we have solved the problem.
|
 |
|
[1148] BD | 2021-10-17 12:55:18 |
 Üdv! Két kérdésem lenne a szeptemberi fizikafeladatok megoldásával kapcsolatban. Egyrészt a P. 5340-ben az ábra szerint végig vöröseltolódik a hullám a 45 perces periódusokban, amikor nem takarja a bolygó. Tehát a hullámforrás végig távolodik tőlünk. De a megoldás szerint körpályán kering a műhold a bolygója körül. Ebben nincs ellentmondás? Mármint akkor egy ideig közelednie kéne, nem? Javítsatok ki, ha tévedek.
A másik ,hogy a P. 5344.-ben ez: "amiből készült hasábot a prizma másik oldalához illesztve a törési szög az ábra szerint α/2" áll a feladat szövegében. De a megoldás így számol: "Ha a prizmából kilépő fény törési szöge 16,6∘"... A feladat szövege alapján az
üvegből kilépő fény törési szöge α/2, legalábbis szerintem. És akkor a törésmutatója az üvegnek a sinus(béta) és a sinus (α/2 ) hányadosa.
|
|
[1147] Tashi | 2021-08-17 19:03:14 |
 Part 2. We prove that 1⩽r⩽p−2⇒P(1)≡0. We note that
ˆx1,...,ˆxn are roots (in Zp) of the polynomial P
First, we prove the following proposition by induction on k∈Z,k⩾1:
P(k):k(rk)=rk−1∑j=0(−1)k−j+1(rj).
Induction Base. k=1:(r1)=r⋅(−1)2(r0). Induction Step. k↦(k+1). Using induction hypothesis, we compute
(k+1)(rk+1)=(k+1)r−kk+1(rk)=r(rk)−k(rk)
=r(rk)−rk−1∑j=0(−1)k−j+1(rj)=rk∑j=0(−1)k−j+2(rj).
Induction finished. Secondly, we prove that ek≡(rk) by induction on k,1⩽k⩽p−2. Induction Base is trivial. Induction Step. k↦(k+1). Because k+1⩽p−2 and hypothesis it follows that for each 1⩽i⩽k+1 we have si≡r. From this and (3) it follows that
(k+1)ek+1≡rk+1∑i=1(−1)i−1ek+1−i≡rk+1∑I=1(−1)i−1(rk+1−i)
≡rk∑j=0(−1)k−j+1(rj)P=(k+1)(rk+1),
which implies ek+1≡(rk+1). Induction finished. Hence
∀k,1⩽k⩽p−2⇒ek≡(rk)
By (5) for k=r+1⩽p−2 it follows that
er+1≡0
From the Newton-Girard identities in second case it follows that
p+r∑I=1(−1)i−1ep+r−isi=0
By the hypothesis ∀1⩽k⩽p−2:sk≡r and Fermat's Little Theorem it follows that for each 1⩽k⩽p−2:
sp+k−1=n∑j=1xp+k−1j=n∑j=1xp−1j⋅xkj≡n∑j=1xkj=sk≡r⇒
s1≡s2≡…≡sp−2≡sp≡…≡s2p−3≡r
From (6) it follows that er+1=0, which implies ep+r−(p−1)sp−1=er+1sp−1=0. From this, p+r⩽2p−3 and (7) and (8) it follows that 0≡rp+r∑i=1(−1)i−1ep+r−i. Because r≠0 it follows that
0≡p+r∑i=1(−1)i−1ep+r−i=e0−e1+e2−…+(−1)p+r−1ep+r−1=P(1).
Hence P(1)≡0.
Now, we prove by induction on r∈{0,1,…,p−3} that the solutions to the problem are (1,1,…,1⏟×r,0,0,…,0⏟×(p−1)) and (1,1,…,1⏟×r,1,2,…,p−1). Induction Base is the case r=0. Induction Step. r↦(r+1). Because ˆx1,...,ˆxp+r are the roots (in Zp) of the polinomial P and P(1)≡0 it follows that ˆ1∈{ˆx1,…,ˆxp+(r+1)−1}. WLOG we can assume that xp+r≡1. From this and the hypothesis it follows that ∀1⩽k⩽p−2:
r+1≡p+r∑j=1xkj≡1+p+r−1∑j=1xkj(modp).
From this and the induction hypothesis it follows that the solutions are
(1,1,...,1⏟×r,0,0,...,0⏟×(p−1),1) and (1,1,…,1⏟×r,1,2,…,p−1,1),
which finished the induction. The problem is solved!
|
Előzmény: [1146] Tashi, 2021-08-17 19:01:47 |
|
[1146] Tashi | 2021-08-17 19:01:47 |
 This is an alternative proof for the problem A. 792., which is based on an idea found in January (to use the Newton's identities), which I could not complete at that time. (Because I'm authorized to post up to 5120 characters I post the solution in two parts).
Part 1. Let n=p+r−1. Let
e0=1,e1=n∑i=1xi,e2=∑1⩽i<j⩽nxixj,...,en=n∏i=1ei.
Let (in Zp) be the polynomial P(x)=n∏i=1(x−xi)=n∑k=0(−1)n−kxken−k∈Zp[x] (we use Zp instead of Fp). For each positive integer k let sk=n∑j=1xkj. Let Z∗p=Zp∖{ˆ0}. We abreviatte a≡b(modp) by a≡b. First we solve the problem in The Case r=0. From Newton-Girard identities it follows that
∀k∈Z,1⩽k⩽p−1:kek=k∑i=1(−1)i−1ek−isi
By the hypothesis
s1≡s2≡...≡sp−2≡0
We prove by induction on k∈{1,2,...,p−2} that ek≡0. Induction Base. e1=s1≡0⇒e1≡0. Induction Step. k↦(k+1). From (1) it follows that
(k+1)ek+1=k+1∑i=1(−1)i−1ek+1−isi
Because for each 1⩽i⩽k+1: k+1−i∈{0,1,...,k}, (2), (3) and because k+1⩽p−2 it follows that
(k+1)ek+1≡0.
Hence ek+1≡0. Induction finished. Hence ˆx1,...,ˆxp−1 are roots of the polynomial P(x)=xp−1−ˆep−1 in Zp. We have 2 sub-cases: 1. ep−1≡0⇒ˆx1,...,ˆxp−1 are roots of the polynomial xp−1 in Zp, which implies x1≡x2≡...≡xp−1≡0. 2. ep−1≢. Then \displaystyle x_i\not\equiv 0 for each \displaystyle 1\leqslant i\leqslant p-1. By Fermat's Little Theorem \displaystyle \forall t\in \mathbb{Z}_p^*: \displaystyle t^{p-1}\equiv 1 it follows that \displaystyle P(x)=x^{p-1}-\widehat{e}_{p-1} have roots in \displaystyle \mathbb{Z}_p if and only if \displaystyle e_{p-1}\equiv 1. Hence
\displaystyle x^{p-1}-\widehat{e}_{p-1}=x^{p-1}-\widehat{1}=
(x-\widehat{1})(x-\widehat{2})...(x-\widehat{p-1}),
which implies \displaystyle \{\widehat{x}_1,\ldots,
\widehat{x}_{p-1}\}=\mathbb{Z}_p^*. Case \displaystyle r=0 finished.
|
|
|
|
|
|
|
[1140] Róbert Gida | 2021-08-15 20:38:05 |
 Ha \displaystyle x=0 vagy \displaystyle y=0 akkor az állítás trivi. Egyébként feltehető, hogy \displaystyle x*y=1 vagy \displaystyle x*y=-1 ez is trivi. Tehát egy változótól meg tudnánk szabadulni, még nehéz marad a probléma, nem?
|
Előzmény: [1138] sakkmath, 2021-08-14 20:01:50 |
|
[1139] Varga Boldizsár | 2021-08-15 16:35:59 |
 Kicsit késve, de én is felteszek egy megoldás(vázlato)t az A.796. feladatra.
Megoldás(vázlat). Az ábrának számtalan különböző példánya lehet, ezért a diszkusszió elkerülése érdekében végig irányított szögeket fogunk használni. (Tehát az \displaystyle XYZ\sphericalangle jelölés azt fogja jelenteni, hogy mekkora szöggel kell az \displaystyle XY egyenest elforgatni pozitív irányba, hogy az \displaystyle YZ egyenest kapjuk.) Jelölje \displaystyle X a \displaystyle PQ szakasz felezőpontját, megmutatjuk, hogy \displaystyle X az \displaystyle FKN és \displaystyle FLM körök második metszéspontja. Először is megjegyezzük, hogy a Thalesz-tétel miatt \displaystyle K,L,M,N a \displaystyle PQ szakasz fölé emelt Thalesz-körön vannak, és ennek a középpontja \displaystyle X. Két lemma adja a megoldás kulcsát.
Első lemma. A \displaystyle KMF, illetve \displaystyle LFN ponthármasok kollineárisok.
Bizonyítás. A szimmetriára szorítkozva elég belátnunk, hogy \displaystyle KMF egy egyenesre esnek. Irányított szögekkel: \displaystyle PBK\sphericalangle=-QBM\sphericalangle, illetve \displaystyle KCP\sphericalangle=BCP\sphericalangle=BCD\sphericalangle=BAD\sphericalangle=MAQ\sphericalangle. Így tehát \displaystyle PKB\triangle\sim{QMB}\triangle, és ezek ellentétetes körüljárási irányúak, illetve \displaystyle PKC\triangle\sim{QMA}\triangle, és ezek azonos körüljárási irányúak. Ebből adódik, hogy -előjeles szakaszokkal- \displaystyle \frac{BK}{KC}=-\frac{BM}{MA}. Tehát \displaystyle \frac{AF}{FC}\cdot{\frac{CK}{KB}}\cdot{\frac{BM}{MA}}=-1, amiből a Menelaosz-tétel megfordítása miatt az következik, hogy \displaystyle K,M és \displaystyle F egy egyenesre esnek. Hasonlóképp látható be ez az \displaystyle LFN pnthármasról is. \displaystyle \square
Második lemma. \displaystyle KL\parallel{MN}.
Bizonyítás. Ha sikerülne belátni, hogy \displaystyle MNP\sphericalangle+NPK\sphericalangle=LKP\sphericalangle, akkor teljesülne a bizonyítandó, hiszen \displaystyle LKP\sphericalangle=-PKL\sphericalangle, így \displaystyle MNP\sphericalangle+NPK\sphericalangle+PKL\sphericalangle=0°, azaz \displaystyle MN és \displaystyle KL párhuzamosak. Mivel (a kerületi szögek irányított szögekre vonatkozó tétele alapján) \displaystyle MNP\sphericalangle=MQP\sphericalangle és \displaystyle LKP\sphericalangle=LQP\sphericalangle, ezért \displaystyle LKP\sphericalangle-MNP\sphericalangle=LQP\sphericalangle-MQP\sphericalangle=LQM\sphericalangle. Így elég azt bizonyítani, hogy \displaystyle LQM\sphericalangle=NPK\sphericalangle. Legyen \displaystyle I=PK\cap{QN}. Ekkor \displaystyle N és \displaystyle K a \displaystyle CI fölé rajzolt Thalesz-körön vannak, azaz \displaystyle N,K,C,I egy körön vannak. Innen \displaystyle LQM\sphericalangle=90°-MAQ\sphericalangle=90°-BAD\sphericalangle=90°-BCD\sphericalangle= \displaystyle =90°-KCN\sphericalangle=90°-KIN\sphericalangle=NPK\sphericalangle. Ezzel a fentiek szerint beláttuk a második lemmát. \displaystyle \square
A két lemma alapján \displaystyle KLMN (nem feltétlen ilyen sorrendben a csúcsokkal) húrtrapéz, \displaystyle F a szárai vagy az átlói metszéspontja. A lemmák alapján \displaystyle KMN\sphericalangle=KQN\sphericalangle és \displaystyle MNL\sphericalangle=MQL\sphericalangle, így \displaystyle NFM\sphericalangle=-KQN\sphericalangle-MQL\sphericalangle. Mivel a szimmetria miatt a \displaystyle KQN\sphericalangle és \displaystyle MQN\sphericalangle nagysága azonos (azonos nagyságú íven -a húrtrapéz oldala vagy átlója- nyugszanak), és irányításuk is azonos, ezért \displaystyle NFM\sphericalangle=NFK\sphericalangle=LFM\sphericalangle=-2KQN\sphericalangle=-2MQL\sphericalangle. Innen \displaystyle NFK\sphericalangle=2NQK\sphericalangle, illetve \displaystyle LFM\sphericalangle=2LQM\sphericalangle, amiből a kerületi és középponti szögek tételének megfordítása miatt az \displaystyle FKN és \displaystyle FLM körök is áthaladnak a \displaystyle KLMNPQ kör középpontján, ami az \displaystyle X pont. Ezzel az állítást beláttuk.
|
 |
Előzmény: [1136] Lpont, 2021-08-13 19:19:18 |
|
[1138] sakkmath | 2021-08-14 20:01:50 |
 Van-e valakinek megoldása, ötlete a 2014. áprilisi számban megjelent A. 616. feladatra?
|
|
[1137] Tashi | 2021-08-14 08:57:52 |
 Proof for the problem A. 796.
For each triangle \displaystyle XYZ let \displaystyle \mathcal{C}_{XYZ} be the circumcircle of the triangle \displaystyle XYZ. Let \displaystyle A',\, Q', and \displaystyle P' be the midpoints of the segments \displaystyle [PQ],\,
[AP], and \displaystyle [AQ], respectively. Let \displaystyle \{H\}=PL \cap QM and \displaystyle \{H'\}=PK\cap QN be the orthocenters of the triangles \displaystyle APQ and \displaystyle CPQ, respectively. Let \displaystyle \mathcal{H}_1 be the homothety with center \displaystyle A and ratio \displaystyle 1/2. Let \displaystyle E_a be the midpoint of the segment \displaystyle [AH]. Because \displaystyle \{H\}=PL \cap QM and \displaystyle AL\perp LH,\, AM\perp MH it follows that the quadrilateral \displaystyle HLAM is cyclic. From this and \displaystyle ABCD is a cyclic quadrilateral it follows that
\displaystyle \measuredangle QHP=\measuredangle MHL=180^\circ-\measuredangle MAL=
180^\circ-\measuredangle BAD=\measuredangle BCD=\measuredangle QCP,
which implies that
\displaystyle
\text{the quadrilateral } HCPQ\text{ is cyclic} \tag{1}
We note that \displaystyle \mathcal{H}_1(C)=F,\,
\mathcal{H}_1(H)=E_a,\,\mathcal{H}_1(Q)=P',\,\mathcal{H}_1(P)=Q'. From this and \displaystyle (1) it follows that \displaystyle \mathcal{H}_1(HCPQ)=E_aFQ'P' is a cyclic quadrilateral, which implies that \displaystyle F lies on the Euler circle (nine-point circle) \displaystyle \mathcal{E}_1 if the triangle \displaystyle APQ. Because \displaystyle M\in \mathcal{E}_1 and \displaystyle L\in \mathcal{E}_1 it follows that
\displaystyle \mathcal{C}_{FLM}=\mathcal{E}_1 \tag{2}
Similarly to \displaystyle (2), using the homothety \displaystyle \mathcal{H}_2 with center \displaystyle C and ratio \displaystyle 1/2 we obtain that
\displaystyle
\mathcal{C}_{FKN}=\mathcal{E}_2 \tag{3}
when \displaystyle \mathcal{E}_2 is the Euler circle in the triangle \displaystyle CPQ. Because \displaystyle A'\in \mathcal{E}_1\cap\mathcal{E}_2 and \displaystyle A'\in PQ, from \displaystyle (2) and \displaystyle (3) it follows that \displaystyle A'\in \mathcal{C}_{FLM}\cap\mathcal{C}_{FKN}\cap PQ, which implies the circumcircles of triangles \displaystyle FKN and \displaystyle FLM, and the line \displaystyle PQ are concurrent.
|
Előzmény: [1136] Lpont, 2021-08-13 19:19:18 |
|