annoying algebra with sequence :/

by tabel, Jun 3, 2025, 4:55 PM

Let \( a_1 = 1 \) and \( a_{n+1} = 1 + \frac{n}{a_n} \) for \( n \geq 1 \). Prove that the sequence \( (a_n)_{n \geq 1} \) is increasing.

The Return of Triangle Geometry

by peace09, Jul 17, 2024, 12:00 PM

Let $N$ be a positive integer. Prove that there exist three permutations $a_1,\dots,a_N$, $b_1,\dots,b_N$, and $c_1,\dots,c_N$ of $1,\dots,N$ such that \[\left|\sqrt{a_k}+\sqrt{b_k}+\sqrt{c_k}-2\sqrt{N}\right|<2023\]for every $k=1,2,\dots,N$.
This post has been edited 1 time. Last edited by peace09, Jul 17, 2024, 12:14 PM
L

Asymptote #31

by piphi, Dec 15, 2022, 1:15 AM

Something I made a couple years ago
Looking back at it, I have no idea how I made it, why I made it, or how long it took me lol[asy]
int pw = 3;

fill((48,153)..(49,165)..(57,173)--(57,166)--(61,171)..(60,160)..(63,152)--cycle, rgb(209/255,210/255,212/255));
fill((81,154)..(92,159)--(81,170)--(86,168)--(86,173)--(91,170)--(114,154)--(108,150)..(98,153)..(81,154)--cycle, rgb(209/255,210/255,212/255));
fill((47,64)..(45,55)..(44,53)--(44,53)..(40,51)..(37,52)--(37,52)..(31,56)..(25,58)--(25,58)..(29,60)..(35,61)--(35,66)--cycle, rgb(209/255,210/255,212/255));
fill((77,73)..(75,68)--(75,68)..(70,64)..(65,57)--(65,57)..(61,55)..(57,58)--(57,58)..(54,64)..(50,73)--(50,73)..(60,77)..(72,74)--cycle, rgb(209/255,210/255,212/255));

fill((54,65)..(35,66)..(19,74)--(19,74)..(15,72)..(12,70)--(12,70)..(5,78)..(3,90)--(9,94)..(8,99)..(14,102)..(22,109)..(34,112)--(34,112)..(38,127)..(45,139)--(56,138)..(36,143)..(27,153)--(33,150)--(30,156)--(37,152)--(48,153)..(55,153)..(63,152)--(63,152)..(81,154)..(92,159)--(81,154)..(98,153)..(108,150)--(102,139)..(114,154)..(127,156)--(127,156)..(116,166)..(115,172)--(118,169)--(119,174)..(134,159)..(143,147)--(143,147)..(140,141)..(137,137)--(137,137)..(139,109)..(133,94)--(133,94)..(126,93)..(121,92)--(121,92)..(113,93)..(106,91)--(85,81)--(98,72)--(98,72)..(89,71)..(77,73)--(72,74)..(60,77)..(50,73)--cycle, rgb(209/255,210/255,212/255));

fill((105,81)..(115,60)..(118,37)--(121,38)--(123,35)--(127,36)--(132,31)--(157,30)--(134,34)..(131,38)..(126,39)--(126,39)..(125,42)..(122,44)--(122,44)..(117,65)..(105,81)--cycle, rgb(170/255,170/255,170/255));

fill((115,84)..(123,86)..(128,82)..(127,78)--(127,78)..(134,77)..(136,73)--(136,73)..(135,69)..(133,66)--(142,66)..(147,64)..(148,62)..(147,60)--(147,60)..(154,59)..(158,55)--(158,55)..(151,50)..(143,49)--(143,49)..(150,52)..(154,55)--(154,55)..(149,56)..(140,55)--(140,55)..(140,59)..(142,61)--(142,61)..(132,62)..(126,60)--(126,60)..(124,62)..(125,65)--(125,65)..(129,68)..(132,73)--(132,73)..(131,75)..(124,76)--(124,76)..(124,78)..(125,80)--(125,80)..(126,82)..(121,85)..(115,84)--cycle, rgb(170/255,170/255,170/255));

fill((167,29)..(179,30)..(193,28)--(193,28)..(199,32)..(197,37)--(197,37)..(193,39)..(187,42)--(187,42)..(190,44)..(190,47)--(190,47)..(185,52)..(167,52)--(167,52)..(182,50)..(187,46)--(187,46)..(180,44)..(174,40)--(174,40)..(176,39)..(181,38)--(181,38)..(190,36)..(195,33)--(195,33)..(178,32)..(167,29)--cycle, rgb(170/255,170/255,170/255));

fill((29,85)..(32,80)..(40,79)..(43,85)..(42,90)..(39,88)..(36,87)..(32,88)..cycle);
filldraw(circle((38,81),2),white,white);

fill((8,79)..(7,82)..(8,83)..(9,81)--cycle);
fill((12,74)..(13,77)..(14,78)..(17,85)--(17,85)..(16,89)..(11,91)..(7,89)--(7,89)..(11,88)..(13,85)..(12,82)--(12,82)..(11,77)..(12,74)--cycle);

/*draw((47,110)..(63,102)..(66,85), linewidth(pw));
draw((66,85)..(77,73)..(70,64)..(61,55)--(50,73), linewidth(pw));
draw((50,73)..(60,77)..(77,73), linewidth(pw));*/
draw((54,65)..(35,66)..(19,74), linewidth(pw));
draw((47,64)..(45,55)..(44,53), linewidth(pw));

draw((47,110)..(63,102)..(66,85), linewidth(pw));
draw((66,85)..(72,81)..(77,73)..(75,68), linewidth(pw));
draw((75,68)..(70,64)..(65,57), linewidth(pw));
draw((65,57)..(61,55)..(57,58), linewidth(pw));
draw((57,58)..(54,64)..(50,73), linewidth(pw));
draw((50,73)..(60,77)..(72,74), linewidth(pw));

