Loading [MathJax]/jax/element/mml/optable/MathOperators.js
Középiskolai Matematikai és Fizikai Lapok
Informatika rovattal
Kiadja a MATFUND Alapítvány
Már regisztráltál?
Új vendég vagy?

Fórum: Lejárt határidejű KÖMAL feladatokról

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]  

Szeretnél hozzászólni? Jelentkezz be.
[1161] Lpont2022-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
[1160] Róbert Gida2022-10-29 00:06:43

Mondjuk a hivatalos megoldás is pongyola; nem teljes értékű, mert párhuzamos vektorok összege is lehet nullvektor, és ekkor elfajult háromszög jön csak ki.

Előzmény: [1158] Johnny 10, 2022-10-27 16:22:26
[1159] Johnny 102022-10-27 16:24:49

Vagyis 0 pontosok, jav ...

[1158] Johnny 102022-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] nadorp2022-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=1hn, 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 102022-05-14 12:45:43

Illetve végül mégis engedte egy részben...

[1155] Johnny 102022-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ő T1T2T3 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 XYZ 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 ^XY=^DY^DX=2(^DB^DA), ^YZ=2(^DC^DB), illetve ^ZX=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 XYZ 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 T1T2T3 egyenest. Ez megegyezik a T1M egyenessel (amennyiben ez a két pont nem esik egybe). T1 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 T1T2T3 egyenes 12 sebességgel forog M körül. Akár folytonossággal, akár számítással igazolhatjuk, hogy ha T1 é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 T1T2T3 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 T1T2T3 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 T1T2T3 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, T1 és T2 is egybeesnek az A ponttal, azaz a T1T2T3 egyenes éppen az A-ból BC-re állított merőleges (hiszen az AT3 egyenes a tükrözés miatt merőleges BC-re). Másrészt némi szögszámolással (felhasználva, hogy BY=BXBA és CZ=CXCA, hiszen Y, illetve Z a DX 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 T1T2T3 egyenes jelen helyzetben, felezi az YXZ 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 T1T2T3 egyenesen ebben az esetben rajta van O. Hasonlóképp O akkor is rajta van a T1T2T3 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 T1T2T3 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] marcius82022-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 Gida2022-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 abc=n3 azaz: ab(a+b)=n3

legyen lnko(a,b)=g, ekkor a=gu,b=gv és itt már lnko(u,v)=1, itt a,b értékét beírva kapjuk:

g3uv(u+v)=n3

azaz uv(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 Gida2022-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] marcius82021-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] marcius82021-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 i02, j02 egész számok. Az (i,j) számpárokat, ahol 1ii0, 1jj0 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 i0j0 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] Tashi2021-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 DXAO,DYBO,DZCO 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=180DOZ=DOC=2CAD=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=12XDY=12(180XOY)=12AOB=C.

But from ADI=90θ it follows that ADX=90θ(90B)=Bθ. From this and ADJ=ADX+XDJ it follows that

ADJ=Bθ+XDJ=B+Cθ=180Aθ

From (3) it follows that

XUD=90+12XZD=90+12XYD=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=180ADJ. From this and (4) it follows that AIJ=A+θ=BAD.
From this and (1) it follows that

PIC=PDC=90DCP=90(180BAD)=BAD90

=AIJ90=AIJDIA=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 KPI, which is the P-Simson line in ΔABC. Thus, we have solved the problem.

[1148] BD2021-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] Tashi2021-08-17 19:03:14

Part 2.
We prove that 1rp2P(1)0.
We note that

ˆx1,...,ˆxn are roots (in Zp) of the polynomial P

First, we prove the following proposition by induction on kZ,k1:

P(k):k(rk)=rk1j=0(1)kj+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)rkk+1(rk)=r(rk)k(rk)

=r(rk)rk1j=0(1)kj+1(rj)=rkj=0(1)kj+2(rj).

Induction finished.
Secondly, we prove that ek(rk) by induction on k,1kp2.
Induction Base is trivial.
Induction Step. k(k+1). Because k+1p2 and hypothesis it follows that for each 1ik+1 we have sir. From this and (3) it follows that

(k+1)ek+1rk+1i=1(1)i1ek+1irk+1I=1(1)i1(rk+1i)

rkj=0(1)kj+1(rj)P=(k+1)(rk+1),

which implies ek+1(rk+1). Induction finished. Hence

k,1kp2ek(rk)

By (5) for k=r+1p2 it follows that

