Nesta entrada, embora todas as construções sejam feitas com régua e compasso, recorremos a operações algébricas, conceitos de função, derivada, etc.
Nas condições já descritas em entrada anterior que vale a pena rever por ter sio ampliada, dobrámos um quadrado de papel de cantos A,B,C,DA,B,C,D
mantendo fixos os cantos B,CB,C e levando A a sobrepor-se a um ponto A′ de BC.
Escolhemos, para isso, um ponto P∈[AB] para extremo de uma linha de dobra mais próximo de B que de A. Sabemos que
— para cada ponto P há um só A′∈[BC] tal que ¯PA=¯PA′,
— AD⟶A′D′ sendo A′D′⊥PA′∧A′D′=AD,
o outro ponto E∈[CD] extremo da linha de dobra está na perpendicular a A′D′ tirada por D′ e é tal que ¯ED=¯ED′,
— os trapézios APED e A′PED′ são geometricamente iguais, ou a figura APA′D′ED admite a linha de dobra PE como eixo de simetria (reflexão)
— são semelhantes os triângulos retângulos PBA′,A′CF,FD′E. já que são complementares entre si
B^A′P e F^A′C e, cada um deles, ser respetivamente complementar com A′ˆPB e CˆFA′ e este último ser verticalmente oposto a EˆFD′, obviamente complementar de D′ˆEF.
Apresentamos, nesta entrada, relações entre comprimentos de segmentos (do quadrado, dos trapézios, dos triângulos, etc) que não dependam da posição de P e nos foram sendo sugeridas por leituras a respeito de um problema de optimização Sangaku.....
© geometrias, 23 outubro 2017, Criado com GeoGebra
- Começamos por apresentar o quadrado ABCD e
- a castanho, o trapézio A′DEP, imagem de ADEP por uma reflexão de eixo EP.
- A circunferência de centro em A′ e a passar por D′ (de raio A′D′=AB) passa pelo ponto T de tangência de (A′,AB) com AD (A′T⊥AD∧A′T=AB ) a que, ao dobrar pela reflexão de eixo EP, corresponde o ponto T′ de tangência de A′D′ com (A,AB) ( a reflexão de eixo EP que transforma (A,AB) em (A′,AB) mantém a tangência)
Ficou assim provado que T′ é um ponto de tangência de A′D′ com (A,AB).- Em consequência, e por B e D serem pontos de tangência de (A,AB) respectivamente com BA′ e com DF são iguais os segmentos dessas tangentes, a saber: A′T′=A′B e FT′=FD.
- E podemos agora provar que o perímetro do triângulo A′CF A′C+A′F+FC=A′C+A′T′+T′F⏟+FC=CA′+A′B⏟+DF+FC⏟=BC+CD é igual a metade do perímetro do quadrado ABCD.
- Do mesmo modo, como CA′+A′F+FC=BC+A′D′=BA′+A′C⏟+A′F+FD′⏟=CA′+A′F⏟+A′B+FD′⏟ concluímos que FC=A′B+FD′
- Como ΔA′CF′∼ΔFD′E⟹A′FEF=A′CD′E=CFD′F ΔPBA′∼ΔFD′E⟹BA′FD′=PBED′=PA′EF ΔA′CF′∼ΔPBA′⟹A′FA′P=A′CPB=CFA′B e FC=A′B+FD′⇔FCFD′=FD′FD′+A′BFD′=1+A′BFD′,¯F′D≠0 ou seja, a razão da semelhança que transforma ΔFD′E em ΔA′CF′ excede em 1 o valor da semelhança que transforma ΔFD′E em ΔPBA′ e é, por isso, sendo verdade que FC=A′B+FD′ também é verdade que A′C=PB+D′E e A′F=PA′+EF. CF+FA′+A′C=A′B+FD′⏟+PB+D′E⏟+PA′+EF⏟=BA′+A′P+PB⏟+FD′+D′E+EF⏟ e concluimos que o perímetro de ΔA′CF′ é igual à soma dos perímetros de ΔPBA′ e ΔFD′E.
- Mostra-se nesta etapa o círculo inscrito de centro em I e raio r=IJ=IK=IL no triângulo A′CF retângulo em C e os pontos de tangência: J do lado tangente A′C,K do lado tangente CF,L do lado tangente A′F. Cada um destes pontos de tangência divide o lado respetivo em dois segmentos, a respeito dos quais sabemos que A′L=A′J,FL=FK,CJ=CK=JI=KI=LI.
Ainda nos interessam alguns resultados que relacionam o inraio r do triângulo A′CF com os seus lados e dos outros triângulos semelhantes a este.-
Podemos também provar que
- o inraio r=IJ=IK=IL=JC=CK tem comprimento igual ao segmento [FD′].
Como CF+FA′+A′C=CK+KF+FL+LA′+A′J+JC=r+FL+FL+LA′+LA′+r= =2r+2FL+2LA′=2(r+FL+LA′) e A′D′=A′L+LF+FD′ e, em consequência , 2A′D′=2A′L+2FL+2FD′=2(FD′+FL+LA′).
Ora, por ser 2A′D′ o semiperímetro do quadrado ABCD como o é CA′+A′F+FC (cf. 3.2), podemos escrever 2(r+FL+LA′)=2(FD′+FL+LA′) o que equivale a r=FD′ - De BA′+A′J+JC=BC=A′D′=A′L+LF+FD′∧A′J=A′L retira-se BA′=A′L=KF
- De FC=FK+KC, tiramos FK=FC−r e de A′C=A′J+JC, tiramos A′J=A′C−r e, em consequência, FA′=FJ+JA′=FC−r+A′C−r=FC+A′C−2r e, concluindo, 2r=FC+CA′−A′F que nos dá o valor do inraio r em função dos lados do triângulo A′CF em que se inscreve o incírculo: r=FC+CA′−A′F2 metade da semi-soma dos catetos subtraída da hipotenusa.
- Se tomarmos o ângulo A′ˆAB=D′ˆDF=α e para unidade de comprimento o lado do quadrado AB=1, tg(α)=BA′=t . Temos A′C=1−t e BA′A′C=t1−t.Quando tomamos DˆAF=π/4−α ficamos com tg(π/4−α)=1−t1+t e CF=1−FD=2t1+t e CFFD=2t1−t
- o inraio r=IJ=IK=IL=JC=CK tem comprimento igual ao segmento [FD′].
- Sangaku Optimization Problems:
(All animations written by David Schultz in MAPLE (TM). Source code available upon request: davvu41111@mesacc.edu)
Japanese Paper Folding Problem
Problem Statement: When as square piece of paper of fixed side length is folded as shown in the figure, a circle is formed in the upper-left-hand corner which is tangent at three points to the paper. First show the red segment and the red radius are equivalent for all folds. Then determine where the paper should be folded in order to maximize the area of the circle.
Adapted from: Japanese Temple Geometry Problems. Fukagawa, H. & Pedoe, D. The Charles Babbage Research Center, Winnipeg, 1989. - A collection of 30 Sangaku Problems, de J. Marshall Unger, Ohhio State University.
- http://geometrias.eu/deposito/ORirABCO2a.html
http://geometrias.blogspot.pt/2014/10/triangulos-retangulos-altura-e-inraios.html - Robert Geretschläger. Folding Questions - A paper about Problems about Paper. WFNMC-6, Riga, Latvia: 2010
- Hiroshi Okumura. A Folded Square Sangaku Problem
- Hiroshi Okumura. A Note on HAGA's Theorems in Paper Folding. in Forum Geometricorum.Volume 14 (2014) 241-242
- Hidetoshi Fukagawa. Japanese Temple Geometry Problems. 1989.
Sem comentários:
Enviar um comentário