draw((44,53)..(40,51)..(37,52), linewidth(pw));
draw((37,52)..(31,56)..(25,58), linewidth(pw));
draw((25,58)..(29,60)..(35,61)--(35,66), linewidth(pw));
draw((19,74)..(15,72)..(12,70), linewidth(pw));
draw((12,70)..(5,78)..(3,90), linewidth(pw));
draw((3,90)..(13,96)..(26,97), linewidth(pw));
draw((27,94)..(28,97)..(27,100), linewidth(pw/2));
draw((9,94)..(8,99)..(14,102)..(22,109)..(34,112), linewidth(pw));
draw((34,112)..(38,127)..(45,139), linewidth(pw));
draw((56,138)..(36,143)..(27,153), linewidth(pw));
draw((27,153)--(33,150)--(30,156)--(37,152)--(48,153), linewidth(pw));
draw((48,153)..(49,165)..(57,173)--(57,166)--(61,171), linewidth(pw));
draw((61,171)..(60,160)..(63,152), linewidth(pw));
draw((48,153)..(55,153)..(63,152), linewidth(pw));
draw((63,152)..(77,147)..(84,141), linewidth(pw));
draw((63,152)..(81,154)..(92,159), linewidth(pw));
draw((92,159)--(81,170)--(86,168)--(86,173)--(91,170)--(114,154), linewidth(pw));
draw((102,139)..(114,154)..(127,156), linewidth(pw));
draw((81,154)..(98,153)..(108,150), linewidth(pw));
draw((127,156)..(116,166)..(115,172)--(118,169)--(119,174)..(134,159)..(143,147), linewidth(pw));
draw((143,147)..(140,141)..(137,137), linewidth(pw));
draw((137,137)..(139,109)..(133,94), linewidth(pw));
draw((139,109)..(149,109)..(153,117)..(145,118)..(149,109)..(159,108)..(162,112), linewidth(pw));
draw((133,94)..(126,93)..(121,92), linewidth(pw));
draw((121,92)..(113,93)..(106,91), linewidth(pw));

draw((77,73)..(89,71)..(98,72), linewidth(pw));
draw((98,72)..(101,67)..(98,61)--(104,61), linewidth(pw));
draw((147,23)..(156,14)..(161,6), linewidth(pw));
draw((161,6)..(160,3)..(156,3), linewidth(pw));
draw((156,3)..(148,7)..(129,11), linewidth(pw));
draw((129,11)..(87,16)..(62,27)..(56,37), linewidth(pw));
draw((56,37)..(58,42)..(64,46)..(70,51)..(72,65), linewidth(pw));

draw((133,94)..(136,91)..(137,88), linewidth(pw));
draw((137,88)..(141,86)..(142,85)..(142,81), linewidth(pw));
draw((142,81)..(145,77)..(143,72), linewidth(pw));
draw((143,72)..(155,74)..(160,73)..(161,70), linewidth(pw));
draw((161,70)..(169,72)..(174,70)..(174,66), linewidth(pw));
draw((174,66)..(187,67)..(196,64)..(199,60), linewidth(pw));
draw((199,60)..(197,57)..(194,56), linewidth(pw));
draw((194,56)..(209,49)..(219,40), linewidth(pw));
draw((219,40)..(218,37)..(216,37), linewidth(pw));
draw((216,37)..(226,27)..(228,13), linewidth(pw));
draw((228,13)..(211,20)..(192,23), linewidth(pw));
draw((192,23)..(174,24)..(139,22), linewidth(pw));
draw((139,22)..(116,29)..(106,52), linewidth(pw));
draw((106,52)..(98,72)..(85,81), linewidth(pw));

fill(circle((118,110),8)--cycle);
fill(circle((114,129),6)--cycle);
fill(circle((128,121),3)--cycle);

picture p = reflect((0, 0), (1, 0))*currentpicture;
erase();
add(p);
[/asy]

[asy]
/**
 * Flying Pig
 *
 * Made by piphi
 * 
 * For more information go to the link below.
 * https://artofproblemsolving.com/wiki/index.php/User:Piphi/Asymptote/Flying_Pig
 */

size(400);

int pw = 2;

draw((269,124)--(269,421), dashed+linewidth(pw-1));
draw(ellipse((269,438),7,16), linewidth(pw-1));
draw(ellipse((269,124),367,91), dashed+linewidth(pw-1));

fill((234,448)--(303,448)--(303,454)--(701,454)--(701,458)--(-164,458)--(-164,454)--(234,454)--cycle);

draw((-44,33){dir(165)}..(-145,145)..{dir(20)}(-80,190),linewidth(pw-1),Arrow(Fill(black),size=30));

fill((48,178-153)..(49,178-165)..(57,178-173)--(57,178-166)--(61,178-171)..(60,178-160)..(63,178-152)--cycle, rgb(209/255,210/255,212/255));
fill((81,178-154)..(92,178-159)--(81,178-170)--(86,178-168)--(86,178-173)--(91,178-170)--(114,178-154)--(108,178-150)..(98,178-153)..(81,178-154)--cycle, rgb(209/255,210/255,212/255));
fill((47,178-64)..(45,178-55)..(44,178-53)--(44,178-53)..(40,178-51)..(37,178-52)--(37,178-52)..(31,178-56)..(25,178-58)--(25,178-58)..(29,178-60)..(35,178-61)--(35,178-66)--cycle, rgb(209/255,210/255,212/255));
fill((77,178-73)..(75,178-68)--(75,178-68)..(70,178-64)..(65,178-57)--(65,178-57)..(61,178-55)..(57,178-58)--(57,178-58)..(54,178-64)..(50,178-73)--(50,178-73)..(60,178-77)..(72,178-74)--cycle, rgb(209/255,210/255,212/255));

