Olympiad Maths Prep

Library / /27 of 60

Geometry Difficulty 5.8 AIME, harder Prove it Ukraine

Given a triangle ABCABC with ACB>90\angle ACB > 90^\circ, CBA>45\angle CBA > 45^\circ. Points PP and TT belong to the sides ACAC and ABAB, respectively, so that PT=BCPT = BC and PTBCPT \perp BC. Points P1P_1 and T1T_1 belong to the sides ACAC and ABAB so that AP=CP1AP = CP_1 and AT=BT1AT = BT_1. Show that CBAP1T1A=45\angle CBA - \angle P_1T_1A = 45^\circ.

Solutions — 2

Solution 1

Let SS be such that ABC\triangle ABC and BCS\triangle BCS are in a different half planes with respect to BCBC, and BCS\triangle BCS is isosceles and has right angle CBSCBS. Then segments BSBS and PTPT are equal and parallel (TP=BC=BSTP = BC = BS, PSABPS \parallel AB), hence TPSBTPSB is a parallelogram (Fig. 21). Thus, PSABPS \parallel AB, and also PS=TBPS = TB, hence AT1=PSAT_1 = PS. Thus AT1SPAT_1SP is a parallelogram. Thus, APST1AP \parallel ST_1 and AP=ST1AP = ST_1. Therefore, P1CT1SP_1C \parallel T_1S and P1C=T1SP_1C = T_1S is a parallelogram. Hence P1T1CSP_1T_1 \parallel CS and P1T1A=180P1T1SST1B=CST1ST1B\angle P_1T_1A = 180^\circ - \angle P_1T_1S - \angle ST_1B = \angle CST_1 - \angle ST_1B.

Figure 1
Fig. 21
Finally,
CBAP1T1A=CBACST1+ST1B==90T1SBCST1=90CSB=45. \begin{aligned} \angle CBA - \angle P_1T_1A &= \angle CBA - \angle CST_1 + \angle ST_1B = \\ &= 90^\circ - \angle T_1SB - \angle CST_1 = 90^\circ - \angle CSB = 45^\circ. \end{aligned}

Solution 2

Let PTPT and BCBC intersect at KK, McM_c is a midpoint of CPCP, MbM_b is a midpoint of BTBT (Fig. 22). Thus, medians in right triangles CKPCKP and BKTBKT equal half of hypotenuses. Therefore:
McKMb=TKMbPKMc=MbTKMcPK=CAB. \angle M_c KM_b = \angle TKM_b - \angle PKM_c = \angle M_b TK - \angle M_c PK = \angle CAB.
Also, ARAT1=CPBT=KMcKMb\frac{AR}{AT_1} = \frac{CP}{BT} = \frac{KM_c}{KM_b}, hence AP1T1KMcMb\triangle AP_1T_1 \sim \triangle KM_cM_b. We can show that CBAP1T1A=45\angle CBA - \angle P_1T_1A = 45^\circ. Also, CBAP1T1A=MbKBMcMbK\angle CBA - \angle P_1T_1A = \angle M_bKB - \angle M_cM_bK, that is an angle between McMbM_cM_b and BCBC.
Thus, it suffices to show that McMbM_cM_b is parallel to bisector of TKB\angle TKB.

Let XX is a midpoint of PBPB, YY is a midpoint of TCTC (Fig. 23) where McMbM_c M_b is a bisector of XMcY\angle XM_c Y. XMcKBXM_c \parallel KB and YMcKTYM_c \parallel KT finish the proof.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.