er+10

From the Newton-Girard identities in second case it follows that

p+rI=1(1)i1ep+risi=0

By the hypothesis 1kp2:skr and Fermat's Little Theorem it follows that for each 1kp2:

sp+k1=nj=1xp+k1j=nj=1xp1jxkjnj=1xkj=skr

s1s2sp2sps2p3r

From (6) it follows that er+1=0, which implies ep+r(p1)sp1=er+1sp1=0. From this, p+r2p3 and (7) and (8) it follows that 0rp+ri=1(1)i1ep+ri. Because r0 it follows that

0p+ri=1(1)i1ep+ri=e0e1+e2+(1)p+r1ep+r1=P(1).

Hence P(1)0.

Now, we prove by induction on r{0,1,,p3} that the solutions to the problem are (1,1,,1×r,0,0,,0×(p1)) and (1,1,,1×r,1,2,,p1).
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+r1. From this and the hypothesis it follows that 1kp2:

r+1p+rj=1xkj1+p+r1j=1xkj(modp).

From this and the induction hypothesis it follows that the solutions are

(1,1,...,1×r,0,0,...,0×(p1),1) and (1,1,,1×r,1,2,,p1,1),

which finished the induction. The problem is solved!

Előzmény: [1146] Tashi, 2021-08-17 19:01:47
[1146] Tashi2021-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+r1. Let

e0=1,e1=ni=1xi,e2=1i<jnxixj,...,en=ni=1ei.

Let (in Zp) be the polynomial P(x)=ni=1(xxi)=nk=0(1)nkxkenkZp[x] (we use Zp instead of Fp).
For each positive integer k let sk=nj=1xkj. Let Zp=Zp{ˆ0}. We abreviatte ab(modp) by ab.
First we solve the problem in
The Case r=0. From Newton-Girard identities it follows that

kZ,1kp1:kek=ki=1(1)i1ekisi

By the hypothesis

s1s2...sp20

We prove by induction on k{1,2,...,p2} that ek0.
Induction Base. e1=s10e10.
Induction Step. k(k+1). From (1) it follows that

(k+1)ek+1=k+1i=1(1)i1ek+1isi

Because for each 1ik+1: k+1i{0,1,...,k}, (2), (3) and because k+1p2 it follows that

(k+1)ek+10.

Hence ek+10. Induction finished.
Hence ˆx1,...,ˆxp1 are roots of the polynomial P(x)=xp1ˆep1 in Zp. We have 2 sub-cases:
1. ep10ˆx1,...,ˆxp1 are roots of the polynomial xp1 in Zp, which implies x1x2...xp10.
2. ep1. 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.

[1145] Tashi2021-08-17 18:04:02

Thank you! Euler circle (nine-point circle) is Feuerbach circle.

Előzmény: [1143] Lpont, 2021-08-17 16:36:43
[1144] Lpont2021-08-17 16:37:39

Köszönöm, szép megoldás!

Előzmény: [1139] Varga Boldizsár, 2021-08-15 16:35:59
[1143] Lpont2021-08-17 16:36:43

Elegant, thx! (Euler circle=Feuerbach circle?)

Előzmény: [1137] Tashi, 2021-08-14 08:57:52
[1142] sakkmath2021-08-17 14:37:03

Bemásolom Michael Rozenberg bizonyítását.

(A [902]-ben látott elegáns megoldás nekem jobban tetszik.)

Előzmény: [1141] nadorp, 2021-08-15 21:56:08
[1141] nadorp2021-08-15 21:56:08

A "szép" megoldás: ugyanezen fórumtéma [902] hozzászólás

A kicsit csúnya megoldás: ugyanezen fórumtéma [898] megoldás

Előzmény: [1138] sakkmath, 2021-08-14 20:01:50
[1140] Róbert Gida2021-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ár2021-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] sakkmath2021-08-14 20:01:50

Van-e valakinek megoldása, ötlete a 2014. áprilisi számban megjelent A. 616. feladatra?

[1137] Tashi2021-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

  [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    [10]    [11]    [12]    [13]    [14]    [15]    [16]    [17]    [18]    [19]    [20]    [21]    [22]    [23]    [24]    [25]    [26]    [27]    [28]    [29]    [30]    [31]    [32]    [33]    [34]    [35]    [36]    [37]    [38]    [39]    [40]    [41]    [42]    [43]    [44]    [45]    [46]    [47]    [48]    [49]    [50]