fill((54,178-65)..(35,178-66)..(19,178-74)--(19,178-74)..(15,178-72)..(12,178-70)--(12,178-70)..(5,178-78)..(3,178-90)--(9,178-94)..(8,178-99)..(14,178-102)..(22,178-109)..(34,178-112)--(34,178-112)..(38,178-127)..(45,178-139)--(56,178-138)..(36,178-143)..(27,178-153)--(33,178-150)--(30,178-156)--(37,178-152)--(48,178-153)..(55,178-153)..(63,178-152)--(63,178-152)..(81,178-154)..(92,178-159)--(81,178-154)..(98,178-153)..(108,178-150)--(102,178-139)..(114,178-154)..(127,178-156)--(127,178-156)..(116,178-166)..(115,178-172)--(118,178-169)--(119,178-174)..(134,178-159)..(143,178-147)--(143,178-147)..(140,178-141)..(137,178-137)--(137,178-137)..(139,178-109)..(133,178-94)--(133,178-94)..(126,178-93)..(121,178-92)--(121,178-92)..(113,178-93)..(106,178-91)--(85,178-81)--(98,178-72)--(98,178-72)..(89,178-71)..(77,178-73)--(72,178-74)..(60,178-77)..(50,178-73)--cycle, rgb(209/255,210/255,212/255));

fill((105,178-81)..(115,178-60)..(118,178-37)--(121,178-38)--(123,178-35)--(127,178-36)--(132,178-31)--(157,178-30)--(134,178-34)..(131,178-38)..(126,178-39)--(126,178-39)..(125,178-42)..(122,178-44)--(122,178-44)..(117,178-65)..(105,178-81)--cycle, rgb(170/255,170/255,170/255));

fill((115,178-84)..(123,178-86)..(128,178-82)..(127,178-78)--(127,178-78)..(134,178-77)..(136,178-73)--(136,178-73)..(135,178-69)..(133,178-66)--(142,178-66)..(147,178-64)..(148,178-62)..(147,178-60)--(147,178-60)..(154,178-59)..(158,178-55)--(158,178-55)..(151,178-50)..(143,178-49)--(143,178-49)..(150,178-52)..(154,178-55)--(154,178-55)..(149,178-56)..(140,178-55)--(140,178-55)..(140,178-59)..(142,178-61)--(142,178-61)..(132,178-62)..(126,178-60)--(126,178-60)..(124,178-62)..(125,178-65)--(125,178-65)..(129,178-68)..(132,178-73)--(132,178-73)..(131,178-75)..(124,178-76)--(124,178-76)..(124,178-78)..(125,178-80)--(125,178-80)..(126,178-82)..(121,178-85)..(115,178-84)--cycle, rgb(170/255,170/255,170/255));

fill((167,178-29)..(179,178-30)..(193,178-28)--(193,178-28)..(199,178-32)..(197,178-37)--(197,178-37)..(193,178-39)..(187,178-42)--(187,178-42)..(190,178-44)..(190,178-47)--(190,178-47)..(185,178-52)..(167,178-52)--(167,178-52)..(182,178-50)..(187,178-46)--(187,178-46)..(180,178-44)..(174,178-40)--(174,178-40)..(176,178-39)..(181,178-38)--(181,178-38)..(190,178-36)..(195,178-33)--(195,178-33)..(178,178-32)..(167,178-29)--cycle, rgb(170/255,170/255,170/255));

fill((29,178-85)..(32,178-80)..(40,178-79)..(43,178-85)..(42,178-90)..(39,178-88)..(36,178-87)..(32,178-88)..cycle);
filldraw(circle((38,178-81),2),white,white);

fill((8,178-79)..(7,178-82)..(8,178-83)..(9,178-81)--cycle);
fill((12,178-74)..(13,178-77)..(14,178-78)..(17,178-85)--(17,178-85)..(16,178-89)..(11,178-91)..(7,178-89)--(7,178-89)..(11,178-88)..(13,178-85)..(12,178-82)--(12,178-82)..(11,178-77)..(12,178-74)--cycle);

draw((54,178-65)..(35,178-66)..(19,178-74), linewidth(pw));
draw((47,178-64)..(45,178-55)..(44,178-53), linewidth(pw));

draw((47,178-110)..(63,178-102)..(66,178-85), linewidth(pw));
draw((66,178-85)..(72,178-81)..(77,178-73)..(75,178-68), linewidth(pw));
draw((75,178-68)..(70,178-64)..(65,178-57), linewidth(pw));
draw((65,178-57)..(61,178-55)..(57,178-58), linewidth(pw));
draw((57,178-58)..(54,178-64)..(50,178-73), linewidth(pw));
draw((50,178-73)..(60,178-77)..(72,178-74), linewidth(pw));

draw((44,178-53)..(40,178-51)..(37,178-52), linewidth(pw));
draw((37,178-52)..(31,178-56)..(25,178-58), linewidth(pw));
draw((25,178-58)..(29,178-60)..(35,178-61)--(35,178-66), linewidth(pw));
draw((19,178-74)..(15,178-72)..(12,178-70), linewidth(pw));
draw((12,178-70)..(5,178-78)..(3,178-90), linewidth(pw));
draw((3,178-90)..(13,178-96)..(26,178-97), linewidth(pw));
draw((27,178-94)..(28,178-97)..(27,178-100), linewidth(pw/2));
draw((9,178-94)..(8,178-99)..(14,178-102)..(22,178-109)..(34,178-112), linewidth(pw));
draw((34,178-112)..(38,178-127)..(45,178-139), linewidth(pw));
draw((56,178-138)..(36,178-143)..(27,178-153), linewidth(pw));
draw((27,178-153)--(33,178-150)--(30,178-156)--(37,178-152)--(48,178-153), linewidth(pw));
draw((48,178-153)..(49,178-165)..(57,178-173)--(57,178-166)--(61,178-171), linewidth(pw));
draw((61,178-171)..(60,178-160)..(63,178-152), linewidth(pw));
draw((48,178-153)..(55,178-153)..(63,178-152), linewidth(pw));
draw((63,178-152)..(77,178-147)..(84,178-141), linewidth(pw));
draw((63,178-152)..(81,178-154)..(92,178-159), linewidth(pw));
draw((92,178-159)--(81,178-170)--(86,178-168)--(86,178-173)--(91,178-170)--(114,178-154), linewidth(pw));
draw((102,178-139)..(114,178-154)..(127,178-156), linewidth(pw));
draw((81,178-154)..(98,178-153)..(108,178-150), linewidth(pw));
draw((127,178-156)..(116,178-166)..(115,178-172)--(118,178-169)--(119,178-174)..(134,178-159)..(143,178-147), linewidth(pw));
draw((143,178-147)..(140,178-141)..(137,178-137), linewidth(pw));
draw((137,178-137)..(139,178-109)..(133,178-94), linewidth(pw));
draw((139,178-109)..(149,178-109)..(153,178-117)..(145,178-118)..(149,178-109)..(159,178-108)..(162,178-112), linewidth(pw));
draw((133,178-94)..(126,178-93)..(121,178-92), linewidth(pw));
draw((121,178-92)..(113,178-93)..(106,178-91), linewidth(pw));

draw((82,107)--(269,421), linewidth(pw-1));

draw((77,178-73)..(89,178-71)..(98,178-72), linewidth(pw));
draw((98,178-72)..(101,178-67)..(98,178-61)--(104,178-61), linewidth(pw));
draw((147,178-23)..(156,178-14)..(161,178-6), linewidth(pw));
draw((161,178-6)..(160,178-3)..(156,178-3), linewidth(pw));
draw((156,178-3)..(148,178-7)..(129,178-11), linewidth(pw));
draw((129,178-11)..(87,178-16)..(62,178-27)..(56,178-37), linewidth(pw));
draw((56,178-37)..(58,178-42)..(64,178-46)..(70,178-51)..(72,178-65), linewidth(pw));

draw((133,178-94)..(136,178-91)..(137,178-88), linewidth(pw));
draw((137,178-88)..(141,178-86)..(142,178-85)..(142,178-81), linewidth(pw));
draw((142,178-81)..(145,178-77)..(143,178-72), linewidth(pw));
draw((143,178-72)..(155,178-74)..(160,178-73)..(161,178-70), linewidth(pw));
draw((161,178-70)..(169,178-72)..(174,178-70)..(174,178-66), linewidth(pw));
draw((174,178-66)..(187,178-67)..(196,178-64)..(199,178-60), linewidth(pw));
draw((199,178-60)..(197,178-57)..(194,178-56), linewidth(pw));
draw((194,178-56)..(209,178-49)..(219,178-40), linewidth(pw));
draw((219,178-40)..(218,178-37)..(216,178-37), linewidth(pw));
draw((216,178-37)..(226,178-27)..(228,178-13), linewidth(pw));
draw((228,178-13)..(211,178-20)..(192,178-23), linewidth(pw));
draw((192,178-23)..(174,178-24)..(139,178-22), linewidth(pw));
draw((139,178-22)..(116,178-29)..(106,178-52), linewidth(pw));
draw((106,178-52)..(98,178-72)..(85,178-81), linewidth(pw));

fill(circle((118,178-110),8)--cycle);
fill(circle((114,178-129),6)--cycle);
fill(circle((128,178-121),3)--cycle);
[/asy]

Asymptote #30

by piphi, Jul 31, 2021, 6:56 PM

Here's a scrabble board that ythmashu (I dont think i got that username right) made:

[asy]
unitsize(20);

int A,B,C,D,E,F,G,H,I,J,K,L,M,N,O;
A=-7;B=-6;C=-5;D=-4;E=-3;F=-2;G=-1;H=0;I=1;J=2;K=3;L=4;M=5;N=6;O=7;
path z(int a, int b) {
	return ((a+.5,b+.5)--(a-.5,b+.5)--(a-.5,b-.5)--(a+.5,b-.5)--cycle);
}
path[] p(int a, int b) {
	return (z(a,b)^^z(-b,a)^^z(-a,-b)^^z(b,-a));
}
fill((7.5,7.5)--(7.5,-7.5)--(-7.5,-7.5)--(-7.5,7.5)--cycle,rgb(246/256,190/256,120/256));
for(int i=1; i<15;++i){
	draw((7.5,i-7.5)--(-7.5,i-7.5)^^(i-7.5,7.5)--(i-7.5,-7.5),white);
}
fill(p(0,0)^^p(3,3)^^p(4,4)^^p(5,5)^^p(6,6),pink);
fill(p(0,7)^^p(7,7),red);
fill(p(2,2)^^p(2,6)^^p(6,2),blue);
fill(p(0,4)^^p(1,1)^^p(5,1)^^p(7,4)^^p(4,7)^^p(1,5),lightblue+cyan+white);
draw((7.5,7.5)--(7.5,-7.5)--(-7.5,-7.5)--(-7.5,7.5)--cycle);
path star;
for(int i=0; i < 5; ++i)
star=star--.4*dir(90+144i);
star=star--cycle;
fill(star);

int v(string a) {
	if (a=='E'||a=='A'||a=='I'||a=='O'||a=='U'||a=='N'||a=='S'||a=='T'||a=='L'||a=='R') {return 1;}
	else if (a=='D'||a=='G') {return 2;}
	else if (a=="B"||a=='C'||a=='M'||a=='P') {return 3;}
	else if (a=='F'||a=='H'||a=='W'||a=='V'||a=='Y') {return 4;}
	else if (a=='K') {return 5;}
	else if (a=='J'||a=='X') {return 8;}
	else if (a=='Z'||a=='Q') {return 10;}
	else {return undefined;}
}
string letters = 'abcdefghijklmnopqrstuvwxyz';
string Letters = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ';
string toupper(string q) {
	return substr(Letters,find(letters, q, pos=0),1);
}
void tile(string a,int x,int y) {
	fill(z(x,y),rgb(230/324,150/324,80/324));
	if (find(Letters, a, pos=0)!=-1) {label("$\textrm "+a+"_"+"{"+string(v(a))+"}"+"$",(x+.04,y));}
	else {label("$\mathcal "+toupper(a)+"$",(x,y));}
}

void right(string a,int x, int y) {
	for(int i=0; i<length(a); ++i){
		tile(substr(a,i,1),x+i,8-y);
	}
}
void down(string a,int x, int y) {
	for(int i=0; i<length(a); ++i){
		tile(substr(a,i,1),x,8-y-i);
	}
}

for(int i=0;i<15;++i){
	label(substr(Letters,i,1),(i-7,7.8),fontsize(7pt));
	label(substr(Letters,i,1),(i-7,-7.8),fontsize(7pt));
	label(string(i+1),(-7.8,7-i),fontsize(7pt));
	label(string(i+1),(7.8,7-i),fontsize(7pt));
}

//down('ASDFgH',H,3);
right('HELLO',I,7);
[/asy]

Asymptote #29

by piphi, Jun 22, 2021, 10:15 PM

With sonone's pixel art generator and the ascii art I posted earlier, I made my turtle logo black and white in asy.

[asy]
//Made by sonone
size(100);
void drawPenArray(pen[][] pixel = {{red}}) {
for (int i = 0; i < pixel.length; ++i) {
for (int j = 0; j < pixel[i].length; ++j) {
fill(shift(j,-i)*unitsquare,pixel[i][j]);
}
}
}

void draw_pixel_string(int height, int width, string px, bool palette = false...pen[] colors) { // converts a string into a pixel drawing with specified demensions and color palette
string letters = "abcdefghijklmnopqrstuvwxyz-";
defaultpen(black);

int h = 0;
int w = 0;

pen[][] layout = new pen[height][width];
for (int i = 0; i < layout.length; ++i) {
for (int j = 0; j < layout[i].length; ++j) {
layout[i][j] = invisible;
}
}

for (int i = 0; i < length(px); ++i) {
int key = find(letters, substr(px,i,1));
if (key >= 0 && key < 26) {
layout[h][w] = colors[key];
++w;
}
else if (key == 26) {
layout[h][w] = invisible;
++w;
}
else {
++h;
w = 0;
}
}

drawPenArray(layout);

if (palette) { // optional, for making only
for (int i = 0; i < colors.length; ++i) {
label(scale(.7)*substr(letters,i,1), (i,2),2*N+.4*E);
filldraw(shift(i,2)*scale(.8)*unitsquare, colors[i],linewidth(.3));
}
}
}

draw_pixel_string(100,100,
"----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
-------------------------------------------cbbbbbbbb------------------------------------------------
-------------------------------------bdfefgebbbccbbdcdfb--------------------------------------------
----------------------------------bbegggfecbbcbb-bb--cehhfd-----------------------------------------
-------------------------------beigfebedddccdedbcccdddbcggghgc--------------------------------------
------------------------------deeecccdcbdec--ceddb-cddc-cdddghgc------------------------------------
----------------------------cfcccdefecccedccbdecddc-bec-cdddfgiki-----------------------------------
---------------------------hhffgfhhfeeedeefffffeefgfeedcbcddehhgjic---------------------------------
--------------------------gjggfhhgedfebc-bcbeigeeghghfefefgefjhfghie--------------------------------
-------------------------dheghhifbcddb-bcdefegjfehigghgghgijiiiigfhiic------------------------------
------------------------dhgijkkigfghhiiijhhjjhgfffffggfffhhiiikjggfhkkc-----------------------------
-----------------------elmmllkhjkllklklkjkjkkhbdfgfgeccdcfeeghffggeeflh-----------------------------
----------------------fmnomkkkjlmlkkjjkllljhfedfhggedeeeddeddeedffgeegif------------ifb-------------
---------------------gmmnmmkiknnllllmmlllhddgghhfedfdeecdcegefgfffghfffijb----------jkj---fc--------
--------------------enlnnmliilnmlllkllkhhfeijgeedeffddedddffcddeddeiheefij----------dlkkehkg--------
--------------------jpnnmjiijhhhhhijjjgefikjfgecdffdcffeegifbbdeedfhhfdghii---------bjgjjmmc--------
-------------------fnlmkhhjhkhdffegjjjhiklhdcdgfeeedeeffghghedddcdfgfffefgii--------bkhgknh---------
------------------dnljjjkllmjiiijhilmnjgijfdedddefgfggggffffhecfdcdeeghffgehi-------bkiihhd---------
-----------------cokjllmpnlponnnmkkjjgfijhghhfegghhhgggfedeegfdjigfcdgfeffgege------emjje-----------
-----------------jpmoqqpnkjlmljljiihgfhkjjifdccefffeeeefhkmmnomooonkiijifcefdfb----blnljjd-b--------
----------------dqqqponkiihjjjiggijjjjjhhihedeccddeeeikmqqqtttttssrrqlmongccbbebbiimmmnmlmfc--c-----
----------------gpmmkloolklllmmijllkhghghjiiheceeefilqqnpqklrsrpojlkfbdgnrokhfdcjqonnqllnmlkgig-----
----------------jmnnmpoookmoomjjkmmigegjkkkkheggfgmrrrqkiokjnnmklkfdbbb--krroniddgpqqskiomjikjc-----
---------------cppqrppqlkkoonlihjljghghkljihhhgfjprrqqolkikkihiihnmjkhgebgnnnmmljfflrsmennjehf------
---------------oqprpoppnkkmkijigjkhgifhhihfhihjorrpooommmhliddefehomkjkicillnpononjgmtl-jomhkf------
-------------bmqopoqpplmkiigiljhhghghefgegjjlqrrqppoonnnmjhhggggfdkmllkfjmmnmqqpoommjpo-ckmiii------
------------fmpnmopnomkllmmijljighhghgdfhjloqqqpponnmnmmmjhgffgfeddhnmhiqqollosrqpomkmpeelkjiib-----
-----------enmpqqnopqomnnpnmljgfgggggknmmoqqqpponnmmlnnnmkihfiieecedijefoppolnrqqrrqnnnglmjjkgc-----
----------lnlnrrsrprnoommonkkfeefhikknoprqqpooonnnonomklkkjjgihcccgeghfdhnjjmpooopqqpnmlmlkklhijb---
---------jmoprrrrrroooomkjjkiggkmnpqpjfkoqrqpppnleknojhljikjjjllnrpcfeccbefgmnmlkjknnnkmnmmlljijige-
--------fpopqsrprrqlnqnmkjkjjnoqqqqqidknhlmnqppoogekkmmikrqqrstttttjbe-ejgjonmmnmliimnlkmhkmljjkjkkd
-------epospqsrnorploqpmhjkkmorrssnmkmqpihjjnmhlopommttggtttttssrsttgeknmhmomnopppnjmnnllihmlkklkeb-
------conpportrnptolqrqkilmprrqnrrnoqsstsomololloqsqpstqfltrrrssrsssrnoonkjooonnnnnoonlgfiikkkjhf---
------bnmponrtrostolqrpoqrrttqqpqokrttstttponkjnrsttsstsjgqsrrrrrrsrsqlnookmponnmmkkonkkcckjimlib---
-------ipronstqmqqqprqrssrsttsrrookmrtsttttqnigptssssttpliirrrrrrrrqrrnnnkklonnmmlkjmmknjdimlkkb----
--------ltnmrsrnpqrrqqqqqqrrrrronqroostttttqlpnqtsstsrrnihgksrqrrqqqqqpmjdinonmllkjilmljgilmlc------
------bbirnoqqonnmlllkllmmnppopqrsrrqstttttrprmqtsssqpph-fkemssrqpqqqppmccirnjkmmljhllkggkkke-------
------hrnoppnlkkkjiijjjjjjjlmnqqrrsssrrssssrqsnpssspnkjhdhiefklpqpnlmnpmdfnsplihiklklggfgoob--------
------hqonmkijlonlnmnnmnonkikrqqroqssqpqqqpqrrqrrspnmgemmlkjjfhimomjhfmkhlrqrsqnihjkllicdpsc--------
-----dmnljjjkmqrrrrrrqqssrpnqrqnnqpqropppppprsrqqqqoonmpppnnpnnkllmqojjjmqqqqqrsrnkjkmlljjrf--------
---bjmkihijlnrqqstsrpqpqsrrqqqqpmqsqojkmnoppoppooopqqpqqopooppqqqpmnqonppqpqppqqrrqmkkmqnisf--------
--fmkihhkmmloqprrsropporsrsrpqrtsqqppmkiikmopooooooppqpppoopqqnnoookmpppppqqpqppqqrqolmonosf--------
-hljkjkopnklqpprqrqqooopsrrrqrssqqqrssrolkkklnoooooooppoooopnhdcgjhggggghikopooopppqqpnmprsc--------
emkidirqpomkprqqqqpqpppoqrrrppssrrrrrrrstrlljhilnmlmnoopoopmecekpokjhffhhfchnmmmmmnopqokkqk---------
bec--hrpqrronrspprqpponnprrpooqrqqrrrrrrrrprqmifhiijklmnoppjijjorsonmlkiigegoqqolkklmnmihlc---------
----hqprrssspqsqqrpopponprrpqrrsssrpmknqprsrstrlfdfhijjkmqslgmkkntsponnlhfjjrttsromkjiiiiic---------
---dqnprssrqqpqrspmppoprrrrqomnnpomjihkqrrprsrstrmgdfgihkqtojoklmqsqmmppmmnnqssrrssqmjiiilc---------
---bopqsqppqssqrssqommmnssolmjhddefjnmjlpopprrssttslhedekrsqpqolnkknmnprokmnstsrpopommkkkpg---------
----bqssrrsstsrtttsmlnmkqsffjjjfdgginonkkmonpppqrssppokhlptsooqookjklpqqnimossqlhhhhjmlllmmiecceffc-
-----fssssrrrsropqtpmmmmsl-dfgjhgghmpopqpppppqpprrooorsrontsooppnqpmnoonopmptroifggjijkkjoomonmmlpi-
------dsspnprqnnooqrpoklsqheegjhggmqppqrpopqqrqmnonopomnnlqrqrqopsrrpnljlnknpookjiknkiljmrpmijjhkrg-
------brqooppooqrrqrrrommrtmhiiihjprqrnhhgjmpqnmooqqpnlkjilossqppommooolkolmnmopmkmnmlllssrmjiiosn--
------bpoopqrrrqrrrrrqsrnnsollkllnrsslefgklmopnoqrrrpnkjihggnrqpllljnmoplnmprollllmonnkptssqkinrk---
------eqoppqrrsrrrrrsrrsqonlooopoqrsoddjhkmmmoqpoooppnihjihegoqqooomqpmnmlorrrmhkiilnonhmssrqprnb---
-----bsrqqrrrqqqrrrrsssrrqpqqrrqqrsrhhjfinmnojjlmmmnnnnonnmkfknnnopqqqpnnmprrqpljklklnnhhmrrrqmf----
-----osppqrrrrqqqrqqrssrrrrrrrrqqrsmfimnklmmkedgmpnoppstsrqnimnllmlmmoonnnprooppnmmmmnnjhfiqpmk-----
----ctspprrrrrrrrrrqqrqqqrqrrssrprohjhhilmmlhiljmppprqqsttsrppnmlllllnlppnrroopqqoooonnkgffkole-----
-----issrrrrsrrrrqrrrqpqrrrrrrpprqijnmjfkmmnifknnopqqqooqrrsttqoooonnmmoqssrrpqrqppooonmlghjfc------
------gssrrsrrrrqrrqqrqprstsspoqrkikkkmnilpnnhdknnoppqnoonnppqstsssqolmooqtsqrqprroppolkmjfic-------
-------errrrrpqqqrrqqqrrqqrrqppsnhnojfhomijkoojfgmnoonprqqqpnmmpsrrqoomlopstsrqnpqppqpnjgkihe-------
--------clrqrrqqrrrrqqqrqppqpprqjkllkhjilmllmnqojklmnpppooopqpnlqqpommljkpstsrrqpqqpqonljjkie-------
----------hqqrrrqqrrrqqqqrrqppqkknmhlnligkqomqssqonnqnnppqpnoppmlnnnlihjihnttsrqprqpqpnmljijj-------
----------bqqqqrrqqrrrrrqqqqpqmilnkjkmjjhjmoptqooppornorrrromponlnmkijjjjhfmsrrqqrrqqrpjjkkimb------
----------cpqrrsrrqrrrqqqqqppplkmokmjilkkonnqrpqqqpqqrnpsrppnnlknqpnnnlkkllhmrprrrrrrrolklkiib------
----------cppqstsrqrsrqpqqqprojmooojknlknnopprrrrrrrqrolnooooonnoooomkklmmnlni-estrrrrpmjjkkjb------
----------cqqrrsssqmlosrqpprqinplmllkljknnqrrsrrsrrrrqqpmlooonnponnmllmmmnood---fsrrrqommlkkm-------
----------crrrrsssrb--dkopqsljqnnollkijmnorrrrrsrrrrqqoonmoqonnooooooooonmgb----bqsrrrpmmlkki-------
----------frsssrrsrb-----b-fopkoonmmmjkmoqssssssssrrqonnlmnnonnllkigeeeec--------psrqqqnjkkjf-------
---------cpqrsssrrsd-------dsokppnnkklmlmihiiifdfihgipqqpqqppog-----------------bqrronnnnkkkg-------
--------cnqqrrssrrse-------gqpnnqollllkkb-----------dttstttrqom-----------------krqroonnplilh-------
------bjopqpqrrrrso--------fqoomlnmlmmmj------------ftssssrrqopk----------------rsrppnmnmlkne-------
------epprrqqrsrstg--------dpnqnmlnnmlnh-------------rtssssrpmmpf--------------fsrqoqpoomnnmb-------
-------ossrrrrsssh---------blnrrqommnmmb-------------dttsssspongc--------------jsqpsropppmmf--------
------bhltsssssto----------comopopqonoh---------------brtssttsnc---------------ospprpnomnpmc--------
---------fqstttttd---------dmljmmmqqnmf----------------ottsoli-----------------nqrqmnsomkjj---------
-----------fsttttp---------dqnlmopmonb-----------------cfec--------------------hodhnihonc-d---------
-------------bbbbb---------bopqllpkmpf-----------------------------------------b--mn--ol------------
----------------------------drqikpkjmkb------------------------------------------cfb--db------------
-----------------------------gjkkqoilnmc------------------------------------------------------------
-------------------------------dhkqjhllh------------------------------------------------------------
----------------------------------ejhfgf------------------------------------------------------------
-----------------------------------bd---------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
----------------------------------------------------------------------------------------------------
",false, invisible, rgb("f1f1f1"), rgb("e4e4e4"), rgb("d6d6d6"), rgb("c9c9c9"), rgb("bbbbbb"), rgb("aeaeae"), rgb("a1a1a1"), rgb("939393"), rgb("868686"), rgb("787878"), rgb("6b6b6b"), rgb("5d5d5d"), rgb("505050"), rgb("434343"), rgb("353535"), rgb("282828"), rgb("1a1a1a"), rgb("0d0d0d"), rgb("000000"));
[/asy]
This post has been edited 1 time. Last edited by piphi, Jun 22, 2021, 10:18 PM

Asymptote #28

by piphi, Mar 25, 2021, 9:16 PM

f(1)f(2)...f(n) has at most n prime factors

by MarkBcc168, Jul 15, 2020, 2:22 AM

Let $f(x) = 3x^2 + 1$. Prove that for any given positive integer $n$, the product
$$f(1)\cdot f(2)\cdot\dots\cdot f(n)$$has at most $n$ distinct prime divisors.

Proposed by Géza Kós
This post has been edited 1 time. Last edited by MarkBcc168, Jul 16, 2020, 1:53 PM

Center lies on altitude

by plagueis, Nov 6, 2018, 10:26 PM

Let $ABC$ be an acute-angled triangle with circumference $\Omega$. Let the angle bisectors of $\angle B$ and $\angle C$ intersect $\Omega$ again at $M$ and $N$. Let $I$ be the intersection point of these angle bisectors. Let $M'$ and $N'$ be the respective reflections of $M$ and $N$ in $AC$ and $AB$. Prove that the center of the circle passing through $I$, $M'$, $N'$ lies on the altitude of triangle $ABC$ from $A$.

Proposed by Victor Domínguez and Ariel García
This post has been edited 4 times. Last edited by plagueis, May 27, 2020, 7:23 AM

smallest a so that S(n)-S(n+a) = 2018, where S(n)=sum of digits

by parmenides51, Sep 13, 2018, 8:32 AM

For each positive integer $n$, let $S(n)$ be the sum of the digits of $n$. Determines the smallest positive integer $a$ such that there are infinite positive integers $n$ for which you have $S (n) -S (n + a) = 2018$.

IMO Shortlist 2014 C6

by hajimbrak, Jul 11, 2015, 8:35 AM

We are given an infinite deck of cards, each with a real number on it. For every real number $x$, there is exactly one card in the deck that has $x$ written on it. Now two players draw disjoint sets $A$ and $B$ of $100$ cards each from this deck. We would like to define a rule that declares one of them a winner. This rule should satisfy the following conditions:
1. The winner only depends on the relative order of the $200$ cards: if the cards are laid down in increasing order face down and we are told which card belongs to which player, but not what numbers are written on them, we can still decide the winner.
2. If we write the elements of both sets in increasing order as $A =\{ a_1 , a_2 , \ldots, a_{100} \}$ and $B= \{ b_1 , b_2 , \ldots , b_{100} \}$, and $a_i > b_i$ for all $i$, then $A$ beats $B$.
3. If three players draw three disjoint sets $A, B, C$ from the deck, $A$ beats $B$ and $B$ beats $C$ then $A$ also beats $C$.
How many ways are there to define such a rule? Here, we consider two rules as different if there exist two sets $A$ and $B$ such that $A$ beats $B$ according to one rule, but $B$ beats $A$ according to the other.

Proposed by Ilya Bogdanov, Russia
This post has been edited 1 time. Last edited by hajimbrak, Jul 23, 2015, 10:40 AM
Reason: Added proposer

ABC is similar to XYZ

by Amir Hossein, May 20, 2011, 12:44 PM

Let $AA',BB',CC'$ be three diameters of the circumcircle of an acute triangle $ABC$. Let $P$ be an arbitrary point in the interior of $\triangle ABC$, and let $D,E,F$ be the orthogonal projection of $P$ on $BC,CA,AB$, respectively. Let $X$ be the point such that $D$ is the midpoint of $A'X$, let $Y$ be the point such that $E$ is the midpoint of $B'Y$, and similarly let $Z$ be the point such that $F$ is the midpoint of $C'Z$. Prove that triangle $XYZ$ is similar to triangle $ABC$.

Russia 2001

by sisioyus, Aug 18, 2007, 10:08 AM

Find all odd positive integers $ n > 1$ such that if $ a$ and $ b$ are relatively prime divisors of $ n$, then $ a+b-1$ divides $ n$.

Grade IX - Problem I

by icx, Apr 13, 2007, 9:09 AM

Let $a, b, c, d \in \mathbb{N^{*}}$ such that the equation \[x^{2}-(a^{2}+b^{2}+c^{2}+d^{2}+1)x+ab+bc+cd+da=0 \] has an integer solution. Prove that the other solution is integer too and both solutions are perfect squares.

USAMO 2002 Problem 2

by MithsApprentice, Sep 30, 2005, 7:45 PM

Let $ABC$ be a triangle such that
\[ \left( \cot \dfrac{A}{2} \right)^2 + \left( 2\cot \dfrac{B}{2} \right)^2 + \left( 3\cot \dfrac{C}{2} \right)^2 = \left( \dfrac{6s}{7r} \right)^2,  \]
where $s$ and $r$ denote its semiperimeter and its inradius, respectively. Prove that triangle $ABC$ is similar to a triangle $T$ whose side lengths are all positive integers with no common divisors and determine these integers.
This post has been edited 1 time. Last edited by MithsApprentice, Sep 30, 2005, 7:45 PM

mostly Asymptote

avatar

piphi
Archives
- December 2022
+ February 2022
+ September 2021
+ July 2021
+ May 2021
+ March 2021
+ February 2021
+ January 2021
+ January 2019
Shouts
Submit
  • I changed it o make an actual vase!
    [asy]import solids;
    currentprojection = perspective(10,100,25);
    unitsize(2cm);
    triple pO=(0,0,0);
    path3 gene=(0,0.5,-7)..(0,0.5,-1)..
    (0,0.2,-0.5)..(0,1,0.5)
    ..(0,0.5,1)..(0,0.5,2);
    revolution sur=revolution(pO,gene,Z,0

    by Major_Monogram, Feb 11, 2025, 11:37 PM

  • How do I get a nine-by-nine board?

    by SeaBoo, May 28, 2024, 7:06 AM

  • hmmmmmmmmmmmmmm

    by Phy6, Nov 17, 2023, 3:00 AM

  • Blog died, piphi real when

    by the_mathmagician, Aug 28, 2022, 12:59 AM

  • Can I has contrib?

    by ICDAT_SC30, Nov 11, 2021, 6:27 PM

  • @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
    @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
    @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

    by Lilathebee, Nov 3, 2021, 8:12 PM

  • I should really get back to asy

    by ObjectZ, Sep 16, 2021, 2:31 AM

  • admin?$~$

    by GoogleNebula, Apr 17, 2021, 5:24 PM

  • contrib? :)

    by aops-g5-gethsemanea2, Mar 2, 2021, 1:51 AM

  • Contrib?

    by peace09, Feb 8, 2021, 4:53 AM

  • I won the asy ballistics game again :-D

    120 points

    by aops-g5-gethsemanea2, Jan 8, 2021, 12:35 PM

  • lucrative.

    by HamstPan38825, Jan 7, 2021, 4:06 PM

  • Can I have admin in your forums? :P

    by samrocksnature, Jan 7, 2021, 4:26 AM

  • Hello!
    Your asymptote is really good

    by BlackSesameMochi, Jan 4, 2021, 11:58 PM

  • Hello...

    by IntelligentElephant2010, Dec 3, 2020, 11:06 PM

93 shouts
Tags
Blog Stats
  • Blog created: Dec 19, 2017
  • Total entries: 141
  • Total visits: 6344
  • Total comments: 145
Search Blog
a